On closed-loop liveness of discrete event systems under maximally permissive control
- 7 January 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 2725-2730
- https://doi.org/10.1109/cdc.1989.70674
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Petri nets: Properties, analysis and applicationsProceedings 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 discrete-event processes with partial observationsIEEE Transactions on Automatic Control, 1988
- Modular Feedback Logic for Discrete Event SystemsSIAM Journal on Control and Optimization, 1987
- Supervisory Control of a Class of Discrete Event ProcessesSIAM Journal on Control and Optimization, 1987