54 citations · 213 across the 36 of their papers we have counts for
3 papers · 1 filter
Coordination Control of Discrete-Event Systems Revisited
Jan Komenda, Tomas Masopust, Jan H. van Schuppen
In this paper, we revise and further investigate the coordination control approach proposed for supervisory control of distributed discrete-event systems with synchronous communica…
On the State Complexity of the Reverse of R- and J-trivial Regular Languages
Galina Jirásková, Tomáš Masopust
The tight upper bound on the state complexity of the reverse of R-trivial and J-trivial regular languages of the state complexity n is 2^{n-1}. The witness is ternary for R-trivial…
Efficient Separability of Regular Languages by Subsequences and Suffixes
Wojciech Czerwiński, Wim Martens, Tomáš Masopust
When can two regular word languages K and L be separated by a simple language? We investigate this question and consider separation by piecewise- and suffix-testable languages and…