Tomás Masopust
Orcid: 0000-0001-9282-758XAffiliations:
- TU Dresden, International Center For Computational Logic
- Academy of Sciences of the Czech Republic, Institute of Mathematics
According to our database1,
Tomás Masopust
authored at least 103 papers
between 2007 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
5
10
4
2
2
2
5
2
6
5
4
2
2
5
2
6
5
5
5
4
2
1
1
1
1
4
3
3
4
3
2
3
4
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on is.muni.cz
On csauthors.net:
Bibliography
2024
Supervisory Control of Modular Discrete-Event Systems Under Partial Observation: Normality.
IEEE Trans. Autom. Control., June, 2024
CoRR, 2024
2023
IEEE Trans. Autom. Control., December, 2023
Autom., September, 2023
Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023
2022
CoRR, 2022
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2022
2021
Log. Methods Comput. Sci., 2021
Discret. Event Dyn. Syst., 2021
CoRR, 2021
2020
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems.
IEEE Trans. Autom. Control., 2020
IEEE Trans. Autom. Control., 2020
2019
IEEE Trans. Autom. Control., 2019
CoRR, 2019
CoRR, 2019
Complexity of detectability, opacity and A-diagnosability for modular discrete event systems.
Autom., 2019
Proceedings of the 27th Mediterranean Conference on Control and Automation, 2019
2018
Theor. Comput. Sci., 2018
IEEE Trans. Autom. Control., 2018
Proceedings of the SOFSEM 2018: Theory and Practice of Computer Science - 44th International Conference on Current Trends in Theory and Practice of Computer Science, Krems, Austria, January 29, 2018
2017
Theor. Comput. Sci., 2017
Inf. Comput., 2017
Computation of controllable and coobservable sublanguages in decentralized supervisory control via communication.
Discret. Event Dyn. Syst., 2017
CoRR, 2017
2016
Int. J. Control, 2016
CoRR, 2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Proceedings of the 41st International Symposium on Mathematical Foundations of Computer Science, 2016
Distributed computation of maximally permissive supervisors in three-level relaxed coordination control of discrete-event systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Discret. Event Dyn. Syst., 2015
On the Computation of Controllable and Coobservable Sublanguages in Decentralized Supervisory Control.
CoRR, 2015
Proceedings of the Developments in Language Theory - 19th International Conference, 2015
Proceedings of the IEEE International Conference on Automation Science and Engineering, 2015
Proceedings of the American Control Conference, 2015
2014
Maximally Permissive Coordination Supervisory Control - Towards Necessary and Sufficient Conditions.
CoRR, 2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the 13th European Control Conference, 2014
Decentralized supervisory control with communicating supervisors based on top-down coordination control.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
2013
Int. J. Found. Comput. Sci., 2013
CoRR, 2013
Proceedings of the Automata, Languages, and Programming - 40th International Colloquium, 2013
Proceedings of the Descriptional Complexity of Formal Systems, 2013
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Proceedings of the 51st Annual Allerton Conference on Communication, 2013
Proceedings of the Control of Discrete-Event Systems, 2013
Proceedings of the Control of Discrete-Event Systems, 2013
Proceedings of the Control of Discrete-Event Systems, 2013
Proceedings of the Control of Discrete-Event Systems, 2013
2012
Theor. Comput. Sci., 2012
CoRR, 2012
Autom., 2012
Proceedings of the 11th International Workshop on Discrete Event Systems, 2012
Proceedings of the Implementation and Application of Automata, 2012
Proceedings of the Theoretical Computer Science, 2012
2011
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator.
Syst. Control. Lett., 2011
Acta Cybern., 2011
Proceedings of the Descriptional Complexity of Formal Systems, 2011
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011
2010
Fundam. Informaticae, 2010
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals.
Fundam. Informaticae, 2010
Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms
CoRR, 2010
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems.
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Blackhole State-Controlled Regulated Pushdown Automata.
Proceedings of the Second Workshop on Non-Classical Models for Automata and Applications - NCMA 2010, Jena, Germany, August 23, 2010
2009
Theor. Comput. Sci., 2009
On context-free rewriting with a simple restriction and its computational completeness.
RAIRO Theor. Informatics Appl., 2009
On the Terminating Derivation Mode in Cooperating Distributed Grammar Systems with Forbidding Components.
Int. J. Found. Comput. Sci., 2009
Descriptional Complexity of Three-Nonterminal Scattered Context Grammars: An Improvement
Proceedings of the Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems, 2009
Answers to Questions Formulated in the Paper "On States Observability in Deterministic Finite Automata"
CoRR, 2009
Acta Cybern., 2009
Regulated Nondeterminism in PDAs: The Non-Regular Case.
Proceedings of the Workshop on Non-Classical Models for Automata and Applications - NCMA 2009, Wroclaw, Poland, August 31, 2009
A Note on the Generative Power of Some Simple Variants of Context-Free Grammars Regulated by Context Conditions.
Proceedings of the Language and Automata Theory and Applications, 2009
A Note on the Cooperation in Rewriting Systems with Context-Dependency Checking.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
2008
Fundam. Informaticae, 2008
Discret. Math. Theor. Comput. Sci., 2008
Two Power-Decreasing Derivation Restrictions in Generalized Scattered Context Grammars.
Acta Cybern., 2008
2007
Descriptional Complexity of Grammars Regulated by Context Conditions.
Proceedings of the LATA 2007. Proceedings of the 1st International Conference on Language and Automata Theory and Applications., 2007
Proceedings of the 2nd International Workshop on Formal Models WFM'07, 2007
Descriptional Complexity of Generalized Forbidding Grammars.
Proceedings of the 9th International Workshop on Descriptional Complexity of Formal Systems - DCFS 2007, High Tatras, Slovakia, July 20, 2007