ValEncIA-IVP: A comparison with other initial value problem solvers

12th GAMM - IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, SCAN 2006, Conference Post-Proceedings

Volumn , Issue , 2006, Pages 36-44

  Rauh, Andreas ^a   Hofer, Eberhard P ^a   Auer, Ekaterina ^b  

^a UNIVERSITY OF ULM   (Germany)

^b UNIVERSITY OF DUISBURG ESSEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EQUATIONS OF STATE; INITIAL VALUE PROBLEMS; UNCERTAINTY ANALYSIS;

BIOPROCESS ENGINEERING; GUARANTEED BOUNDS; SIMULATION TECHNIQUE; SPECIFIC PROPERTIES; SPLITTING AND MERGING; UNCERTAIN INITIAL CONDITION; UNCERTAIN PARAMETERS; VALIDATED ENCLOSURE;

ORDINARY DIFFERENTIAL EQUATIONS;

EID: 47849100672     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SCAN.2006.47     Document Type: Conference Paper

References (13)

1. E. Auer, A. Rauh, E. P. Hofer, and W. Luther. Validated Modeling of Mechanical Systems with SMARTMOBILE: Improvement of Performance by VALENCIA-IVP. In Proc. of Dagstuhl Seminar 06021: Reliable Implementation of Real Number Algorithms: Theory and Practice, Lecture Notes in Computer Science, 2006. In print.
2. C. Bendsten and O. Stauning. FADBAD, a Flexible C++ Package for Automatic Differentiation Using the Forward and Backward Methods. Technical Report 1996-x5-94, Technical University of Denmark, Lyngby, 1996.
3. C. Bendsten and O. Stauning. TADIFF, a Flexible C++ Package for Automatic Differentiation Using Taylor Series. Technical Report 1997-x5-94, Technical University of Denmark, Lyngby, 1997.
4. M. Berz and K. Makino. Performance of Taylor Model Methods for Validated Integration of ODEs. Lecture Notes in Computer Science, 3732:65-74, 2005.
5. O. Knüppel. PROFIL/BIAS - A Fast Interval Library. Computing, 53:277-287, 1994.
6. I. Krasnochtanova. Optimized Interval Algorithms for Simulation and Controller Design for Nonlinear Uncertain Systems Applied to Processes in Biological Wastewater Treatment, 2005. Master Thesis, University of Ulm.
7. W. Kühn. Rigorous Error Bounds for the Initial Value Problem Based on Defect Estimation. Technical report, 1999. http://www.decatur.de/wolfgang/ papers/index.html.
8. R. Lohner. Einschließung der Lösung gewöhnlicher Anfangs- und Randwertaufgaben und Anwendungen. PhD thesis, Universität Karlsruhe, 1988.
9. K. Makino and M. Berz. Suppression of the Wrapping Effect by Taylor Model-Based Verified Integrators: The Single Step. International Journal of Pure and Applied Mathematics, 2005. In print. Online.
10. N. S. Nedialkov. The Design and Implementation of an Object-Oriented Validated ODE Solver. Kluwer Academic Publishers, 2002.
11. N. S. Nedialkov, K. R. Jackson, and J. D. Pryce. An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE. Reliable Computing, 7:449-465, 2001.
12. A. Rauh, M. Kletting, H. Aschemann, and E. P. Hofer. Reduction of Overestimation in Interval Arithmetic Simulation of Biological Wastewater Treatment Processes. Journal of Computational and Applied Mathematics, 199(2):207-212, 2007.
13. A. Rauh, M. Kletting, and E. P. Hofer. Model-Based State and Parameter Estimation for Micro-Mechatronic Systems with Interval Bounded Uncertainties. In A. Weckenmann, editor, CD-Proc. of 10th CIRP Intl. Conference on Computer Aided Tolerancing, Erlangen, Germany, 2007, Reports from the Chair Quality Management and Manufacturing Metrology, QFM Report 16. Shaker Verlag, Aachen, 2007.