The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems

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

zbMATH Keywords

interval analysisnonlinear dynamical systemsreachability analysis

Mathematics Subject Classification ID

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

Computability and Dynamical Systems, Lie symmetries applied to interval integration, Reliable Robust Path Planning with Application to Mobile Robots, 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

• Mathematica
• PROFIL/BIAS
• INTLAB
• RSOLVER
• Ariadne
• HSolver

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