An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE

DOI10.1023/A:1014798618404zbMath1003.65077OpenAlexW181038668MaRDI QIDQ1597634

Nedialko S. Nedialkov, Kenneth R. Jackson, John D. Pryce

Publication date: 30 May 2002

Published in: Reliable Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1014798618404

zbMATH Keywords

algorithm differential inclusion interval analysis result verification interval method step-size control existence validation uniqueness validation

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) Ordinary differential inclusions (34A60) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)

Related Items (30)

Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ Многокритериальная интервальная оптимизация химических реакций на основе кинетической модели ⋮ A study of rigorous ODE integrators for multi-scale set-oriented computations ⋮ Domain theoretic second-order Euler's method for solving initial value problems ⋮ Towards global bilevel dynamic optimization ⋮ Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps ⋮ Verified integration of linear \(n\)th order ODEs using large steps ⋮ Boundary value problems for interval-valued differential equations on unbounded domains ⋮ Recursive solution of initial value problems with temporal discretization ⋮ Probability bounds analysis for nonlinear population ecology models ⋮ Towards an automatic uncertainty compiler ⋮ Status of the differential transformation method ⋮ Properties of boundary-layer flow solutions for non-Newtonian fluids with non-linear terms of first and second-order derivatives ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ Determination of inner and outer bounds of reachable sets through subpavings ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Verified Solution of Nonlinear Dynamic Models in Epidemiology ⋮ Interval observer design based on nonlinear hybridization and practical stability analysis ⋮ Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Set membership state and parameter estimation for systems described by nonlinear differential equations ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ Rigorous parameter reconstruction for differential equations with noisy data ⋮ Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations ⋮ Generalized Hukuhara differentiability of interval-valued functions and interval differential equations ⋮ A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line ⋮ Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs ⋮ Some recent advances in validated methods for IVPs for ODEs

This page was built for publication: An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE