화학공학소재연구정보센터
IEEE Transactions on Automatic Control, Vol.58, No.5, 1343-1348, 2013
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.