Výsledky vyhledávání
- 1.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 - 2.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 - 3.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 - 4.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 - 5.0537773 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš
Conditions for hierarchical supervisory control under partial observation.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 303-308. ISSN 2405-8963.
[15th Workshop on Discrete Event Systems (WODES 2020). Rio de Janeiro (BR), 11.11.2020-13.11.2020]
Grant CEP: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institucionální podpora: RVO:67985840
Klíčová slova: discrete-event system * hierarchical supervisory control * normality * relative observability
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.029
Trvalý link: http://hdl.handle.net/11104/0315612Název souboru Staženo Velikost Komentář Verze Přístup Komenda2.pdf 2 366.8 KB Vydavatelský postprint povolen - 6.0537767 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Reveliotis, S. - Masopust, Tomáš
Efficient assessment of state liveness in open, irreversible, dynamically routed, zone-controlled guidepath-based transport systems: The general case.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 235-242. ISSN 2405-8963.
[15th Workshop on Discrete Event Systems (WODES 2020). Rio de Janeiro (BR), 11.11.2020-13.11.2020]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: guidepath-based traffic systems * traffic liveness analysis and enforcement * deadlock avoidance * discrete event systems
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.075
Trvalý link: http://hdl.handle.net/11104/0315608Název souboru Staženo Velikost Komentář Verze Přístup Masopust3.pdf 0 680.9 KB Vydavatelský postprint povolen - 7.0537723 - MÚ 2022 RIV NL eng C - Konferenční příspěvek (zahraniční konf.)
Balun, J. - Masopust, Tomáš
On verification of strong periodic D-detectability for discrete event systems.
IFAC-PapersOnLine. Volume 53, Issue 4 - Proceedings of 15th IFAC Workshop on Discrete Event Systems WODES 2020. Amsterdam: Elsevier, 2020 - (Basilio, J.), s. 263-268. ISSN 2405-8963.
[15th Workshop on Discrete Event Systems (WODES 2020). Rio de Janeiro (BR), 11.11.2020-13.11.2020]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: discrete event systems * finite-state automata * detectability * verification * complexity
Obor OECD: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.025
Trvalý link: http://hdl.handle.net/11104/0315577Název souboru Staženo Velikost Komentář Verze Přístup Masopust2.pdf 2 379.7 KB Vydavatelský postprint povolen - 8.0508775 - MÚ 2020 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Reveliotis, S. - Masopust, Tomáš
Some new results on the state liveness of open guidepath-based traffic systems.
27th Mediterranean Conference on Control and Automation (MED). Piscataway: IEEE, 2019, s. 398-404. ISBN 978-1-7281-2803-0.
[27th Mediterranean Conference on Control and Automation (MED). Akko (IL), 01.07.2019-04.07.2019]
Grant CEP: GA ČR(CZ) GC19-06175J
Institucionální podpora: RVO:67985840
Klíčová slova: Guidepath-based traffic systems * traffic liveness enforcement * discrete event systems
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ieeexplore.ieee.org/document/8798579
Trvalý link: http://hdl.handle.net/11104/0299598Název souboru Staženo Velikost Komentář Verze Přístup Masopust4.pdf 0 660.1 KB Vydavatelský postprint vyžádat - 9.0485287 - MÚ 2019 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Masopust, Tomáš - Krötzsch, M.
Deciding Universality of ptNFAs is PSpace-Complete.
SOFSEM 2018: Theory and Practice of Computer Science. Cham: Springer, 2018 - (Tjoa, A.; Bellatreche, L.; Biffl, S.; van Leeuwen, J.; Wiedermann, J.), s. 413-427. Lecture Notes in Computer Science, 10706. ISBN 978-3-319-73116-2. ISSN 0302-9743.
[Sofsem 2018. International Conference on Current Trends in Theory and Practice of Computer Science /44./. Krems (AT), 29.01.2018-02.02.2018]
Institucionální podpora: RVO:67985840
Klíčová slova: nondeterministic automata * partial order * universality
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://link.springer.com/chapter/10.1007%2F978-3-319-73117-9_29
Trvalý link: http://hdl.handle.net/11104/0280357Název souboru Staženo Velikost Komentář Verze Přístup Masopust1.pdf 2 446.9 KB Vydavatelský postprint vyžádat - 10.0470380 - MÚ 2017 RIV US eng C - Konferenční příspěvek (zahraniční konf.)
Komenda, Jan - Masopust, Tomáš - van Schuppen, J. H.
Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems.
IEEE 55th Conference on Decision and Control (CDC). Las Vegas: IEEE, 2016 - (Giua, A.), s. 441-446. ISBN 978-1-5090-1838-3.
[55th IEEE Conference on Decision and Control (CDC 2016). Las Vegas (US), 12.12.2016-14.12.2016]
Grant CEP: GA ČR GA15-02532S
Institucionální podpora: RVO:67985840
Klíčová slova: automata * supervisory control * discrete event systems
Kód oboru RIV: BA - Obecná matematika
http://ieeexplore.ieee.org/document/7798308/
Trvalý link: http://hdl.handle.net/11104/0268037Název souboru Staženo Velikost Komentář Verze Přístup Komenda4.pdf 1 242.6 KB Vydavatelský postprint vyžádat