Computing validated solutions of implicit differential equations

DOI10.1023/A:1022858921155zbMath1028.34004OpenAlexW127314038MaRDI QIDQ1872003

Jens Hoefkens, Kyoko Makino, Martin Berz

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 equationsTaylor modelinterval methodsself-validated methods

Mathematics Subject Classification ID

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

Related Items

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, A new class of efficient one-step contractivity preserving high-order time discretization methods of order 5 to 14, A new result on reachable set estimation for time‐varying delay singular systems, Improved results on reachable set estimation for singularly perturbed systems with time-varying delay, Reachable set estimation for singular systems via state decomposition method, A Hamilton–Jacobi theory for implicit differential systems, Status of the differential transformation method, Contractivity-preserving explicit Hermite-Obrechkoff ODE solver of order 13, A one-step 7-stage Hermite-Birkhoff-Taylor ODE solver of order 11, Performance of the Taylor series method for ODEs/DAEs, Reachability Analysis and Deterministic Global Optimization of DAE Models, One-step 5-stage Hermite-Birkhoff-Taylor ODE solver of order 12, One-step 9-stage Hermite-Birkhoff-Taylor ODE solver of order 10, On reachable set estimation of singular systems

Uses Software

• INTOPT_90