Abstract
In this paper, a case of discrete event dynamic system(DEDS), the sorting process in the automated warehouse is studied in the temporal logic framework. The temporal logic model(TLM) of the process is established, the reachability and qualitative properties of the TLM are analyzed, and the synthesis problem of TLM is also discussed, The plant, controller, and the desired closed system behaviour are specified in temporal logic formulae, and the problem is verified that the specifications of the desired closed loop system behaviour can be deduced from the descriptions of the plant and the controller.
Full Text 
Sign-in/Register to access full text options
Sign-in/Register to access full text options 
Published version (
Free)
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
