Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs

DOI10.1007/s10898-014-0235-6zbMath1320.49013OpenAlexW2092445015MaRDI QIDQ2351531

Benoît Chachuat, Mario E. Villanueva, Boris Houska

Publication date: 24 June 2015

Published in: Journal of Global Optimization (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/30355

zbMATH Keywords

convergence analysisglobal optimizationinterval analysisordinary differential equationsdynamic optimizationdifferential inequalitiesreachable setsTaylor modelsellipsoidal calculus

Mathematics Subject Classification ID

Nonconvex programming, global optimization (90C26) Dynamic programming in optimal control and differential games (49L20) Numerical methods based on nonlinear programming (49M37) Attainable sets, reachability (93B03) Differential inequalities involving functions of a single real variable (34A40)

Related Items (17)

Towards rigorous robust optimal control via generalized high-order moment expansion ⋮ Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations ⋮ Design of high-gain observers based on sampled measurements via the interval arithmetic ⋮ Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities ⋮ Chebyshev model arithmetic for factorable functions ⋮ Global dynamic optimization using edge-concave underestimator ⋮ Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering ⋮ Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration ⋮ Global optimization in Hilbert space ⋮ Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs ⋮ Robust MPC via min-max differential inequalities ⋮ Global Optimization of Mixed-Integer ODE Constrained Network Problems Using the Example of Stationary Gas Transport ⋮ Backward-forward reachable set splitting for state-constrained differential games ⋮ On stochastic linear systems with zonotopic support sets ⋮ A computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains ⋮ Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities ⋮ Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations

Uses Software

• ValEncIA-IVP
• libMC
• ValEncIA

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Convergence analysis of Taylor models and McCormick-Taylor models
• Improved relaxations for the parametric solutions of ODEs using differential inequalities
• Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
• Convergence rate of McCormick relaxations
• Generalized McCormick relaxations
• Global solution of optimization problems with parameter-embedded linear dynamic systems.
• The cluster problem revisited
• Introduction to sensitivity and stability analysis in nonlinear programming
• Guaranteed state estimation by zonotopes
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Efficient control of the dependency problem based on Taylor model methods
• Global minimum potential energy conformations of small molecules
• The cluster problem in multivariate global optimization
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• Nonlinear bounded-error state estimation of continuous-time systems
• Validated solutions of initial value problems for ordinary differential equations
• A rigorous global optimization algorithm for problems with ordinary differential equations
• Taylor forms -- use and limits.
• On reachability and minimum cost optimal control
• Methods for bounding the range of a polynomial
• Bounds on the reachable sets of nonlinear control systems
• An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation
• Ellipsoidal methods for dynamics and control. I
• Validated solutions of initial value problems for parametric ODEs
• Nonlinear convex and concave relaxations for the solutions of parametric ODEs
• Solving Ordinary Differential Equations I
• A Comparison of the Optimal Costs of Two Canonical Inventory Systems
• McCormick-Based Relaxations of Algorithms
• Generalized Gradients and Applications
• Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
• Form factor for a family of quantum graphs: an expansion to third order
• Every closed convex set is the set of minimizers of some $C^{\infty }$-smooth convex function
• 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
• Comparison principle for equations of the Hamilton-Jacobi type in control theory
• On Taylor Model Based Integration of ODEs
• Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations
• The Identity of Weak and Strong Extensions of Differential Operators
• Set-theoretic methods in control
• Viability theory

This page was built for publication: Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs