A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
From MaRDI portal
Publication:2930553
DOI10.2478/v10006-009-0032-4zbMath1300.93075OpenAlexW1971651546MaRDI QIDQ2930553
Clemens Günther, Andreas Rauh, Michael H. Brill
Publication date: 19 November 2014
Published in: International Journal of Applied Mathematics and Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2478/v10006-009-0032-4
ordinary differential equationsdifferential-algebraic equationsinverse control problemsverified simulation\textsc{ValEncIA-IVP}
General methods in interval analysis (65G40) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items
Recent advances in a rigorous computation of Poincaré maps, Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics. II, Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics, Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems, 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, Error bounds for initial value problems by optimization, VERICOMP: A system to compare and assess verified IVP solvers, Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering, An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs, A verified method for solving piecewise smooth initial value problems, Reachability Analysis and Deterministic Global Optimization of DAE Models, CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems, On reachable set estimation of singular systems, An unconditionally stable nonstandard finite difference method applied to a mathematical model of HIV infection
Uses Software
Cites Work
- Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
- Solving ordinary differential equations by generalized Adams methods: Properties and implementation techniques
- The numerical solution of differential-algebraic systems by Runge-Kutta methods
- Consistency techniques in ordinary differential equations
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- A New Software Package for Linear Differential-Algebraic Equations
- Interval Methods for Optimal Control
- An MEBDF code for stiff initial value problems
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
