Výsledky vyhledávání
- 1.0386930 - MÚ 2013 RIV MX eng C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Compositions of (max+)-automata.
Proceedings of the 11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara: IFAC, 2012 - (Ramírez-Treviño, A.; López-Mellado, E.; Lesage, J.), s. 61-66. ISBN 978-3-902823-28-1.
[11th International Workshop on Discrete Event Systems (WODES 2012). Guadalajara (MX), 03.10.2012-05.10.2012]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automata * synchronous composition * asynchronous composition
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/58159.html
Trvalý link: http://hdl.handle.net/11104/0216166Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 257.4 KB Autorský preprint povolen - 2.0348279 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Synchronous composition of interval weighted automata.
Proceedings of the 10th International Workshop on Discrete Event Systems (WODES 2010). Berlin: The International Federation of Automatic Control, 2010 - (Raisch, J.; Giua, A.; Lafortune, S.; Moor, T.), s. 328-333. ISBN 978-3-902661-79-1.
[10th International Workshop on Discrete Event Systems. Berlin (DE), 29.08.2010-01.09.2010]
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: timed discrete-event systems * product interval automata * T-time Petri nets * synchronous composition
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/42947.html
Trvalý link: http://hdl.handle.net/11104/0188849Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 1 213.6 KB Autorský preprint vyžádat - 3.0348268 - MÚ 2011 RIV NL eng J - Článek v odborném periodiku
Komenda, Jan
Coinduction in concurrent timed systems.
Electronic Notes in Theoretical Computer Science. Roč. 264, č. 2 (2010), s. 177-197. ISSN 1571-0661
Grant ostatní: EU Projekt(XE) EU.ICT.DISC 224498
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: timed discrete-event systems * partial Mealy automata * functional stream calculus * synchronous composition
Kód oboru RIV: BA - Obecná matematika
http://www.sciencedirect.com/science/article/pii/S1571066110000794
Trvalý link: http://hdl.handle.net/11104/0188842Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 1 416.1 KB Vydavatelský postprint vyžádat