Safe Over- and Under-Approximation of Reachable Sets for Autonomous Dynamical Systems
Authors:
- Zhikun SheZSZhikun She
- Bai XueBXBai Xue
- 26 August 2018
- book chapter
- Published by Springer Nature
- p. 252-270
Abstract
No abstract availableKeywords
This publication has 35 references indexed in Scilit:
- Automatic Reachability Analysis for Nonlinear Hybrid Models with C2E22016
- Parallelotope Bundles for Polynomial Reachability2016
- Eliminating spurious transitions in reachability with support functions2015
- Verification of annotated models from executions2013
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets2013
- Taylor Model Flowpipe Construction for Non-linear Hybrid Systems2012
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods2011
- SpaceEx: Scalable Verification of Hybrid Systems2011
- Reachability analysis of nonlinear systems with uncertain parameters using conservative linearization2008
- Reach Set Computations Using Real Quantifier Elimination2001