Viable control of hybrid systems
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 128-147
- https://doi.org/10.1007/3-540-60472-3_7
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Model-checking for real-time systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Planar hybrid systemsLecture Notes in Computer Science, 1995
- Decidability of hybrid systems with rectangular differential inclusionsPublished by Springer Nature ,1994
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systemsPublished by Springer Nature ,1993
- Existence of Saddle Points in Differential GamesSIAM Journal on Control, 1969