Formal Modeling and Synthesis of State-Transferring Communication among Decentralized Supervisors for Discrete-Event Systems

This work proposes to model and synthesize communicating decentralized supervisors for a Discrete-Event System (DES) within the framework of Distributed Supervised Discrete-Event Systems (DSDESs), which was introduced by the authors. To this end, first a Polynomial Dynamical System (PDS) representation for DSDESs is derived, which reveals the informational dependencies of distributed supervisors. To serve these dependencies, communication between every two supervisors is modeled by a communication event, whose semantics is defined by a map from observable events of the issuer of the communication to its variables, employed by the PDS representation. Thereby, the synthesis of communicating decentralized supervisors is reduced to the design of these maps using standard algebraic tools. The approach is illustrated through formal design of an information policy.