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

Amin Mannani and Peyman Gohari

International Journal of Systems Science, 2014, vol. 45, issue 5, 947-969

Abstract: 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.

Date: 2014
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
http://hdl.handle.net/10.1080/00207721.2012.743054 (text/html)
Access to full text is restricted to subscribers.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:taf:tsysxx:v:45:y:2014:i:5:p:947-969

Ordering information: This journal article can be ordered from
http://www.tandfonline.com/pricing/journal/TSYS20

DOI: 10.1080/00207721.2012.743054

Access Statistics for this article

International Journal of Systems Science is currently edited by Visakan Kadirkamanathan

More articles in International Journal of Systems Science from Taylor & Francis Journals
Bibliographic data for series maintained by Chris Longhurst ().