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

DOI10.1007/978-1-4757-6484-0_23zbMath1391.65158OpenAlexW1571009978MaRDI QIDQ4577124

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

intervalsordinary differential equationsdifferential algebraic equationsdifferential algebraTaylor modelsantiderivation

Mathematics Subject Classification ID

Numerical methods for ordinary differential equations (65L99)

Related Items (2)

Adaptive parameter tuning for reachability analysis of nonlinear systems ⋮ Adaptive reachability algorithms for nonlinear systems using abstraction error analysis

Uses Software

• Cosy

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Efficient control of the dependency problem based on Taylor model methods
• Verification of invertibility of complicated functions over large domains
• The Consistent Initialization of Differential-Algebraic Systems
• Verified high-order inversion of functional dependencies and interval Newton methods

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