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.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 - 3.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 - 4.0564912 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Balun, J. - Masopust, Tomáš
On verification of weak and strong k-step opacity for discrete-event systems.
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. 108-113. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite automata * opacity * verification * complexity
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.331
Trvalý link: https://hdl.handle.net/11104/0336489Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 5 470.6 KB Vydavatelský postprint povolen - 5.0564906 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Zorzenon, D. - Komenda, Jan - Raisch, J.
Switched max-plus linear-dual inequalities: Application in scheduling of multi-product processing networks.
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. 196-203. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institucionální podpora: RVO:67985840
Klíčová slova: P-time event graphs * max-plus algebra * switched max-plus linear systems
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.343
Trvalý link: https://hdl.handle.net/11104/0336480Název souboru Staženo Velikost Komentář Verze Přístup Komenda7.pdf 2 557.1 KB Vydavatelský postprint povolen - 6.0564904 - MÚ 2023 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Zorzenon, D. - Balun, J.
Modeling of safe timed Petri nets by two-level (max,+) 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. 212-219. ISSN 2405-8963.
[16th IFAC Workshop on Discrete Event Systems WODES 2022. Prague (CZ), 07.09.2022-08.09.2022]
Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institucionální podpora: RVO:67985840
Klíčová slova: timed Petri nets * max-plus automata * modeling
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.345
Trvalý link: https://hdl.handle.net/11104/0336476Název souboru Staženo Velikost Komentář Verze Přístup Komenda4.pdf 2 437.8 KB Vydavatelský postprint povolen - 7.0564901 - MÚ 2023 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Balun, J. - Masopust, Tomáš
On transformations among opacity notions.
IEEE International Conference on Systems, Man, and Cybernetics (SMC). Danvers: IEEE, 2022, s. 3012-3017. ISBN 978-1-6654-5258-8.
[IEEE International Conference on Systems, Man, and Cybernetics (SMC). Prague (CZ), 09.10.2022-12.10.2022]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event systems * opacity * transformations
Obor OECD: Automation and control systems
https://doi.org/10.1109/SMC53654.2022.9945608
Trvalý link: https://hdl.handle.net/11104/0336471Název souboru Staženo Velikost Komentář Verze Přístup Masopust.pdf 2 754.9 KB Vydavatelský postprint vyžádat - 8.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 - 9.0539379 - MÚ 2022 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Zorzenon, D. - Komenda, Jan - Raisch, J.
Bounded consistency of P-time event graphs.
59th IEEE Conference on Decision and Control (CDC). Los Alamitos: IEEE, 2021 - (Braatz, R.; Chung, C.), s. 79-85. ISBN 978-1-7281-7448-8. ISSN 2576-2370.
[59th IEEE Conference on Decision and Control (CDC). New York (US), 14.12.2020-18.12.2020]
Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institucionální podpora: RVO:67985840
Klíčová slova: P-time event graph * bounded consistency * 1-periodic trajectories
Obor OECD: Automation and control systems
https://doi.org/10.1109/CDC42340.2020.9304309
Trvalý link: http://hdl.handle.net/11104/0317076Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 4 832.5 KB Vydavatelský postprint vyžádat - 10.0537812 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Balun, J. - Masopust, Tomáš
On opacity verification for discrete-event systems.
IFAC-PapersOnLine. Volume 53, Issue 2 - 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges. Amsterdam: Elsevier, 2020 - (Hirche, S.; Janschek, K.; Mönnigmann, M.), s. 2075-2080. ISSN 2405-8963.
[21th IFAC World Congress. Berlin (DE), 11.07.2020-17.07.2020]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite automata * opacity * complexity
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2020.12.2524
Trvalý link: http://hdl.handle.net/11104/0315649Název souboru Staženo Velikost Komentář Verze Přístup Masopust2.pdf 2 357.6 KB Vydavatelský postprint povolen