Linear phase-portrait approximations for nonlinear hybrid systems
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 377-388
- https://doi.org/10.1007/bfb0020961
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Automatic symbolic verification of embedded systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- HYTECH: the next generationPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- What's decidable about hybrid automata?Published by Association for Computing Machinery (ACM) ,1995
- A note on abstract interpretation strategies for hybrid automataPublished by Springer Nature ,1995
- Hybrid automata with finite bisimulationsPublished by Springer Nature ,1995
- Algorithmic analysis of nonlinear hybrid systemsPublished by Springer Nature ,1995
- Verification of linear hybrid systems by means of convex approximationsPublished by Springer Nature ,1994
- Geometrical Methods in the Theory of Ordinary Differential EquationsPublished by Springer Nature ,1983
- Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpointsPublished by Association for Computing Machinery (ACM) ,1977