Tomáš Masopust

doc. RNDr. Tomáš Masopust, Ph.D., DSc.

Research interests:

Automata theory - Complexity theory - Cyber-physical systems - Databases - Discrete-event systems - Petri nets - Systems and control - Verification and model checking

Remember, for every submitted paper, you should review two or three papers.

[upravit]

Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality

Jan Komenda, Tomáš Masopust
IEEE Transactions on Automatic Control, 2024

Hierarchical Supervisory Control under Partial Observation: Normality

Jan Komenda, Tomáš Masopust
IEEE Transactions on Automatic Control 68(12), 7286-7298, 2023

Speed Me up if You Can: Conditional Lower Bounds on Opacity Verification

Jiří Balun, Petr Osička, Tomáš Masopust
48th International Symposium on Mathematical Foundations of Computer Science (MFCS 2023), 2023

Verifying Weak and Strong k-Step Opacity in Discrete-Event Systems

Jiří Balun, Tomáš Masopust
Automatica 155, 111153, 2023

On Transformations among Opacity Notions

Jiří Balun, Tomáš Masopust
IEEE International Conference on Systems, Man, and Cybernetics (SMC), 2022

On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems

Jiří Balun, Tomáš Masopust
IFAC PapersOnLine 55(28), 108-113, 2022

Modular Control of Discrete-Event Systems using Similarity

Yingying Liu, Tomáš Masopust, Jan Komenda, Zhiwu Li
Automatica 142, 110431, 2022

Comparing the Notions of Opacity for Discrete-Event Systems

Jiří Balun, Tomáš Masopust
Discrete Event Dynamic Systems 31, 2021

On Verification of D-Detectability for Discrete Event Systems

Jiří Balun, Tomáš Masopust
Automatica 133, 2021

Partially Ordered Automata and Piecewise Testability

Tomáš Masopust, Markus Krötzsch
Logical Methods in Computer Science 17(2), 14:1-14:36, 2021

All publications

[upravit]

Verification and Control of Networked Discrete Event Systems

Tomáš Masopust, Jan Komenda
Jiří Balun, Stéphane Lafortune, Spyros Reveliotis, Feng Lin

Compositional Methods for the Control of Concurrent Timed Discrete-Event Systems

Jan Komenda, Jörg Raisch
Tomáš Masopust, Thomas Moor

All projects

[upravit]

Dynamická webová prezentace PřF pomocí Semantic MediaWiki

bachelor's thesis
Supervisor: Tomáš Masopust
Student/s: Václav Procházka

Student se seznámí s nástroji Semantic Wiki a Semantic MediaWiki a jejich rozšířeními. Pomocí těchto nástrojů vytvoří dynamickou webovou prezentaci vhodnou pro katedry PřF UP a jejich zaměstnance.

Piecewise testability

bachelor's thesis
Supervisor: Tomáš Masopust
Student/s: Eliška Foltasová
2021
EliskaFoltasovaBakalarskaPrace.pdf, Piecewise-testability-libFAUDES-plugin.tar.gz

Relative observability

bachelor's thesis
Supervisor: Tomáš Masopust
Student/s: Marián Pochyba
2018
MarianPochybaBakalarskaPraca.pdf, Relative-observability-libFAUDES-plugin.zip

All theses

[upravit]

Coordination control plug-in

Tomáš Masopust
website
Description: Coordination Control Plug-In for libFAUDES C++ library (distributed under conditions of the GNU Lesser General Public License LGPL)

Version: released on Feb 5, 2012. Included in the official libFAUDES distribution since version 2.21e.
Description: Complete coordination control synthesis procedure for the computation of the supremal conditionally controllable sublanguage of a given prefix-closed global specification language K and a set of local subsystems, corresponding supervisors, and the supervised coordinator. (The case of non-prefix-closed global specifications is under investigation...)
Updates: Polynomial algorithm for conditional decomposability included since version 2.26

The International Center for Computational Logic

Center for Computational Logic website
Description: Portal for the International Center for Computational Logic at TU Dresden, 2014. Powered by MediaWiki and Semantic MediaWiki.

Homepage
DBLP
Google Scholar
  tomas.masopust@upol.cz
  5.045
  17. Listopadu 1192/12, 779 00 Olomouc
Discrete-Event Systems and Theoretical Computer Science Research Group