Verified High-Order Integration of DAEs and Higher-Order ODEs

DOI10.1007/978-1-4757-6484-0_23zbMATH Open1391.65158OpenAlexW1571009978MaRDI QIDQ4577124FDOQ4577124

Authors: Jens Hoefkens, Martin Berz, Kyoko Makino 

Publication date: 16 July 2018

Published in: Scientific Computing, Validated Numerics, Interval Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-1-4757-6484-0_23

Recommendations

• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Verified integration of linear \(n\)th order ODEs using large steps
• Numerical integration of high-order variational equations of ODEs
• Verified integration of differential equations with discrete delay
• scientific article; zbMATH DE number 5588978
• High‐order hierarchical A‐ and L‐stable integration methods
• High order numerical integrators for differential equations using composition and processing of low order methods
• High-order integration of smooth dynamical systems: Theory and numerical experiments
• High accuracy analysis for integrodifferential equations
• High-order finite difference schemes for differential equations containing higher derivatives

zbMATH Keywords

intervalsdifferential algebradifferential algebraic equationsordinary differential equationsTaylor modelsantiderivation

Mathematics Subject Classification ID

Numerical methods for ordinary differential equations (65L99)

Cites Work

• Title not available (Why is that?)
• Efficient control of the dependency problem based on Taylor model methods
• Title not available (Why is that?)
• The Consistent Initialization of Differential-Algebraic Systems
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Verified high-order inversion of functional dependencies and interval Newton methods
• Verification of invertibility of complicated functions over large domains
• Title not available (Why is that?)

Cited In (4)

• Verified integration of linear \(n\)th order ODEs using large steps
• Verified high-order inversion of functional dependencies and interval Newton methods
• Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
• Adaptive parameter tuning for reachability analysis of nonlinear systems

Uses Software

• Cosy

This page was built for publication: Verified High-Order Integration of DAEs and Higher-Order ODEs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4577124)