Hybridization methods for the analysis of nonlinear systems
- 20 January 2007
- journal article
- Published by Springer Science and Business Media LLC in Acta Informatica
- Vol. 43 (7), 451-476
- https://doi.org/10.1007/s00236-006-0035-7
Abstract
No abstract availableKeywords
This publication has 53 references indexed in Scilit:
- Counterexample-guided predicate abstraction of hybrid systemsTheoretical Computer Science, 2006
- Switching in Systems and ControlSystems & Control: Foundations & Applications, 2003
- Impulse differential inclusions: a viability approach to hybrid systemsIEEE Transactions on Automatic Control, 2002
- Reach Set Computations Using Real Quantifier EliminationLecture Notes in Computer Science, 2001
- Discrete abstractions of hybrid systemsProceedings of the IEEE, 2000
- Approximate Reachability Analysis of Piecewise-Linear Dynamical SystemsLecture Notes in Computer Science, 2000
- Reachability analysis of dynamical systems having piecewise-constant derivativesTheoretical Computer Science, 1995
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995
- A theory of timed automataTheoretical Computer Science, 1994
- Numerical MathematicsPublished by Springer Science and Business Media LLC ,1991