A framework for synthesis of communicating decentralised supervisors for discrete-event systems

作者：Mannani Amin^*; Gohari Peyman

来源：International Journal of Systems Science, 2014, 45(5): 947-969.

DOI：10.1080/00207721.2012.743054

• automata
• decentralised supervisory control
• discrete-event systems
• polynomial dynamical systems

We propose a framework to study communication among decentralised supervisors for a (distributed) discrete-event system (DES), where system specifications lack co-observability. Using agent-wise labeling maps (ALMs), the framework explores the observation and control structures of an already designed centralised supervisor in a distributed manner, and represent them as polynomial equations over a finite field. Communication is naturally required to re-evaluate the equations, which depend on distributed information, correctly, and is formalised and implemented using communication events. The framework generalises the authors' previous work on extended finite-state machines (EFSMs) by formalising system representation and communication events, proving the correctness of proposed communication policies, and algorithmic simplification of polynomial equations. This provides a systematic procedure for the synthesis of decentralised supervisors and formalisation, computation and implementation of the communication.

• 出版日期2014-5-4