Decentralized supervisory control and communication for reactive discrete-event systems

A class of decentralized supervisory control problems for modeling reactive systems is presented. To capture the behavior of a reactive system, where interaction with an unpredictable environment must be taken into consideration, the discrete-event systems are modeled by input/ouput automata. Control strategies - with and without communication between decentralized supervisors - for implementing safety specifications are provided. Necessary and sufficient conditions for this new class of problems are also formulated. An algorithm is provided for designating minimal communication