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.