Validated solutions of initial value problems for parametric ODEs
From MaRDI portal
Publication:2643834
DOI10.1016/j.apnum.2006.10.006zbMath1121.65084OpenAlexW2025604257MaRDI QIDQ2643834
Mark A. Stadtherr, Youdong Lin
Publication date: 27 August 2007
Published in: Applied Numerical Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apnum.2006.10.006
numerical examplesinterval analysisinitial value problemsdynamic systemsTaylor modelsvalidated computinginterval-valued parameters
Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05)
Related Items (46)
Efficient polyhedral enclosures for the reachable set of nonlinear control systems ⋮ An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Многокритериальная интервальная оптимизация химических реакций на основе кинетической модели ⋮ Towards global bilevel dynamic optimization ⋮ Dynamics of spatial rigid-flexible multibody systems with uncertain interval parameters ⋮ Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations ⋮ Convergence analysis of Taylor models and McCormick-Taylor models ⋮ Tight reachability bounds for constrained nonlinear systems using mean value differential inequalities ⋮ Chebyshev model arithmetic for factorable functions ⋮ A constant enclosure method for validating existence and uniqueness of the solution of an initial value problem for a fractional differential equation ⋮ Error bounds for initial value problems by optimization ⋮ A higher order method for input-affine uncertain systems ⋮ Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions ⋮ Uncertainty propagation or box propagation ⋮ Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering ⋮ A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty ⋮ Probability bounds analysis for nonlinear population ecology models ⋮ Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration ⋮ Towards an automatic uncertainty compiler ⋮ Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations ⋮ Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis ⋮ Global optimization in Hilbert space ⋮ Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control ⋮ Generalized McCormick relaxations ⋮ Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs ⋮ Verified Solution of Nonlinear Dynamic Models in Epidemiology ⋮ Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs ⋮ Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations ⋮ Exact Sampling of a Linear Interval Predictor ⋮ Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations ⋮ Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation ⋮ Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models ⋮ Reachability Analysis and Deterministic Global Optimization of DAE Models ⋮ Rigorous parameter reconstruction for differential equations with noisy data ⋮ Global Optimization of Mixed-Integer ODE Constrained Network Problems Using the Example of Stationary Gas Transport ⋮ Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations ⋮ Stepsize selection in the rigorous defect control of Taylor series methods ⋮ Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information ⋮ Sparse regression Chebyshev polynomial interval method for nonlinear dynamic systems under uncertainty ⋮ Parameter range reduction from partial data in systems of differential algebraic equations ⋮ Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ Nonlinear convex and concave relaxations for the solutions of parametric ODEs ⋮ Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations ⋮ Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue ⋮ Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Global solution of optimization problems with parameter-embedded linear dynamic systems.
- Derived eigenvalues of symmetric matrices, with applications to distance geometry
- 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
- Rigorous global search: continuous problems
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- Some recent advances in validated methods for IVPs for ODEs
- Advances in interval methods for deterministic global optimization in chemical engineering
- Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY
- Validated solutions of initial value problems for ordinary differential equations
- Taylor forms -- use and limits.
- Deterministic Nonperiodic Flow
- A Constraint Satisfaction Approach for Enclosing Solutions to Parametric Ordinary Differential Equations
- On Taylor Model Based Integration of ODEs
- Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations
This page was built for publication: Validated solutions of initial value problems for parametric ODEs
