Tomáš Masopust
-
Proceedings
-
Recent 5
-
- Balun Jiří, Masopust Tomáš
-
On transformations among opacity notions
- in Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC), Prague, Czech Republic, 9.10.2022 - 12.10.2022, editor(s): -, IEEE International Conference on Systems, Man, and Cybernetics (SMC), IEEE, Danvers, 2022, 3012-3017.
-
Associated with grants:
GC19-06175J -
- Balun Jiří, Masopust Tomáš
-
On verification of weak and strong k-step opacity for discrete-event systems
- in Proceedings of the 16th IFAC Workshop on Discrete Event Systems (WODES 2022), Prague, Czech Republic, 7.9.2022 - 8.9.2022, editor(s): J. Komenda, S. Reveliotis, T. Masopust, P. Burget, IFAC-PapersOnLine 55(28): 108-113, Elsevier, Amsterdam, 2022, 108-113.
-
Associated with grants:
GC19-06175J -
- Komenda Jan, Masopust Tomáš, Van Schuppen Jan H.
-
Maximal permissiveness of modular supervisory control via multilevel structuring
- in Proceedings of the 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges, Berlin, Germany, 11.7.2020 - 17.7.2020, editor(s): R. Findeisen, S. Hirche, K. Janschek, and M. Mönnigmann, IFAC-PapersOnLine, Elsevier, Amsterdam, 2020, 2116-2121.
-
Associated with grants:
GC19-06175J,
LTAUSA19098 -
- Balun Jiří, Masopust Tomáš
-
On opacity verification for discrete-event systems
- in Proceedings of the 21st IFAC World Congress on Automatic Control - Meeting Societal Challenges, Berlin, Germany, 11.7.2020 - 17.7.2020, editor(s): R. Findeisen, S. Hirche, K. Janschek, and M. Mönnigmann, IFAC-PapersOnLine, Elsevier, Amsterdam, 2020, 2075-2080.
-
Associated with grants:
GC19-06175J -
- Komenda Jan, Masopust Tomáš
-
Conditions for hierarchical supervisory control under partial observation
- in Proceedings of the 15th IFAC Workshop on Discrete Event Systems WODES 2020, Rio de Janeiro, Brazil, 11.11.2020 - 13.11.2020, editor(s): J. C. Basilio, IFAC-PapersOnLine, Elsevier, Amsterdam, 2020, 303-308.
-
Associated with grants:
GC19-06175J,
LTAUSA19098
T. Masopust
