Výsledky vyhledávání
- 1.0370192 - MÚ 2012 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Badouel, E. - Bouillard, A. - Darondeau, P. - Komenda, Jan
Residuation of tropical series: rationality issues.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference. New York: IEEE, 2011 - (Chong, E.; Polycarpou, M.), s. 3855-3861. ISBN 978-1-4673-0457-3.
[50th IEEE Conference on Decision and Control and European Control Conference. Orlando (US), 12.12.2011-15.12.2011]
Grant CEP: GA ČR GAP103/11/0517
Grant ostatní: European Commission(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: (max,+) formal power series * residuation * rationality * decidability
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6160228
Trvalý link: http://hdl.handle.net/11104/0204063Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 1 356.6 KB Vydavatelský postprint vyžádat - 2.0330864 - MÚ 2011 RIV IT eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Controllability of (max,+) formal power series.
[Kontrolovatelnost (max,+) formálních mocninných řad.]
Proceedings of IFAC DCDS'09. Bari: The International Federation of Automatic Control, 2009 - (Fanti, M.; Dotoli, M.), s. 97-102. ISBN 978-3-902661-44-9.
[2nd IFAC Workshop on Dependable Control of Discrete Systems. Bari (IT), 10.06.2009-12.06.2009]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: controllability * (max,+) automata * (max,+) formal power series * Hadamard product
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0176549Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 122 KB Autorský preprint vyžádat - 3.0330853 - MÚ 2010 RIV US eng J - Článek v odborném periodiku
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Supervisory Control of (max,+) automata: a behavioral approach.
[Supervizní řízení (max,+) automatu: behaviorální přístup.]
Discrete Event Dynamic Systems-Theory and Applications. Roč. 19, č. 4 (2009), s. 525-549. ISSN 0924-6703. E-ISSN 1573-7594
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: timed discrete-event systems * supervisory control * formal power series * (max,+) * automata
Kód oboru RIV: BA - Obecná matematika
Impakt faktor: 0.921, rok: 2009
Trvalý link: http://hdl.handle.net/11104/0176540Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 506.8 KB Vydavatelský postprint vyžádat