Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
On observability of discrete-event systems
Information Sciences: an International Journal - Robotics and Automation/Control Series
On supervisory control real-time discrete-event systems
Information Sciences: an International Journal
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation
Discrete Event Dynamic Systems
ACC'09 Proceedings of the 2009 conference on American Control Conference
Hi-index | 0.00 |
In this paper, we study supervisory control of a class of discrete event systems with simultaneous event occurrences, which we call concurrent discrete event systems, under partial observation. The behavior of the system is described by a language over the simultaneous event set. First, we prove that Lm(G)-closure, controllability, observability, and concurrent well-posedness of a specification language are necessary and sufficient conditions for the existence of a nonblocking supervisor. Next, we synthesize a supervisor that achieves the infimal closed, controllable, observable, and concurrently well-posed superlanguage of a specification language. Finally, we synthesize a supervisor that achieves a maximal closed, controllable, observable, and concurrently well-posed sublanguage of a closed specification language.