Interval bounds on the solutions of semi-explicit index-one DAEs. I: Analysis

DOI10.1007/s00211-013-0531-yzbMath1282.65095MaRDI QIDQ368576

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-0531-y

zbMATH Keywords

interval bound; interval inclusion; nonlinear, semi-explicit, index-one differential-algebraic equations

Mathematics Subject Classification ID

34A09: Implicit ordinary differential equations, differential-algebraic equations

65L70: Error bounds for numerical methods for ordinary differential equations

65L80: Numerical methods for differential-algebraic equations

Related Items

Sensitivity Analysis of Uncertain Dynamic Systems Using Set-Valued Integration, Convergence-order analysis for differential-inequalities-based bounds and relaxations of the solutions of ODEs, Convex and concave relaxations for the parametric solutions of semi-explicit index-one differential-algebraic equations, Global dynamic optimization with Hammerstein-Wiener models embedded, Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities, On reachable set estimation of singular systems, Reachability Analysis and Deterministic Global Optimization of DAE Models

Uses Software

• ValEncIA-IVP

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Generalized McCormick relaxations
• Set membership state and parameter estimation for systems described by nonlinear differential equations
• Index of differential-algebraic equations governing the dynamics of constrained mechanical systems
• Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
• Controllers for reachability specifications for hybrid systems
• Nonlinear bounded-error state estimation of continuous-time systems
• Interval observers for biochemical processes with uncertain kinetics and inputs
• A rigorous global optimization algorithm for problems with ordinary differential equations
• Computing validated solutions of implicit differential equations
• Bounds on the reachable sets of nonlinear control systems
• Global optimization with nonlinear ordinary differential equations
• A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
• A Comparison of the Optimal Costs of Two Canonical Inventory Systems
• On modelling and differential/algebraic systems
• Interval Methods for Systems of Equations
• Computability of global solutions to factorable nonconvex programs: Part I — Convex underestimating problems
• A Hybrid Bounding Method for Computing an Over-Approximation for the Reachable Set of Uncertain Nonlinear Systems
• On Absolutely Continuous Functions
• On Taylor Model Based Integration of ODEs
• Bounding the Solutions of Parameter Dependent Nonlinear Ordinary Differential Equations
• Hybrid Systems: Computation and Control
• Ordinary Differential Equations