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
convergence analysisglobal optimizationinterval analysisordinary differential equationsdynamic optimizationdifferential inequalitiesreachable setsTaylor modelsellipsoidal calculus
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
Uses Software
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