Interval bounds on the solutions of semi-explicit index-one DAEs. II: Computation
From MaRDI portal
Publication:368577
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
numerical examplesinterval boundnonlinear, semi-explicit, index-one differential-algebraic equations
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
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
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- 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
- A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
- 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