Mixed Supervisory Control For Discrete Event Systems

To ruduce the complexity and decompose the control specifications, modular supervisory control and decentralized supervisory control are effective ways for supervisory control of discrete event systems. In this thesis, mixed modular supervisory control and mixed decentralized supervisory control are discussed for mixed control information.For mixed modular supervisory control, a condition for the existence of the synthesis for mixed modular supervisory control based on language and predicate is described. The properties, such as nonblocking and deadlock-free, to be in the mixed modular supervisory control from those in the subsupervisors and subcontrollers are also discussed. A sufficient condition for mixed modular supervisor to be nonblocking is presented, and, a necessary and sufficient condition for deadlock-free is obtained.By introducing the concept of n-coobservable language for mixed decentralized supervisory control, a solution to the synthesis of mixed decentralized supervisory control is given. And, by showing the relation between sepcification and local ones, a sufficient condition on local ones for the existence of mixed decentralized supervisory control is obtained.