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.0579254 - MÚ 2024 RIV US eng J - Článek v odborném periodiku
Komenda, Jan - Masopust, T.
Hierarchical supervisory control under partial observation: Normality.
IEEE Transactions on Automatic Control. Roč. 68, č. 12 (2023), s. 7286-7298. ISSN 0018-9286. E-ISSN 1558-2523
Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institucionální podpora: RVO:67985840
Klíčová slova: automata * complexity * discrete-event systems * controllability
Obor OECD: Automation and control systems
Impakt faktor: 6.8, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TAC.2023.3257232
Trvalý link: https://hdl.handle.net/11104/0348100Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 3 1.3 MB Vydavatelský postprint vyžádat - 3.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 - 4.0568271 - MÚ 2023 RIV eng U - Uspořádání akce
Burget, P. - Krivdová, L. - Komenda, Jan - Masopust, T.
WODES 2022 - 16th IFAC Workshop on Discrete Event Systems.
[Prague, 07.09.2022-09.09.2022, (W-WRD 77/70)]
Institucionální podpora: RVO:67985840
Klíčová slova: Discrete Event Systems * operations research * software engineering
Obor OECD: Automation and control systems
https://wodes2022.ciirc.cvut.cz/
Trvalý link: https://hdl.handle.net/11104/0339598 - 5.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 - 6.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 - 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.0562936 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Lai, A. - Komenda, Jan - Lahaye, S.
Diagnosability of unambiguous max-plus automata.
IEEE Transactions on Systems Man Cybernetics-Systems. Roč. 52, č. 11 (2022), s. 7302-7311. ISSN 2168-2216. E-ISSN 2168-2232
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: fault diagnosis * discrete-event systems * max-plus automata
Obor OECD: Automation and control systems
Impakt faktor: 8.7, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1109/TSMC.2022.3176045
Trvalý link: https://hdl.handle.net/11104/0335089Název souboru Staženo Velikost Komentář Verze Přístup Komenda6.pdf 4 978.2 KB Vydavatelský postprint vyžádat - 9.0558102 - MÚ 2023 RIV NL eng J - Článek v odborném periodiku
Liu, Y. - Komenda, Jan - Masopust, Tomáš - Li, Z.
Modular control of discrete-event systems using similarity.
Automatica. Roč. 142, August (2022), č. článku 110431. ISSN 0005-1098. E-ISSN 1873-2836
Grant CEP: GA MŠMT(CZ) LTAUSA19098; GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event systems * symmetric language * similar languages
Obor OECD: Automation and control systems
Impakt faktor: 6.4, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.automatica.2022.110431
Trvalý link: http://hdl.handle.net/11104/0331900Název souboru Staženo Velikost Komentář Verze Přístup Komenda3.pdf 2 705.5 KB Vydavatelský postprint vyžádat - 10.0554644 - MÚ 2023 RIV US eng J - Článek v odborném periodiku
Lai, A. - Lahaye, S. - Komenda, Jan
Observer construction for polynomially ambiguous max-plus automata.
IEEE Transactions on Automatic Control. Roč. 67, č. 3 (2022), s. 1582-1588. ISSN 0018-9286. E-ISSN 1558-2523
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: critical observability * discrete event systems * observer * polynomially ambiguous max-plus automata
Obor OECD: Automation and control systems
Impakt faktor: 6.8, rok: 2022
Způsob publikování: Omezený přístup
https://dx.doi.org/10.1109/TAC.2021.3069899
Trvalý link: http://hdl.handle.net/11104/0329342Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 4 523.6 KB Vydavatelský postprint vyžádat