0383610 - MÚ 2013 RIV NL eng J - Článek v odborném periodiku
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
On conditional decomposability.
Systems and Control Letters. Roč. 61, č. 12 (2012), s. 1260-1268. ISSN 0167-6911. E-ISSN 1872-7956
Grant CEP: GA ČR(CZ) GPP202/11/P028; GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event system * coordination control * conditional decomposability
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 1.667, rok: 2012 ; AIS: 1.048, rok: 2012
Web výsledku:
http://www.sciencedirect.com/science/article/pii/S0167691112001612DOI: https://doi.org/10.1016/j.sysconle.2012.07.013

The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. In this paper, we present a polynomial-time algorithm for the verification whether a language is conditionally decomposable with respect to given alphabets. Moreover, we also present a polynomial-time algorithm to extend the common alphabet so that the language becomes conditionally decomposable. A relationship of conditional decomposability to nonblockingness of modular discrete-event systems is also discussed in this paper in the general settings. It is shown that conditional decomposability is a weaker condition than nonblockingness.
Trvalý link: http://hdl.handle.net/11104/0213494