A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP
By: Andreas Rauh, Michael Brill and Clemens Günther
Open Access
|Sep 2009References
- Auer, E., Rauh, A., Hofer, E. P. and Luther, W. (2008). Validated modeling of mechanical systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP,, Lecture Notes in Computer Science, Vol., Springer-Verlag, Berlin/Heidelberg, pp. 1-27.
- Bendsten, C. and Stauning, O. (2007)., Available at:
- Berz, M. and Makino, K. (1998). Verified integration of ODEs and flows using differential algebraic methods on highorder Taylor models,(4): 361-369.
- Cash, J. R. and Considine, S. (1992). An MEBDF code for stiff initial value problems, ACM Transactions on Mathematical Software (TOMS)(2): 142-155.
- Chua, L., Desoer, C. A. and Kuh, E. S. (1990)., McGraw-Hill, New York, NY.
- Czechowski, P. P., Giovannini, L. and Ordys, A. W. (2006). Testing algorithms for inverse simulation,, pp. 2607-2612.
- de Swart, J. J. B., Lioen, W. M. and van der Veen, W. A. (1998). Specification of PSIDE,, CWI, Amsterdam, Available at:
- Deville, Y., Janssen, M. and van Hentenryck, P. (2002). Consistency techniques for ordinary differential equations,(3-4): 289-315.
- Eijgenraam, P. (1981). The solution of initial value problems using interval arithmetic,, Stichting Mathematisch Centrum, Amsterdam.
- Galassi, M. (2006). GNU Scientific Library Reference Manual. Revised Second Edition (v1.8), Available at:
- Hairer, E., Lubich, C. and Roche, M. (1989)., Lecture Notes in Mathematics, Vol., Springer-Verlag, Berlin.
- Hairer, E. and Wanner, G. (1991)., Springer-Verlag, Berlin/Heidelberg.
- Hammersley, J. M. and Handscomb, D. C. (1964)., John Wiley & Sons, New York, NY.
- Hoefkens, J. (2001)., Ph.D. thesis, Michigan State University, East Lansing, MI, Available at:
- Iavernaro, F. and Mazzia, F. (1998). Solving ordinary differential equations by generalized Adams methods: Properties and implementation techniques,(2): 107-126.
- Jaulin, L., Kieffer, M., Didrit, O. and Walter, É. (2001)., Springer-Verlag, London.
- Keil, C. (2007)., Available at:
- Krawczyk, R. (1969). Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken,(3): 189-201, (in German).
- Kunkel, P., Mehrmann, V., Rath, W. and Weickert, J. (1997)., pp. 115-138, Available at:
- Lin, Y. and Stadtherr, M. A. (2007). Deterministic global optimization for dynamic systems using interval analysis,, IEEE Computer Society, Los Alamitos, CA.
- Moore, R. E. (1966)., Prentice-Hall, Englewood Cliffs, New Jersey, NY.
- Nedialkov, N. S. (2007). Interval tools for ODEs and DAEs,, IEEE Computer Society, Los Alamitos, CA.
- Nedialkov, N. S. and Pryce, J. D. (2008)., Available at:
- Petzold, L. (1982). A description of DASSL: A differential/algebraic systems solver,: 65-68.
- Rauh, A. (2008)., Fortschritt-Berichte VDI, Reihe 8, Nr. 1148, Ph.D. thesis, University of Ulm, Ulm, (in German).
- Rauh, A. and Auer, E. (2008). Verified simulation of ODEs and DAEs in ValEncIA-IVP,, (under review).
- Rauh, A., Auer, E., Freihold, M., Hofer, E. P. and Aschemann, H. (2008). Detection and reduction of overestimation in guaranteed simulations of hamiltonian systems,, (under review).
- Rauh, A., Auer, E. and Hofer, E. P. (2007a). ValEncIA-IVP: A comparison with other initial value problem solvers,, IEEE Computer Society, Los Alamitos, CA.
- Rauh, A., Auer, E., Minisini, J. and Hofer, E. P. (2007b). Extensions of ValEncIA-IVP for reduction of overestimation, for simulation of differential algebraic systems, and for dynamical optimization,, Vol.(1), pp. 1023001-1023002.
- Rauh, A. and Hofer, E. P. (2009). Interval methods for optimal control,A. Frediani and G. Buttazzo (Eds.),, Springer-Verlag, New York, NY, pp. 397-418.
- Rauh, A., Minisini, J. and Hofer, E. P. (2009). Towards the development of an interval arithmetic environment for validated computer-aided design and verification of systems in control engineering,, Lecture Notes in Computer Science, Vol., Springer-Verlag, Berlin/Heidelberg, pp. 175-188.
- Röbenack, K. (2002). On the efficient computation of higher order maps() using Taylor arithmetic and the Campbell-Baker-Hausdorff formula,A. Zinober and D. Owens (Eds.),, Lecture Notes in Control and Information Science, Vol., Springer, London, pp. 327-336.
Language: English
Page range: 381 - 397
Published on: Sep 24, 2009
Published by: University of Zielona Góra
In partnership with: Paradigm Publishing Services
Publication frequency: 4 issues per year
Keywords:
Related subjects:
© 2009 Andreas Rauh, Michael Brill, Clemens Günther, published by University of Zielona Góra
This work is licensed under the Creative Commons License.