A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems
- 1 January 1993
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Automatic Control
- Vol. 38 (1) , 135-138
- https://doi.org/10.1109/9.186325
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The control of discrete event systemsProceedings of the IEEE, 1989
- Some tractable supervisory control problems for discrete-event systems modeled by Buchi automataIEEE Transactions on Automatic Control, 1989
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987