Decentralized supervisory control of discrete-event systems based on State Tree Structures
Wujie Chao, Yongmei Gan, Zhaoan Wang, Walter Murray Wonham · Chinese Control Conference · 2012
Decentralized supervisory control of discrete-event systems (DES) is developed, by use of State Tree Structures (STS) to manage state explosion. Assuming the specification of the controlled system can be decomposed into several sub-specifications, we design a separate optimal (maximally permissive) supervisor for each. If the decentralized supervisory controlled system is blocking, an additional coordinator is adjoined. The result guarantees that the controlled behavior of the decentralized supervisory controlled system is both nonblocking and optimal.