Výsledky vyhledávání
- 1.0579262 - MÚ 2024 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lefebvre, D.
On tick automata for distributed timed DESs with synchronisations and minimal time constraints.
IFAC-PapersOnLine. Volume 56, Issue 2 - Proceedings of 22nd IFAC World Congress. Amsterdam: Elsevier, 2023 - (Ishii, H.; Ebihara, Y.; Imura, J.; Yamakita, M.), s. 8635-8640. ISSN 2405-8971. E-ISSN 2405-8963.
[22nd IFAC World Congress. Yokohama (JP), 09.07.2023-14.07.2023]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: timed discrete event systems * distributed discrete event system * stick automata
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2023.10.039
Trvalý link: https://hdl.handle.net/11104/0348110Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 804.3 KB Vydavatelský postprint povolen - 2.0564907 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Lai, A.
Weight-deterministic max-plus automata.
IFAC-PapersOnLine. Volume 55, Issue 28 - Proceedings of 16th IFAC Workshop on Discrete Event Systems WODES 2022. Amsterdam: Elsevier, 2022 - (Komenda, J.; Reveliotis, S.; Masopust, T.; Burget, P.), s. 291-296. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Institucionální podpora: RVO:67985840
Klíčová slova: timed discrete-event systems * max-plus automata * determinism
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.356
Trvalý link: https://hdl.handle.net/11104/0336481Název souboru Staženo Velikost Komentář Verze Přístup Komenda8.pdf 3 510.5 KB Vydavatelský postprint povolen - 3.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 - 4.0348271 - MÚ 2011 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Špaček, P. - Komenda, Jan
Modeling of interval P-time Petri nets using dioid algebra.
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. 322-327. 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 semirings * P-time Petri nets * dead tokens
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/42946.html
Trvalý link: http://hdl.handle.net/11104/0188843 - 5.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 - 6.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 - 7.0083964 - MÚ 2008 RIV GR eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Al Saba, M. - Boimond, J.-L.
Supervisory Control of ( max,+ ) Automata: Timing Aspects.
[Supervizní řízení ( max,+ ) automatu: časové aspekty.]
Proceedings of European Control Conference ( ECC 2007 ). Kos: European Union Control Association, 2007, s. 4417-4424. ISBN 978-960-89028-5-5.
[European Control Conference ( ECC 2007 ). Kos (GR), 02.07.2007-05.07.2007]
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: timed discrete-event systems * (max,+) - automata * dioid algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0147004 - 8.0083942 - MÚ 2008 RIV FR eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Boimond, J.-L. - Lahaye, S.
Supervisory Control of Heap Models Using Synchronous Composition.
[Supervizní řízení kupovitých automatů pomocí synchronizovaného součinu.]
Proceedings of International XConference on Informatics in Control, Automation and Robotics. Angers: Institute for Systems and Technologies of Information, Control and Communication, 2007, s. 467-475. ISBN 978-972-8865-82-5.
[ICINCO 2007 International Conference on Informatics in Control, Automation and Robotics. Angers (FR), 09.05.2007-12.05.2007]
Grant CEP: GA AV ČR(CZ) KJB100190609
Výzkumný záměr: CEZ:AV0Z10190503
Klíčová slova: timed discrete-event systems * heap automata * dioid algebra
Kód oboru RIV: BA - Obecná matematika
Trvalý link: http://hdl.handle.net/11104/0146989