Number of the records: 1
Supervisory Control of (max,+) automata: a behavioral approach
- 1.
SYSNO ASEP 0330853 Document Type J - Journal Article R&D Document Type Journal Article Subsidiary J Článek ve WOS Title Supervisory Control of (max,+) automata: a behavioral approach Title Supervizní řízení (max,+) automatu: behaviorální přístup Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)
Boimond, J.-L. (FR)Source Title Discrete Event Dynamic Systems-Theory and Applications. - : Springer - ISSN 0924-6703
Roč. 19, č. 4 (2009), s. 525-549Number of pages 25 s. Language eng - English Country US - United States Keywords timed discrete-event systems ; supervisory control ; formal power series ; (max,+) ; automata Subject RIV BA - General Mathematics CEZ AV0Z10190503 - MU-W (2005-2011) UT WOS 000270897800005 Annotation 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. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2010
Number of the records: 1