VALENCIA-IVP: A Comparison with Other Initial Value Problem Solvers

Authors:
Andreas Rauh;Eberhard P. Hofer;Ekaterina Auer
Affiliations:
-;-;-
Venue:
SCAN '06 Proceedings of the 12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics
Year:
2006

Citing 0
Cited 8

Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP

Reliable Implementation of Real Number Algorithms: Theory and Practice
Time Complexity and Convergence Analysis of Domain Theoretic Picard Method

WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Towards the Development of an Interval Arithmetic Environment for Validated Computer-Aided Design and Verification of Systems in Control Engineering

Numerical Validation in Current Hardware Architectures
A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
Verification Techniques for Sensitivity Analysis and Design of Controllers for Nonlinear Dynamic Systems with Uncertainties

International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
Uses of New Sensitivity and Dae Solving Methods in SmartMobile for Verified Analysis of Mechanical Systems

International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
Derivation of Physically Motivated Constraints for Efficient Interval Simulations Applied to the Analysis of Uncertain Dynamical Systems

International Journal of Applied Mathematics and Computer Science - Verified Methods: Applications in Medicine and Engineering
Interval arithmetic techniques for the design of controllers for nonlinear dynamical systems with applications in mechatronics

Journal of Computer and Systems Sciences International

Quantified Score

Hi-index	0.00

Visualization

Abstract

Validated integration of ordinary differential equations with uncertain initial conditions and uncertain parameters is important for many practical applications. If guaran- teed bounds for the uncertainties are known, interval meth- ods can be applied to obtain validated enclosures of all states. However, validated computations are often affected by overestimation, which, in naive implementations, might even lead to meaningless results. Parallelepiped and QR preconditioning of the state equations, Taylor model arith- metic, as well as simulation techniques employing split- ting and merging routines are a few existing approaches for reduction of overestimation. In this paper, the recently developed validated solver VALENCIA-IVP and several methods implemented there for reduction of overestimation are described. Furthermore, a detailed comparison of this solver with COSY VI and VNODE, two of the most well- known validated ODE solvers, is presented. Simulation re- sults for simplified system models in mechanical and bio- process engineering show specific properties, advantages, and limitations of each tool.