Determination of inner and outer bounds of reachable sets through subpavings
DOI10.1007/s11786-014-0199-4zbMath1338.65276OpenAlexW2043863058WikidataQ59132938 ScholiaQ59132938MaRDI QIDQ475437
Qiping Chu, Elwin De Weerdt, Erik-Jan van Kampen, António M. Pascoal, Eddy van Oort, Francisco Rego
Publication date: 27 November 2014
Published in: Mathematics in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11786-014-0199-4
General methods in interval analysis (65G40) Dynamical systems in control (37N35) Control/observation systems governed by ordinary differential equations (93C15) Approximation methods and numerical treatment of dynamical systems (37M99) Numerical problems in dynamical systems (65P99)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Hybridization methods for the analysis of nonlinear systems
- Computing reachable sets for uncertain nonlinear monotone systems
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
- Capture basin approximation using interval analysis
- Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
- Introduction to Interval Analysis
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
- Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties
- A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
- On Taylor Model Based Integration of ODEs
This page was built for publication: Determination of inner and outer bounds of reachable sets through subpavings
