Počet záznamů: 1
Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems
- 1.
SYSNO ASEP 0348278 Druh ASEP C - Konferenční příspěvek (mezinárodní konf.) Zařazení RIV D - Článek ve sborníku Název Synthesis of Safe Sublanguages satisfying Global Specification using Coordination Scheme for Discrete-Event Systems Tvůrce(i) Komenda, Jan (MU-W) RID, SAI, ORCID
Masopust, Tomáš (MU-W) RID, ORCID, SAI
van Schuppen, J. H. (NL)Zdroj.dok. Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). - Berlin : The International Federation of Automatic Control, 2010 / Raisch J. ; Giua A. ; Lafortune S. ; Moor T. - ISBN 978-3-902661-79-1 Rozsah stran s. 436-441 Poč.str. 6 s. Akce 10th International Workshop on Discrete Event Systems Datum konání 29.08.2010-01.09.2010 Místo konání Berlin Země DE - Německo Typ akce WRD Jazyk dok. eng - angličtina Země vyd. DE - Německo Klíč. slova discrete-event systems ; modular supervisory control ; coordinator ; conditional controllability Vědní obor RIV BA - Obecná matematika CEZ AV0Z10190503 - MU-W (2005-2011) EID SCOPUS 80051961874 DOI 10.3182/20100830-3-DE-4013.00070 Anotace Modular control of discrete-event systems with a global specification and with only local supervisors is a difficult problem. This paper formulates and solves a control synthesis problem for a generator with a global specification and with a combination of a coordinator and local controllers. Conditional controllability is proven to be an equivalent condition for the existence of such a coordinated controller. A procedure to compute a coordinated controller is provided in this paper. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2011
Počet záznamů: 1