Verified Computations Using Taylor Models and Their Applications

DOI10.1007/978-3-319-63501-9_1OpenAlexW2735412729MaRDI QIDQ5086227

Martin Berz, Kyoko Makino

Publication date: 1 July 2022

Published in: Numerical Software Verification (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63501-9_1

zbMATH Keywords

interval arithmeticTaylor modelreliable computationverified computationrange boundingverified global optimizationfunction enclosureverified ODE integration

Mathematics Subject Classification ID

Interval and finite arithmetic (65G30)

Related Items (8)

Robust Fault Detection with a Distributed and Decentralized State-Set Observer ⋮ Analysis and optimization of an adaptive interpolation algorithm for the numerical solution of a system of ordinary differential equations with interval parameters ⋮ Modeling of Dynamic Systems with Interval Parameters in the Presence of Singularities ⋮ Rigorous numerics for ODEs using Chebyshev series and domain decomposition ⋮ Adaptive interpolation algorithm based on a kd-tree for numerical integration of systems of ordinary differential equations with interval initial conditions ⋮ Adaptive interpolation algorithm on sparse meshes for numerical integration of systems of ordinary differential equations with interval uncertainties ⋮ Interval approach to solving parametric identification problems for dynamical systems ⋮ Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue

This page was built for publication: Verified Computations Using Taylor Models and Their Applications