Výsledky vyhledávání
- 1.0578406 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Daviaud, B. - Komenda, Jan - Lahaye, S. - Lhommeau, M.
Representation of time Petri nets using interval weighted automata.
9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), Č. 99, s. 99-104. ISBN 979-8-3503-1141-9.
[9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * Petri Nets
Obor OECD: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284333
Trvalý link: https://hdl.handle.net/11104/0347404Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 0 1.1 MB Vydavatelský postprint vyžádat - 2.0578399 - MÚ 2024 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Miao, S. - Lai, A. - Yu, X. - Lahaye, S. - Komenda, Jan
Verification of detectability for unambiguous weighted automata using self-composition.
9th International Conference on Control, Decision and Information Technologies (CoDIT). Los Alamitos: IEEE, 2023 - (Califano, C.; Jabeur Telmoud, A.; Herrera Viedma, E.), s. 251-256. ISBN 979-8-3503-1141-9.
[9th International Conference on Control, Decision and Information Technologies (CoDIT). Rome (IT), 03.07.2023-06.07.2023]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event system * unambiguous weighted automaton * self-composition * detectability * polynomial time
Obor OECD: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284082
Trvalý link: https://hdl.handle.net/11104/0347401Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 0 465.3 KB Vydavatelský postprint vyžádat - 3.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 - 4.0542547 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lai, Aiwen - Godoy Soto, José Damián - Lahaye, S. - Boimond, J.-L.
Modeling of safe time Petri nets by interval weighted automata.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 187-192. ISSN 2405-8963.
[15th Workshop on Discrete Event Systems (WODES 2020). Rio de Janeiro (BR), 11.11.2020-13.11.2020]
Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institucionální podpora: RVO:67985840
Klíčová slova: P-time Petri nets * T-time Petri nets * interval weighted automata
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.018
Trvalý link: http://hdl.handle.net/11104/0319935Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 1 411 KB Vydavatelský postprint povolen - 5.0491959 - MÚ 2019 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
(Max,+)-automata with partial observations.
IFAC-PapersOnLine. Vol. 51, Issue 7. Amsterdam: Elsevier, 2018 - (De Tommasi, G.), s. 192-197. ISSN 2405-8963.
[14th Workshop on Discrete Event Systems (WODES 2018). Sorrento Coast (IT), 29.05.2018-01.06.2018]
Institucionální podpora: RVO:67985840
Klíčová slova: (Max,+)-automata * partial observations * weak bisimulation
Obor OECD: Automation and control systems
https://www.sciencedirect.com/science/article/pii/S240589631830630X?via%3Dihub
Trvalý link: http://hdl.handle.net/11104/0285545Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 391.8 KB Vydavatelský postprint vyžádat - 6.0480297 - MÚ 2018 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L. - van den Boom, T.
Max-plus algebra and discrete-event systems.
IFAC-PapersOnLine. Vol. 50. Amsterdam: Elsevier, 2017 - (Dochain, D.; Henrion, D.; Peaucelle, D.), s. 1784-1790. E-ISSN 2405-8963.
[20th IFAC World Congress. Toulouse (FR), 09.07.2017-14.07.2017]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: max-plus algebra * discrete-event systems
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
http://www.sciencedirect.com/science/article/pii/S2405896317302860
Trvalý link: http://hdl.handle.net/11104/0276118Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 1 408 KB Vydavatelský postprint vyžádat - 7.0458232 - MÚ 2017 RIV FR fre C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Amélioration de la procédure de déterminisation des automates (max,+).
[Improvement of the determinization procedure of (max,+)-automata.]
10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015). Nancy: Inria, 2015 - (Merz, S.), s. 1-15
[10ème Colloque sur la Modélisation des Systèmes Réactifs (MSR 2015). Nancy (FR), 18.11.2015-20.11.2015]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event systems * (max,+)-automata * determinization
Kód oboru RIV: BA - Obecná matematika
https://hal.inria.fr/hal-01224219
Trvalý link: http://hdl.handle.net/11104/0258528Název souboru Staženo Velikost Komentář Verze Přístup Komenda6.pdf 1 657.8 KB Vydavatelský postprint vyžádat - 8.0444400 - MÚ 2016 RIV FR eng C - Konferenční příspěvek (zahraniční konf.)
Lahaye, S. - Komenda, Jan - Boimond, J.-L.
Modeling of timed Petri nets using deterministic (max,+) automata.
Proceedings of the 12th International Workshop on Discrete Event Systems. Paris: IFAC, 2014 - (Lesage, J.; Faure, J.; Cury, J.; Lennartson, B.), s. 471-476. ISBN 978-3-902823-61-8. ISSN 1474-6670.
[12th International Workshop on Discrete Event Systems (WODES 2014). Paris (FR), 14.05.2014-16.05.2014]
Grant CEP: GA ČR(CZ) GAP103/11/0517
Institucionální podpora: RVO:67985840
Klíčová slova: (max,+) automate * timed Petri nets * determinization
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/65187.html
Trvalý link: http://hdl.handle.net/11104/0246941 - 9.0386937 - MÚ 2013 RIV MX eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Lahaye, S. - Boimond, J.-L.
Decentralized control of product (max+)-automata using coinduction.
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. 122-127. 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 * decentralized control * coalgebra
Kód oboru RIV: BA - Obecná matematika
http://www.ifac-papersonline.net/Detailed/58179.html
Trvalý link: http://hdl.handle.net/11104/0216163 - 10.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