The control of dense real-time discrete event systems
- 9 December 2002
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 1527-1528
- https://doi.org/10.1109/cdc.1991.261658
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Formulation and control of real time discrete event processesPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- On ω-controllability and ω-normality of dedsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1991
- A framework for real-time discrete event controlIEEE Transactions on Automatic Control, 1990
- 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
- On sSupervisory control of real-time discrete-event systemsInformation Sciences, 1988