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

DOI10.1007/s00211-013-0531-yzbMath1282.65095OpenAlexW2060633627MaRDI 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 boundinterval inclusionnonlinear, 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 (7)

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

Uses Software

• ValEncIA-IVP

Cites Work

• Unnamed Item
• 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 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

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