Tomas Masopust
Tomas Masopust
Dept of Computer Science, Palacky University & Institut of Mathematics CAS
Verified email at math.cas.cz - Homepage
TitleCited byYear
Efficient separability of regular languages by subsequences and suffixes
W Czerwiński, W Martens, T Masopust
International Colloquium on Automata, Languages, and Programming, 150-161, 2013
492013
Control of distributed systems: Tutorial and overview
JH van Schuppen, O Boutin, PL Kempker, J Komenda, T Masopust, ...
European Journal of Control 17 (5-6), 579-602, 2011
472011
Supervisory control synthesis of discrete-event systems using a coordination scheme
J Komenda, T Masopust, JH Van Schuppen
Automatica 48 (2), 247-254, 2012
462012
Coordination control of discrete-event systems revisited
J Komenda, T Masopust, JH van Schuppen
Discrete Event Dynamic Systems 25 (1-2), 65-94, 2015
352015
On Conditional Decomposability
J Komenda, T Masopust, JH van Schuppen
Systems & Control Letters 61 (12), 1260-1268, 2012
342012
Synthesis of controllable and normal sublanguages for discrete-event systems using a coordinator
J Komenda, T Masopust, JH Van Schuppen
Systems & Control Letters 60 (7), 492-502, 2011
252011
Complexity in union-free regular languages
G Jirásková, T Masopust
International Journal of Foundations of Computer Science 22 (07), 1639-1653, 2011
202011
Synthesis of safe sublanguages satisfying global specification using coordination scheme for discrete-event systems
J Komenda, T Masopust, JH van Schuppen
Workshop on Discrete-Event Systems 10 (1), 426-431, 2010
182010
Complexity in union-free regular languages
G Jirásková, T Masopust
International Conference on Developments in Language Theory, 255-266, 2010
172010
Cooperating distributed grammar systems with permitting grammars as components
E Csuhaj-Varjú, T Masopust, G Vaszil
Romanian Journal of Information Science and Technology 12 (2), 175-189, 2009
152009
Left-forbidding cooperating distributed grammar systems
F Goldefus, T Masopust, A Meduna
Theoretical Computer Science 411 (40-42), 3661-3667, 2010
142010
Multilevel coordination control of modular DES
J Komenda, T Masopust, JH van Schuppen
52nd IEEE Conference on Decision and Control, 6323-6328, 2013
132013
Formal Models: Regulation and Reduction
T Masopust
Faculty of Information Technology BUT, 2007
132007
On a structural property in the state complexity of projected regular languages
G Jirásková, T Masopust
Theoretical Computer Science 449, 93-105, 2012
122012
Simple restriction in context-free rewriting
T Masopust
Journal of Computer and System Sciences 76 (8), 837-846, 2010
122010
Piecewise Testable Languages and Nondeterministic Automata
T Masopust
MFCS 2016 58, 67:1-67:14, 2016
112016
Coordinated control of discrete event systems with nonprefix-closed languages
J Komenda, T Masopust, JH van Schuppen
IFAC Proceedings Volumes 44 (1), 6982-6987, 2011
112011
On the terminating derivation mode in cooperating distributed grammar systems with forbidding components
T Masopust
International Journal of Foundations of Computer Science 20 (2), 331-340, 2009
112009
Complexity of deciding detectability in discrete event systems
T Masopust
Automatica 93, 257-261, 2018
102018
On upper and lower bounds on the length of alternating towers
Š Holub, G Jirásková, T Masopust
International Symposium on Mathematical Foundations of Computer Science, 315-326, 2014
102014
The system can't perform the operation now. Try again later.
Articles 1–20