Počet záznamů: 1
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
- 1.
SYSNO ASEP 0360187 Druh ASEP J - Článek v odborném periodiku Zařazení RIV J - Článek v odborném periodiku Poddruh J Článek ve WOS Název Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator Tvůrce(i) Komenda, Jan (MU-W) RID, SAI, ORCID
Masopust, Tomáš (MU-W) RID, ORCID, SAI
van Schuppen, J. H. (NL)Zdroj.dok. Systems and Control Letters. - : Elsevier - ISSN 0167-6911
Roč. 60, č. 7 (2011), s. 492-502Poč.str. 11 s. Jazyk dok. eng - angličtina Země vyd. NL - Nizozemsko Klíč. slova discrete-event system ; coordination control ; coordinator Vědní obor RIV BA - Obecná matematika CEP GAP103/11/0517 GA ČR - Grantová agentura ČR GPP202/11/P028 GA ČR - Grantová agentura ČR CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000292950900008 EID SCOPUS 79958227563 DOI 10.1016/j.sysconle.2011.04.005 Anotace 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. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2012
Počet záznamů: 1