Výsledky vyhledávání
- 1.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 - 2.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 - 3.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 - 4.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 - 5.0522961 - MÚ 2021 RIV US eng J - Článek v odborném periodiku
Lahaye, S. - Lai, A. - Komenda, Jan - Boimond, J.-L.
A contribution to the determinization of max-plus automata.
Discrete Event Dynamic Systems-Theory and Applications. Roč. 30, č. 1 (2020), s. 155-174. ISSN 0924-6703. E-ISSN 1573-7594
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: max-plus automata * determinization * simulation relation
Obor OECD: Automation and control systems
Impakt faktor: 0.976, rok: 2020
Způsob publikování: Omezený přístup
https://doi.org/10.1007/s10626-019-00309-6
Trvalý link: http://hdl.handle.net/11104/0307373Název souboru Staženo Velikost Komentář Verze Přístup Komenda.pdf 3 1.5 MB Vydavatelský postprint vyžádat