Coordinated control of discrete event systems with nonprefix-closed languages

0365394 - MÚ 2012 RIV IT eng C - Conference Paper (international conference)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Coordinated control of discrete event systems with nonprefix-closed languages.
Proceedings of the 18th IFAC World Congres, 2011. Milano: IFAC, 2011 - (Bittanti, S.; Cenedese, A.; Zampieri, S.), s. 6982-6987. ISBN 978-3-902661-93-7.
[18th IFAC World Congress. Milano (IT), 28.08.2011-02.09.2011]
R&D Projects: GA ČR(CZ) GAP103/11/0517; GA ČR GPP202/11/P028
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : discrete-event system * coordination control * supervisory control
Subject RIV: BA - General Mathematics
http://www.ifac-papersonline.net/Detailed/49777.html

In this paper, the supervisory control synthesis of modular or distributed discrete-event systems is discussed. The coordination-control architecture proposed by Komenda and Van Schuppen (2008) and studied for prefix-closed specification languages by Komenda et al. (2010a,b) is generalized to the case of non-prefix-closed global specification languages and non-prefix-closed plant languages. Necessary and sufficient conditions for the solvability of the coordinated supervisory control synthesis problem are characterized in terms analogous to the terms of controllable and closed languages used in supervisory control theory of monolithic discrete-event systems.
Permanent Link: http://hdl.handle.net/11104/0200644