An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
From MaRDI portal
Publication:1597634
DOI10.1023/A:1014798618404zbMath1003.65077MaRDI 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
algorithm; differential inclusion; interval analysis; result verification; interval method; step-size control; existence validation; uniqueness validation
34A34: Nonlinear ordinary differential equations and systems
34A60: Ordinary differential inclusions
65G40: General methods in interval analysis
65L05: Numerical methods for initial value problems involving ordinary differential equations
65G20: Algorithms with automatic result verification
Related Items
Многокритериальная интервальная оптимизация химических реакций на основе кинетической модели, A study of rigorous ODE integrators for multi-scale set-oriented computations, Status of the differential transformation method, 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, 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, A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line, Towards global bilevel dynamic optimization, Verified integration of linear \(n\)th order ODEs using large steps, Probability bounds analysis for nonlinear population ecology models, Computing reachable sets for uncertain nonlinear monotone systems, Rigorous parameter reconstruction for differential equations with noisy data, Generalized Hukuhara differentiability of interval-valued functions and interval differential equations, Some recent advances in validated methods for IVPs for ODEs, Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations, Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives, Domain theoretic second-order Euler's method for solving initial value problems, Properties of boundary-layer flow solutions for non-Newtonian fluids with non-linear terms of first and second-order derivatives, Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs, Validated solutions of initial value problems for parametric ODEs, Verified Solution Method for Population Epidemiology Models with Uncertainty, Verified Solution of Nonlinear Dynamic Models in Epidemiology, Interval observer design based on nonlinear hybridization and practical stability analysis, A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps