Search results
- 1.0564912 - MÚ 2023 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete event systems * finite automata * opacity * verification * complexity
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2022.10.331
Permanent Link: https://hdl.handle.net/11104/0336489File Download Size Commentary Version Access Masopust1.pdf 5 470.6 KB Publisher’s postprint open-access - 2.0564901 - MÚ 2023 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete-event systems * opacity * transformations
OECD category: Automation and control systems
https://doi.org/10.1109/SMC53654.2022.9945608
Permanent Link: https://hdl.handle.net/11104/0336471File Download Size Commentary Version Access Masopust.pdf 2 754.9 KB Publisher’s postprint require - 3.0537812 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete event systems * finite automata * opacity * complexity
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2020.12.2524
Permanent Link: http://hdl.handle.net/11104/0315649File Download Size Commentary Version Access Masopust2.pdf 2 357.6 KB Publisher’s postprint open-access - 4.0537810 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : supervisory control * mutual controllability * multi-level structure
OECD category: Automation and control systems
Permanent Link: http://hdl.handle.net/11104/0315646File Download Size Commentary Version Access Komenda4.pdf 0 369.5 KB Publisher’s postprint open-access - 5.0537773 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J; GA MŠMT(CZ) LTAUSA19098
Institutional support: RVO:67985840
Keywords : discrete-event system * hierarchical supervisory control * normality * relative observability
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.029
Permanent Link: http://hdl.handle.net/11104/0315612File Download Size Commentary Version Access Komenda2.pdf 2 366.8 KB Publisher’s postprint open-access - 6.0537767 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : guidepath-based traffic systems * traffic liveness analysis and enforcement * deadlock avoidance * discrete event systems
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.075
Permanent Link: http://hdl.handle.net/11104/0315608File Download Size Commentary Version Access Masopust3.pdf 0 680.9 KB Publisher’s postprint open-access - 7.0537723 - MÚ 2022 RIV NL eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : discrete event systems * finite-state automata * detectability * verification * complexity
OECD category: Automation and control systems
https://doi.org/10.1016/j.ifacol.2021.04.025
Permanent Link: http://hdl.handle.net/11104/0315577File Download Size Commentary Version Access Masopust2.pdf 2 379.7 KB Publisher’s postprint open-access - 8.0508775 - MÚ 2020 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR(CZ) GC19-06175J
Institutional support: RVO:67985840
Keywords : Guidepath-based traffic systems * traffic liveness enforcement * discrete event systems
OECD category: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://ieeexplore.ieee.org/document/8798579
Permanent Link: http://hdl.handle.net/11104/0299598File Download Size Commentary Version Access Masopust4.pdf 0 660.1 KB Publisher’s postprint require - 9.0485287 - MÚ 2019 RIV CH eng C - Conference Paper (international conference)
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]
Institutional support: RVO:67985840
Keywords : nondeterministic automata * partial order * universality
OECD category: 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
Permanent Link: http://hdl.handle.net/11104/0280357File Download Size Commentary Version Access Masopust1.pdf 2 446.9 KB Publisher’s postprint require - 10.0470380 - MÚ 2017 RIV US eng C - Conference Paper (international conference)
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]
R&D Projects: GA ČR GA15-02532S
Institutional support: RVO:67985840
Keywords : automata * supervisory control * discrete event systems
Subject RIV: BA - General Mathematics
http://ieeexplore.ieee.org/document/7798308/
Permanent Link: http://hdl.handle.net/11104/0268037File Download Size Commentary Version Access Komenda4.pdf 1 242.6 KB Publisher’s postprint require