Safety verification and reachability analysis for hybrid systems
- 30 April 2009
- journal article
- Published by Elsevier BV in Annual Reviews in Control
- Vol. 33 (1), 25-36
- https://doi.org/10.1016/j.arcontrol.2009.03.002
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Predictive control for hybrid systems. Implications of polyhedral pre-computationsNonlinear Analysis: Hybrid Systems, 2008
- A Framework for Worst-Case and Stochastic Safety Verification Using Barrier CertificatesIEEE Transactions on Automatic Control, 2007
- Hybrid abstractions of affine systemsNonlinear Analysis, 2006
- On the formal verification of hybrid systemsControl Engineering Practice, 2004
- Computational techniques for hybrid system verificationIEEE Transactions on Automatic Control, 2003
- Verification of infinite-state dynamic systems using approximate quotient transition systemsIEEE Transactions on Automatic Control, 2001
- Validated solutions of initial value problems for ordinary differential equationsApplied Mathematics and Computation, 1999
- Algorithmic analysis of nonlinear hybrid systemsIEEE Transactions on Automatic Control, 1998
- HYTECH: a model checker for hybrid systemsInternational Journal on Software Tools for Technology Transfer, 1997
- The algorithmic analysis of hybrid systemsTheoretical Computer Science, 1995