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

zbMATH Keywords

intervalsdifferential algebradifferential algebraic equationsordinary differential equationsTaylor modelsantiderivation

Mathematics Subject Classification ID

Numerical methods for ordinary differential equations (65L99)

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

Cites work

• scientific article; zbMATH DE number 992811 (Why is no real title available?)
• scientific article; zbMATH DE number 5619703 (Why is no real title available?)
• scientific article; zbMATH DE number 1193339 (Why is no real title available?)
• Efficient control of the dependency problem based on Taylor model methods
• The Consistent Initialization of Differential-Algebraic Systems
• Verification of invertibility of complicated functions over large domains
• Verified high-order inversion of functional dependencies and interval Newton methods
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

Cited in

(4)

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

Describes a project that uses

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)