Počet záznamů: 1
Supervisory Control of (max,+) automata: a behavioral approach
- 1.
SYSNO ASEP 0330853 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 Supervisory Control of (max,+) automata: a behavioral approach Překlad názvu Supervizní řízení (max,+) automatu: behaviorální přístup Tvůrce(i) Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)
Boimond, J.-L. (FR)Zdroj.dok. Discrete Event Dynamic Systems-Theory and Applications. - : Springer - ISSN 0924-6703
Roč. 19, č. 4 (2009), s. 525-549Poč.str. 25 s. Jazyk dok. eng - angličtina Země vyd. US - Spojené státy americké Klíč. slova timed discrete-event systems ; supervisory control ; formal power series ; (max,+) ; automata Vědní obor RIV BA - Obecná matematika CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000270897800005 Anotace A behavioral framework for control of (max,+) automata is proposed. It is based on behaviors (formal power series) and a generalized version of the Hadamard product, which is the behavior of a generalized tensor product of the plant and controller (max,+) automata in their linear representations. In the tensor product and the Hadamard product, the uncontrollable events that can neither be disabled nor delayed are distinguished. Supervisory control of (max,+) automata is then studied using residuation theory applied to our generalization of the Hadamard product of formal power series. This yields a notion of controllability of formal power series as well as (max,+)-counterparts of supremal controllable languages. Finally, rationality as an equivalent condition to realizability of the resulting controller series is discussed. Pracoviště Matematický ústav Kontakt Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Rok sběru 2010
Počet záznamů: 1