A Comparative Study of Synthesis Methods for Discrete Event Controllers
Formal Methods in System Design
Compositional Control Synthesis for Partially Observable Systems
CONCUR 2009 Proceedings of the 20th International Conference on Concurrency Theory
Supervisory control of discrete event systems
Mathematical and Computer Modelling: An International Journal
Hi-index | 0.01 |