The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
From MaRDI portal
Publication:4982088
DOI10.1016/j.entcs.2008.12.033zbMath1337.93018OpenAlexW2134675215MaRDI QIDQ4982088
Alexandre Goldsztejn, Peter J. Collins
Publication date: 23 March 2015
Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.entcs.2008.12.033
Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Discrete version of topics in analysis (39A12) Attainable sets, reachability (93B03)
Related Items (6)
Computability and Dynamical Systems ⋮ Lie symmetries applied to interval integration ⋮ Bracketing the solutions of an ordinary differential equation with uncertain initial conditions ⋮ Monitoring bounded LTL properties using interval analysis ⋮ Bracketing backward reach sets of a dynamical system ⋮ Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- Rigorously computed orbits of dynamical systems without the wrapping effect
- PROFIL/BIAS - A fast interval library
- Validated solutions of initial value problems for ordinary differential equations
- \(C^1\) Lohner algorithm.
- Continuity and computability of reachable sets
- Optimal semicomputable approximations to reachable and invariant sets
- On Ellipsoidal Techniques for Reachability Analysis. Part I: External Approximations
- Constraints for Continuous Reachability in the Verification of Hybrid Systems
This page was built for publication: The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
