Control of discrete event processes with forced events
- 1 December 1987
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 26, 247-251
- https://doi.org/10.1109/cdc.1987.272773
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].Keywords
This publication has 0 references indexed in Scilit: