An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
DOI10.1023/A:1014798618404zbMATH Open1003.65077OpenAlexW181038668MaRDI QIDQ1597634FDOQ1597634
Authors: 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
Recommendations
algorithmdifferential inclusioninterval analysisstep-size controlinterval methodresult verificationexistence validationuniqueness validation
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)
Cited In (31)
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Interval observer design based on nonlinear hybridization and practical stability analysis
- Status of the differential transformation method
- Generalized Hukuhara differentiability of interval-valued functions and interval differential equations
- 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
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Domain theoretic second-order Euler's method for solving initial value problems
- Verified Solution of Nonlinear Dynamic Models in Epidemiology
- Towards an automatic uncertainty compiler
- Verified integration of linear \(n\)th order ODEs using large steps
- Properties of boundary-layer flow solutions for non-Newtonian fluids with non-linear terms of first and second-order derivatives
- Recursive solution of initial value problems with temporal discretization
- A topological approach to the algorithmic computation of the Conley index for Poincaré maps
- Set membership state and parameter estimation for systems described by nonlinear differential equations
- Probability bounds analysis for nonlinear population ecology models
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- 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
- Towards global bilevel dynamic optimization
- Properties of interval-valued function space under the gH-difference and their application to semi-linear interval differential equations
- Validated solutions of initial value problems for parametric ODEs
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Verified solution method for population epidemiology models with uncertainty
- Computing reachable sets for uncertain nonlinear monotone systems
- Optimal input design for parameter estimation in a bounded-error context for nonlinear dynamical systems
- Multi-criteria interval optimization of conditions for complex chemical reactions on the basis of a kinetic model
- Rigorous parameter reconstruction for differential equations with noisy data
- Some recent advances in validated methods for IVPs for ODEs
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- Boundary value problems for interval-valued differential equations on unbounded domains
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
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1597634)
