Výsledky vyhledávání
- 1.0585936 - MÚ 2025 RIV US eng J - Článek v odborném periodiku
Shen, L. - Miao, S. - Lai, A. - Komenda, Jan
Verification of initial-and-final-state opacity for unambiguous weighted automata.
Isa Transactions. Roč. 148, May (2024), s. 237-246. ISSN 0019-0578. E-ISSN 1879-2022
Institucionální podpora: RVO:67985840
Klíčová slova: initial-and-final-state opacity * labeled observer * unambiguous weighted automaton
Obor OECD: Automation and control systems
Impakt faktor: 7.3, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.isatra.2024.03.019
Trvalý link: https://hdl.handle.net/11104/0353570Název souboru Staženo Velikost Komentář Verze Přístup Komenda1.pdf 0 856.9 KB Vydavatelský postprint vyžádat - 2.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 - 3.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