54 citations · 213 across the 36 of their papers we have counts for
4 papers · 1 filter
A Note on Limited Pushdown Alphabets in Stateless Deterministic Pushdown Automata
Tomáš Masopust
Recently, an infinite hierarchy of languages accepted by stateless deterministic pushdown automata has been established based on the number of pushdown symbols. However, the witnes…
On Algorithms and Extensions of Coordination Control of Discrete-Event Systems
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
In this paper, we further develop the coordination control scheme for discrete-event systems based on the Ramadge-Wonham framework. The notions of conditional decomposability, cond…
A Note on Undecidability of Observation Consistency for Non-Regular Languages
Tomáš Masopust
One of the most interesting questions concerning hierarchical control of discrete-event systems with partial observations is a condition under which the language observability is p…
On Conditional Decomposability
Jan Komenda, Tomáš Masopust, Jan H. van Schuppen
The requirement of a language to be conditionally decomposable is imposed on a specification language in the coordination supervisory control framework of discrete-event systems. I…