Number of the records: 1
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- 1.
SYSNO ASEP 0360187 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
Masopust, Tomáš (MU-W) RID, ORCID, SAI
van Schuppen, J. H. (NL)Source Title Systems and Control Letters. - : Elsevier - ISSN 0167-6911
Roč. 60, č. 7 (2011), s. 492-502Number of pages 11 s. Language eng - English Country NL - Netherlands Keywords discrete-event system ; coordination control ; coordinator Subject RIV BA - General Mathematics R&D Projects GAP103/11/0517 GA ČR - Czech Science Foundation (CSF) GPP202/11/P028 GA ČR - Czech Science Foundation (CSF) CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000292950900008 EID SCOPUS 79958227563 DOI 10.1016/j.sysconle.2011.04.005 Annotation Synthesis of normal or controllable and normal sublanguages of global specification languages without computation of the global modular plant is a difficult problem. In this paper, these sublanguages are computed using a coordinator. We recall the notion of conditional controllability, introduce a notion of conditional normality, and prove necessary and sufficient conditions where such a computation is possible. Specifically, we show that conditionally controllable and conditionally normal languages computed by our method are controllable and normal with respect to the global plant. The optimality (supremality) of the resulting languages is also discussed. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2012
Number of the records: 1