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].
[1] Robert L. Aveyard,et al. A Boolean Model for a Class of Discrete Event Systems , 1974, IEEE Trans. Syst. Man Cybern..
[2] P. Ramadge,et al. Modular feedback logic for discrete event systems , 1987 .
[3] Eugene Wong,et al. A state model for the concurrency control problem in database management systems , 1985, 1985 24th IEEE Conference on Decision and Control.