Validated solutions of initial value problems for ordinary differential equations

From MaRDI portal

Publication:1805854

Jump to:navigation, search

DOI10.1016/S0096-3003(98)10083-8zbMath0934.65073OpenAlexW2012580470MaRDI QIDQ1805854

Nedialko S. Nedialkov, George F. Corliss, Kenneth R. Jackson

Publication date: 3 April 2000

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0096-3003(98)10083-8

zbMATH Keywords

algorithms interval analysis initial value problems interval arithmetic Taylor series method order control interval-valued functions stepsize selection wrapping effect validated solutions

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) General methods in interval analysis (65G40) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20) Mesh generation, refinement, and adaptive methods for ordinary differential equations (65L50)

Related Items

Robustly complete synthesis of sampled-data control for continuous-time nonlinear systems with reach-and-stay objectives ⋮ An improved algorithm for the control synthesis of nonlinear sampled switched systems ⋮ Bounded invariant verification for time-delayed nonlinear networked dynamical systems ⋮ Prädiktor‐Korrektor‐Verfahren mit Lösungseinschließung ⋮ Towards rigorous robust optimal control via generalized high-order moment expansion ⋮ Stability problems for the mathematical pendulum ⋮ A database of rigorous and high-precision periodic orbits of the Lorenz model ⋮ Towards Using Exact Real Arithmetic for Initial Value Problems ⋮ A posteriori error bounds for two point boundary value problems: a Green's function approach ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ Convergent power series of \(\operatorname{sech}(x)\) and solutions to nonlinear differential equations ⋮ Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations ⋮ Lie symmetries applied to interval integration ⋮ Verified Solution Method for Population Epidemiology Models with Uncertainty ⋮ Verified integration of linear \(n\)th order ODEs using large steps ⋮ On interval predictor-corrector methods ⋮ Design of high-gain observers based on sampled measurements via the interval arithmetic ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ A constant enclosure method for validating existence and uniqueness of the solution of an initial value problem for a fractional differential equation ⋮ Interval methods of Adams-Bashforth type with variable step sizes ⋮ Interval versions of Milne's multistep methods ⋮ A new class of efficient one-step contractivity preserving high-order time discretization methods of order 5 to 14 ⋮ Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions ⋮ Bracketing the solutions of an ordinary differential equation with uncertain initial conditions ⋮ Uncertainty propagation or box propagation ⋮ Robustness analysis of continuous-depth models with Lagrangian techniques ⋮ On-the-fly, data-driven reachability analysis and control of unknown systems ⋮ ABS: A formally correct software tool for space-efficient symbolic synthesis ⋮ A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty ⋮ Probability bounds analysis for nonlinear population ecology models ⋮ Change-of-bases abstractions for non-linear hybrid systems ⋮ Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration ⋮ Linearization, model reduction and reachability in nonlinear ODEs ⋮ Towards an automatic uncertainty compiler ⋮ Reachability of Uncertain Nonlinear Systems Using a Nonlinear Hybridization ⋮ Discrete Dynamics of Two-Dimensional Nonlinear Hybrid Automata ⋮ Set-Membership Computation of Integrals with Uncertain Endpoints ⋮ Interval versions for special kinds of explicit linear multistep methods ⋮ Status of the differential transformation method ⋮ Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis ⋮ Contractivity-preserving explicit Hermite-Obrechkoff ODE solver of order 13 ⋮ Branch-and-lift algorithm for deterministic global optimization in nonlinear optimal control ⋮ Generalized McCormick relaxations ⋮ A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability ⋮ An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs ⋮ Fixed points of a destabilized Kuramoto-Sivashinsky equation ⋮ An interval version of the Kuntzmann-Butcher method for solving the initial value problem ⋮ Verified Solution of Nonlinear Dynamic Models in Epidemiology ⋮ Capture basin approximation using interval analysis ⋮ Guaranteed Characterization of Capture Basins of Nonlinear State-Space Systems ⋮ Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs ⋮ A one-step 7-stage Hermite-Birkhoff-Taylor ODE solver of order 11 ⋮ A new framework for sharp and efficient resolution of NCSP with manifolds of solutions ⋮ Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques ⋮ Breaking the limits: The Taylor series method ⋮ Set membership state and parameter estimation for systems described by nonlinear differential equations ⋮ Performance of the Taylor series method for ODEs/DAEs ⋮ OPTIMAL INVESTMENT STRATEGY VIA INTERVAL ARITHMETIC ⋮ Controller design for nonlinear multi-input – multi-output systems based on an algorithmic plant description ⋮ Computing reachable sets for uncertain nonlinear monotone systems ⋮ 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 ⋮ Reachability Analysis and Deterministic Global Optimization of DAE Models ⋮ Analytic reconstruction of some dynamical systems ⋮ A numerical algorithm for solving higher-order nonlinear BVPs with an application on fluid flow over a shrinking permeable infinite long cylinder ⋮ 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 ⋮ Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model ⋮ Computing Capture Tubes ⋮ A Hybrid Denotational Semantics for Hybrid Systems ⋮ 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 ⋮ Systematic computer assisted proofs of periodic orbits of Hamiltonian systems ⋮ One-step 5-stage Hermite-Birkhoff-Taylor ODE solver of order 12 ⋮ Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm ⋮ Tightened reachability constraints for the verification of linear hybrid systems ⋮ The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems ⋮ One-step 9-stage Hermite-Birkhoff-Taylor ODE solver of order 10 ⋮ Truncation bounds for differentially finite series ⋮ Nonlinear convex and concave relaxations for the solutions of parametric ODEs ⋮ Event-triggered interval-based state estimator for continuous-time linear systems ⋮ A Domain-Theoretic Account of Picard's Theorem ⋮ Optimization-based convex relaxations for nonconvex parametric systems of ordinary differential equations ⋮ Solving differential-algebraic equations by Taylor series. I: Computing Taylor coefficients ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis ⋮ Adaptive threshold generation in robust fault detection using interval models: time-domain and frequency-domain approaches ⋮ Local stability implies global stability for the 2-dimensional Ricker map ⋮ 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 ⋮ Construction of two-sided bounds for initial-boundary value problems ⋮ Some recent advances in validated methods for IVPs for ODEs

Uses Software

ATOMFT

Cites Work

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1805854&oldid=14164972"