Masopust, Tomáš
- Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems
2017/10/08 by Tomáš Masopust, Masopust, Tomáš, Xiang Yin +1 · 1 citation
Computer Science · #Distributed systems and fault tolerance #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Petri Nets in System Modeling #Systems and Control (eess.SY) #electronic engineering #information engineering
- Critical Observability for Automata and Petri Nets
2018/08/01 by Masopust, Tomáš · 1 citation
#68Q25 #68Q45 #93C65 #FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Comparing the Notions of Opacity for Discrete-Event Systems
2021/02/04 by Balun, Jiří, Masopust, Tomáš · 1 citation
#FOS: Computer and information sciences #FOS: Electrical engineering #Formal Languages and Automata Theory (cs.FL) #Systems and Control (eess.SY) #electronic engineering #information engineering
- Supervisory Control of Modular Discrete-Event Systems under Partial Observation: Normality
2023/02/21 by Jan Komenda, Komenda, Jan, Tomáš Masopust +1 · 1 citation
Computer Science · Business, Management and Accounting · Decision Sciences · #Petri Nets in System Modeling #Business Process Modeling and Analysis #Simulation Techniques and Applications