Supervision of discrete event processes
- 1 December 1982
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1228-1229
- https://doi.org/10.1109/cdc.1982.268351
Abstract
A discrete event process is modelled as a discrete state dynamic system which generates as output a formal language over the alphabet Σ. The objective of supervision is to ensure that this output language has certain desired properties. We define the concept of a controllable language and derive necessary and sufficient conditions for the existence of a supervisor to achieve a given controlled behavior. We also show that every supervisor contains an internal model of the resulting supervised behavior.Keywords
This publication has 0 references indexed in Scilit: