Modeling and Synthesis of Event-Transferring Communicating Decentralized Supervisors for Discrete-Event Systems

This work models and synthesizes communicating decentralized supervisors for Discrete-Event System (DES) which communicate the information about observed events. This is done within the authors´ framework of Distributed Supervised DESs (DSDESs), using agent-wise labeling maps to reveal the informational dependencies among the supervisors. Communication between every two supervisors is modeled by the maps from the sender´s observable events to its set of recently observed event, or an empty set. Thereby, the synthesis of communicating decentralized supervisors is reduced to the design of these maps.