Control of discrete event processes with forced events

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 [1] 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 [1].