Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation

DOI10.1007/s00211-013-0532-xzbMath1282.65096OpenAlexW1968828173MaRDI QIDQ368577

Joseph K. Scott, Paul I. Barton

Publication date: 23 September 2013

Published in: Numerische Mathematik (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00211-013-0532-x

zbMATH Keywords

numerical examplesinterval boundnonlinear, semi-explicit, index-one differential-algebraic equations

Mathematics Subject Classification ID

Implicit ordinary differential equations, differential-algebraic equations (34A09) Error bounds for numerical methods for ordinary differential equations (65L70) Numerical methods for differential-algebraic equations (65L80)

Related Items (6)

Global dynamic optimization using edge-concave underestimator ⋮ Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs ⋮ Reachability Analysis and Deterministic Global Optimization of DAE Models ⋮ Dependence of solutions of nonsmooth differential-algebraic equations on parameters ⋮ Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities ⋮ On reachable set estimation of singular systems

Uses Software

• SUNDIALS
• ValEncIA-IVP
• CVODE

Cites Work

• SUNDIALS
• Generalized McCormick relaxations
• Computing validated solutions of implicit differential equations
• Bounds on the reachable sets of nonlinear control systems
• Evaluating an Element of the Clarke Generalized Jacobian of a Piecewise Differentiable Function
• Interval Methods for Systems of Equations
• Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
• Finite-Dimensional Variational Inequalities and Complementarity Problems
• On Taylor Model Based Integration of ODEs
• Ordinary Differential Equations
• Viability theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation