Decentralized supervisory control of discrete-event systems with communication
KC Wong, Jan H. van Schuppen · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 1996
This paper formulates a problem of communication channels in decentralized control. A necessary and sufficient condition is obtained for the existence of such a channel and is illustrated with an example of communication protocols. The existence of minimal communication channels is also investigated. AMS Subject Classification (1991): 93B50, 93C30, 68Q60, 68Q68. Keywords and Phrases: Discrete event system, decentralized control, communication. Note: Paper is included in the Proceedings of the Workshop on Discrete Event Systems (WODES96), which workshop was held August 19-21, 1996 at Edinburgh, Scotland. 1 Introduction This paper formulates and solves a problem of existence of communication channels between supervisors in decentralized control of discrete event systems (DES). In decentralized supervisory control of discrete event systems, two or more supervisors with different partial observations control a system. Existence of decentralized supervisors for a given specificati...