Number of the records: 1
Controllability of (max,+) formal power series
- 1.
SYSNO ASEP 0330864 Document Type C - Proceedings Paper (int. conf.) R&D Document Type Conference Paper Title Controllability of (max,+) formal power series Title Kontrolovatelnost (max,+) formálních mocninných řad Author(s) Komenda, Jan (MU-W) RID, SAI, ORCID
Lahaye, S. (FR)
Boimond, J.-L. (FR)Source Title Proceedings of IFAC DCDS'09. - Bari : The International Federation of Automatic Control, 2009 / Fanti Maria Pia ; Dotoli Mariagrazia - ISBN 978-3-902661-44-9 Pages s. 97-102 Number of pages 6 s. Action 2nd IFAC Workshop on Dependable Control of Discrete Systems Event date 10.06.2009-12.06.2009 VEvent location Bari Country IT - Italy Event type WRD Language eng - English Country IT - Italy Keywords controllability ; (max,+) automata ; (max,+) formal power series ; Hadamard product Subject RIV BA - General Mathematics CEZ AV0Z10190503 - MU-W (2005-2011) Annotation Controllability of (max,+) automata and formal power series is studied within a behavioral framework. An extension of classical tensor product of their linear representations as a parallel composition of controller with the plant (max,+) automaton is used. Controllability is studied using residuation theory of (multivariable) formal power series and (max,+)- counterpats of supremal controllable behaviors are derived. Workplace Mathematical Institute Contact Jarmila Štruncová, struncova@math.cas.cz, library@math.cas.cz, Tel.: 222 090 757 Year of Publishing 2011
Number of the records: 1