An optimal nonblocking modular supervisory control to real-time state tree structures

作者：Chao Wujie; Gan Yongmei^*; Wang Zhao'an; Wonham W M

来源：Journal of Xi'an Jiaotong University, 2013, 47(4): 86-91.

DOI：10.7652/xjtuxb201304015

• Coordinator
• Modular supervisory control
• Non-blocking
• Optimal
• Predicate
• Tree structures

An optimal nonblocking modular supervisory control of timed discrete-event systems based on real-time state-tree-structures is proposed to alleviate the problem that the complexity of supervisor synthesis is very high and the supervisor is inflexible and hard to maintain in the traditional supervisory control of timed discrete-event systems. The timed discrete-event system is modeled as a real-time state-tree-structure and the specification of the controlled system is given as a predicate to indicate the legal states of the controlled systems. The total specification is divided into several sub-specification according to different control tasks, and an optimal nonblocking supervisor is synthesized for each sub-specification. A modular supervisor is constructed based on these sub-supervisors. Conditions for the optimal and nonblocking modular supervisor to exist are given. A coordinator is designed to solve the blocking problem of the closed-loop system. The results from both theoretical analysis and experiments show that the proposed modular supervisory control approach effectively reduces the complexity of synthesis of supervisor in timed discrete-event systems and the optimization and nonblocking of the modular supervisor are guaranteed.

• 出版日期2013