Nápověda

Masopust Tomáš

Publikace ASEP

RIV ID 7977026
Označit vše / Zobrazit všechny roky / Zrušit označení

Označit vše / Zobrazit vše / Zrušit označení

Nalezeno záznamů: 3

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ý odkaz: https://hdl.handle.net/11104/0336471

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ý odkaz: https://hdl.handle.net/11104/0336489

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 ; AIS: 2.494, rok: 2022
Způsob publikování: Omezený přístup
https://doi.org/10.1016/j.automatica.2022.110431
Komenda, Jan
Trvalý odkaz: http://hdl.handle.net/11104/0331900