Determination of inner and outer bounds of reachable sets through subpavings

DOI10.1007/S11786-014-0199-4MaRDI QIDQ475437zbMATHOpenAlexWikidataFDO

Authors Francisco Rego, Elwin De Weerdt, Eddy van Oort, Erik-Jan van Kampen, Qi-Ping Chu, António M. Pascoal

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

zbMATH Keywords

algorithmnumerical exampledynamic systeminterval analysisEuler methodreachable setssubpavings

Mathematics Subject Classification ID

Dynamical systems in control (37N35) General methods in interval analysis (65G40) Control/observation systems governed by ordinary differential equations (93C15) Approximation methods and numerical treatment of dynamical systems (37M99) Numerical problems in dynamical systems (65P99)

Recommendations

• scientific article; zbMATH DE number 727923
• Utilizing dependencies to obtain subsets of reachable sets
• Optimization-based subdivision algorithm for reachable sets
• Publication:4885524
• On the boundedness of outer polyhedral estimates for reachable sets of linear systems
• Computing reachable sets of differential inclusions
• A proximal characterization of the reachable set
• Computation of maximal reachability submodules
• On the intersection of controllable and reachable sets
• Reachability in a planar subdivision with direction constraints

Cites work

• scientific article; zbMATH DE number 1595639 (Why is no real title available?)
• scientific article; zbMATH DE number 1440908 (Why is no real title available?)
• 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
• A time-dependent Hamilton-Jacobi formulation of reachable sets for continuous dynamic games
• 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
• Computing reachable sets for uncertain nonlinear monotone systems
• Ellipsoidal Techniques for Hybrid Dynamics: the Reachability Problem
• Hybridization methods for the analysis of nonlinear systems
• Introduction to Interval Analysis
• On Taylor Model Based Integration of ODEs
• Parameter-Dependent Lyapunov Functions for Linear Systems With Constant Uncertainties

Cited in

(4)

• Guaranteed set computation with subpavings
• An Implementation of Variable Upper Bounds via SUB Methodology
• scientific article; zbMATH DE number 942499 (Why is no real title available?)
• Inner approximated reachability analysis

Describes a project that uses

Uses Software

• PROFIL/BIAS
• INTLAB
• VNODE

This page was built for publication: Determination of inner and outer bounds of reachable sets through subpavings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q475437)