On Taylor Model Based Integration of ODEs

DOI10.1137/050638448zbMath1141.65056OpenAlexW1998661762MaRDI QIDQ5449035

Markus Neher, Nedialko S. Nedialkov, Kenneth R. Jackson

Publication date: 10 March 2008

Published in: SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL: https://publikationen.bibliothek.kit.edu/1000004610/1003614

zbMATH Keywords

numerical examples initial value problems interval arithmetic symbolic computations interval methods guaranteed error bounds Taylor model methods verified integration wrapping effect

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05) Error bounds for numerical methods for ordinary differential equations (65L70)

Related Items

Verisig 2.0: verification of neural network controllers using Taylor model preconditioning ⋮ Temporal Logic Verification for Delay Differential Equations ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations ⋮ Convergence analysis of Taylor models and McCormick-Taylor models ⋮ Improved relaxations for the parametric solutions of ODEs using differential inequalities ⋮ Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis ⋮ Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation ⋮ Design of high-gain observers based on sampled measurements via the interval arithmetic ⋮ Chebyshev model arithmetic for factorable functions ⋮ Moment-based invariants for probabilistic loops with non-polynomial assignments ⋮ VERICOMP: A system to compare and assess verified IVP solvers ⋮ Probability bounds analysis for nonlinear population ecology models ⋮ New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations ⋮ Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations ⋮ Status of the differential transformation method ⋮ Polynomial function intervals for floating-point software verification ⋮ Global optimization in Hilbert space ⋮ Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control ⋮ Determination of inner and outer bounds of reachable sets through subpavings ⋮ 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 ⋮ Effective bounds for P-recursive sequences ⋮ Reachability Analysis and Deterministic Global Optimization of DAE Models ⋮ Global Optimization of Mixed-Integer ODE Constrained Network Problems Using the Example of Stationary Gas Transport ⋮ Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems ⋮ Adaptive interpolation algorithm based on a kd-tree for numerical integration of systems of ordinary differential equations with interval initial conditions ⋮ Stepsize selection in the rigorous defect control of Taylor series methods ⋮ A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB ⋮ Optimal residuals and the Dahlquist test problem ⋮ Truncation bounds for differentially finite series ⋮ Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants ⋮ 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

This page was built for publication: On Taylor Model Based Integration of ODEs