Výsledky vyhledávání
- 1.0537812 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Balun, J. - Masopust, Tomáš
On opacity verification for discrete-event systems.
IFAC-PapersOnLine. Volume 53, Issue 2 - 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges. Amsterdam: Elsevier, 2020 - (Hirche, S.; Janschek, K.; Mönnigmann, M.), s. 2075-2080. ISSN 2405-8963.
[21th IFAC World Congress. Berlin (DE), 11.07.2020-17.07.2020]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite automata * opacity * complexity
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2020.12.2524
Trvalý link: http://hdl.handle.net/11104/0315649Název souboru Staženo Velikost Komentář Verze Přístup Masopust2.pdf 2 357.6 KB Vydavatelský postprint povolen - 2.0537810 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Maximal permissiveness of modular supervisory control via multilevel structuring.
IFAC-PapersOnLine. Volume 53, Issue 2 - 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges. Amsterdam: Elsevier, 2020 - (Hirche, S.; Janschek, K.; Mönnigmann, M.), s. 2116-2121. ISSN 2405-8963.
[21th IFAC World Congress. Berlin (DE), 11.07.2020-17.07.2020]
Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institucionální podpora: RVO:67985840
Klíčová slova: supervisory control * mutual controllability * multi-level structure
Obor OECD: Automation and control systems
Trvalý link: http://hdl.handle.net/11104/0315646Název souboru Staženo Velikost Komentář Verze Přístup Komenda4.pdf 0 369.5 KB Vydavatelský postprint povolen