Control of discrete event processes with forced events

Abstract
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].

This publication has 0 references indexed in Scilit: