Search results
- 1.0370192 - MÚ 2012 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GAP103/11/0517
Grant - others:European Commission(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : (max,+) formal power series * residuation * rationality * decidability
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6160228
Permanent Link: http://hdl.handle.net/11104/0204063File Download Size Commentary Version Access Komenda.pdf 1 356.6 KB Publisher’s postprint require - 2.0330864 - MÚ 2011 RIV IT eng C - Conference Paper (international conference)
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 - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : controllability * (max,+) automata * (max,+) formal power series * Hadamard product
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0176549File Download Size Commentary Version Access Komenda1.pdf 1 122 KB Author´s preprint require - 3.0330853 - MÚ 2010 RIV US eng J - Journal Article
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 - others:EU Projekt(XE) EU.ICT.DISC 224498
Institutional research plan: CEZ:AV0Z10190503
Keywords : timed discrete-event systems * supervisory control * formal power series * (max,+) * automata
Subject RIV: BA - General Mathematics
Impact factor: 0.921, year: 2009
Permanent Link: http://hdl.handle.net/11104/0176540File Download Size Commentary Version Access Komenda3.pdf 1 506.8 KB Publisher’s postprint require