54 citations · 213 across the 36 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
math.OC2010★ 54 cited
Supervisory Control Synthesis of Discrete-Event Systems using Coordination Scheme
Jan Komenda, Tomas Masopust, Jan H. van Schuppen
Supervisory control of discrete-event systems with a global safety specification and with only local supervisors is a difficult problem. For global specifications the equivalent co…
cs.FL2010★ 1 cited
Comparison of Two Context-Free Rewriting Systems with Simple Context-Checking Mechanisms
Tomas Masopust
This paper solves an open problem concerning the generative power of nonerasing context-free rewriting systems using a simple mechanism for checking for context dependencies, in th…