Abstract
A model for a class of discrete-event systems is formulated. The model is used to determine necessary and sufficient conditions for the existence of a controller to achieve a prescribed behavior. This model is an extension of that by P. J. Ramadge and W. M. Wonham (1987) to include the notion of forced events. To prove the main result on the existence of controllers for this class of systems, the definition of a controllable language introduced by Ramadge and Wonham is extended and its closure properties are investigated.
Original language | English (US) |
---|---|
Pages (from-to) | 247-251 |
Number of pages | 5 |
Journal | Proceedings of the IEEE Conference on Decision and Control |
DOIs | |
State | Published - 1987 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Modeling and Simulation
- Control and Optimization