Decentralized Supervisory Control of Discrete Event Systems with Partial Synchronization
部分同步离散事件系统的分散监控

In this paper, the equivalent conditions between decentralized and centralized supervisory control of discrete event system with partial synchronization are studied, then the decentralized supervisory control can be realized according to natural separation of control specification. Moreover, the consistency of optimal realization between global and local goal is proposed, and two kinds of control functions for the closed-loop of decentralized supervisory control are also discussed. Finally, a coordination scheme is presented.