Model Checking of Hybrid Systems: From Reachability Towards Stability
- 1 January 2006
- book chapter
- Published by Springer Nature
- p. 507-521
- https://doi.org/10.1007/11730637_38
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Safety Verification of Hybrid Systems by Constraint Propagation Based Abstraction RefinementPublished by Springer Nature ,2005
- Constructing Invariants for Hybrid SystemsPublished by Springer Nature ,2004
- Safety Verification of Hybrid Systems Using Barrier CertificatesPublished by Springer Nature ,2004
- Termination of Linear ProgramsPublished by Springer Nature ,2004
- Linear Invariant Generation Using Non-linear Constraint SolvingPublished by Springer Nature ,2003
- Liveness Checking as Safety CheckingElectronic Notes in Theoretical Computer Science, 2002
- Lie-Algebraic Stability Criteria for Switched SystemsSIAM Journal on Control and Optimization, 2001
- Stability of switched systems: a Lie-algebraic conditionSystems & Control Letters, 1999
- Algorithmic analysis of nonlinear hybrid systemsIEEE Transactions on Automatic Control, 1998
- Multiple Lyapunov functions and other analysis tools for switched and hybrid systemsIEEE Transactions on Automatic Control, 1998