Coordination control of discrete-event systems revisited

0443131 - MÚ 2016 RIV US eng J - Journal Article
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Coordination control of discrete-event systems revisited.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 25, 1-2 (2015), s. 65-94. ISSN 0924-6703. E-ISSN 1573-7594
R&D Projects: GA ČR(CZ) GPP202/11/P028; GA ČR(CZ) GAP103/11/0517
Institutional support: RVO:67985840
Keywords : coordination control * supervisory control
Subject RIV: BA - General Mathematics
Impact factor: 1.268, year: 2015
http://link.springer.com/article/10.1007%2Fs10626-013-0179-x

In this paper, we revise and further investigate the coordination control approach proposed for supervisory control of distributed discrete-event systems with synchronous communication based on the Ramadge-Wonham automata framework. The notions of conditional decomposability, conditional controllability, and conditional closedness ensuring the existence of a solution are carefully revised and simplified. The approach is generalized to non-prefix-closed languages, that is, supremal conditionally controllable sublanguages of not necessary prefix-closed languages are discussed. Non-prefix-closed languages introduce the blocking issue into coordination control, hence a procedure to compute a coordinator for nonblockingness is included. The optimization problem concerning the size of a coordinator is under investigation. We prove that to find the minimal extension of the coordinator event set for which a given specification language is conditionally decomposable is NP-hard.
Permanent Link: http://hdl.handle.net/11104/0245872