Number of the records: 1
Coordination control of discrete-event systems revisited
- 1.
SYSNO ASEP 0443131 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title Coordination control of discrete-event systems revisited Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
Masopust, Tomáš (MU-W) RID, ORCID, SAI
van Schuppen, J. H. (NL)Source Title Discrete Event Dynamic Systems-Theory and Applications. - : Springer - ISSN 0924-6703
Roč. 25, 1-2 (2015), s. 65-94Number of pages 30 s. Language eng - English Country US - United States Keywords coordination control ; supervisory control Subject RIV BA - General Mathematics R&D Projects GPP202/11/P028 GA ČR - Czech Science Foundation (CSF) GAP103/11/0517 GA ČR - Czech Science Foundation (CSF) Institutional support MU-W - RVO:67985840 UT WOS 000352212000005 EID SCOPUS 84926278189 DOI 10.1007/s10626-013-0179-x Annotation 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. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2016
Number of the records: 1