Computing validated solutions of implicit differential equations

DOI10.1023/A:1022858921155zbMATH Open1028.34004OpenAlexW127314038MaRDI QIDQ1872003FDOQ1872003

Authors Jens Hoefkens, Martin Berz, Kyoko Makino 

Publication date 4 May 2003

Published in Advances in Computational Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/a:1022858921155

zbMATH Keywords

differential-algebraic equationsinterval methodsTaylor modelself-validated methods

Mathematics Subject Classification ID

Implicit ordinary differential equations, differential-algebraic equations (34A09)

Recommendations

• An application of Taylor models to the Nakao method on ODEs
• scientific article; zbMATH DE number 4211403
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• scientific article; zbMATH DE number 782042
• scientific article; zbMATH DE number 2069519

Cited in

(18)

• Improved results on reachable set estimation for singularly perturbed systems with time-varying delay
• scientific article; zbMATH DE number 5679814 (Why is no real title available?)
• A Hamilton-Jacobi theory for implicit differential systems
• Reachable set estimation for singular systems via state decomposition method
• Reachability analysis and deterministic global optimization of DAE models
• Performance of the Taylor series method for ODEs/DAEs
• A new result on reachable set estimation for time‐varying delay singular systems
• Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis
• Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
• Status of the differential transformation method
• One-step 5-stage Hermite-Birkhoff-Taylor ODE solver of order 12
• A new class of efficient one-step contractivity preserving high-order time discretization methods of order 5 to 14
• One-step 9-stage Hermite-Birkhoff-Taylor ODE solver of order 10
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• Validated solutions of initial value problems for parametric ODEs
• A one-step 7-stage Hermite-Birkhoff-Taylor ODE solver of order 11
• Contractivity-preserving explicit Hermite-Obrechkoff ODE solver of order 13
• On reachable set estimation of singular systems

Describes a project that uses

Uses Software

• INTOPT_90

This page was built for publication: Computing validated solutions of implicit differential equations

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