Synthesis of minimally restrictive legal controllers for a class of hybrid systems
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 134-159
- https://doi.org/10.1007/bfb0031559
Abstract
No abstract availableKeywords
This publication has 24 references indexed in Scilit:
- Automata for modeling real-time systemsPublished by Springer Nature ,2005
- Steam-boiler control specification problemPublished by Springer Nature ,1996
- Universal computation and other capabilities of hybrid and continuous dynamical systemsTheoretical Computer Science, 1995
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995
- Symbolic controller synthesis for discrete and timed systemsPublished by Springer Nature ,1995
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsPublished by Springer Nature ,1993
- Hybrid Models for Motion Control SystemsPublished by Springer Nature ,1993
- Hybrid system modeling and autonomous control systemsPublished by Springer Nature ,1993
- Limited lookahead policies in supervisory control of discrete event systemsIEEE Transactions on Automatic Control, 1992