Search results
- 1.0578406 - MÚ 2024 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete event systems * Petri Nets
OECD category: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284333
Permanent Link: https://hdl.handle.net/11104/0347404File Download Size Commentary Version Access Komenda1.pdf 0 1.1 MB Publisher’s postprint require - 2.0578399 - MÚ 2024 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete event system * unambiguous weighted automaton * self-composition * detectability * polynomial time
OECD category: Automation and control systems
https://doi.org/10.1109/CoDIT58514.2023.10284082
Permanent Link: https://hdl.handle.net/11104/0347401File Download Size Commentary Version Access Komenda.pdf 0 465.3 KB Publisher’s postprint require - 3.0564907 - MÚ 2023 RIV NL eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985840
Keywords : timed discrete-event systems * max-plus automata * determinism
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.356
Permanent Link: https://hdl.handle.net/11104/0336481File Download Size Commentary Version Access Komenda8.pdf 3 510.5 KB Publisher’s postprint open-access