CONTROL OF DISCRETE EVENT PROCESSES WITH FORCED EVENTS WA9 11:15
C. H. Golaszewski, Peter J. Ramadge · 1987
This paper formulates a model for a class of discrete event systems and uses the model to determine necessary and sufficient conditions for the existence of a controller to achieve a prescribed behavior. Our model is an extension of that in Ramadge and Wonham [l] to include the notion of forced events. To prove our main result on the existence of controllers for this class of systems we extend the definition of a controllable language [I].