Abstract
Obtaining verified numerical solutions to initial value problems (IVPs) for ordinary differential equations (ODEs) is important in many application areas (e.g. biomechanics or automatic control). During the last decades, a number of solvers have been developed for this purpose. However, they are rarely used by industry engineers. One reason for this is the lack of information about what tool with what settings to choose. Therefore, it is necessary to develop a system for testing the available tools and recommending an ODE solver best suited for the task at hand in the area of verified software. In this paper, we present the first version of our web-based platform VERICOMP for assessing verified IVP solvers. We discuss a possible classification for user problems, suitable comparison criteria and measures for the quantification of overestimation. After that, we introduce the platform itself, which allows us to compare different solvers on a problem class or to evaluate the performance of a single solver on different problem classes. In addition, we describe how to extend VERICOMP with a recommender system that automatically suggests the most suitable solver based on user preferences and solver statistics.
Article PDF
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Avoid common mistakes on your manuscript.
References
Auer E, Rauh A (2010) Toward definition of systematic criteria for the comparison of verified solvers for initial value problems. In: Proceedings of the 8th international conference on parallel processing and applied mathematics PPAM 2009, LNSC 6067, vol 2. Wroclaw, pp 408–417
Eble I RiOT. http://iamlasun8.mathematik.uni-karlsruhe.de/~ae08/
Enright W, Pryce J (1987) Two FORTRAN Packages For Assessing Initial Value Methods. ACM Trans Math Softw (TOMS) 13(1): 1–27
Enright WH, Hull TE, Lindberg B (1975) Comparing numerical methods for stiff systems of ODEs. BIT Numer Math 15: 10–48
Hall G, Enright W, Hull T, Sedgwick A (1973) DETEST: a program for comparing numerical methods for ordinary differential equations. Technical Report 60, Department of Computer Science and Technology, University of Toronto, Toronto
Hull TE, Enright WH, Fellen BM, Sedgwick AE (1972) Comparing numerical methods for ordinary differential equations. SIAM J Numer Anal 9(4): 603–637
Klahold A (2009) Empfehlungssysteme: Grundlagen, Konzepte und Lösungen. Vieweg+Teubner (in German)
Lin Y, Stadtherr MA (2006) Validated solution of initial value problems for ODEs with interval parameters. In: NSF workshop proceedings on reliable engineering computing, Savannah
Makino K (1998) Rigorous analysis of nonlinear motion in particle accelerators. Ph.D. thesis, Michigan State University
Manouselis N, Costopoulou C (2008) Personalization techniques and recommender systems. In: Experimental analysis of multiattribute utility collaborative filtering on a syntetic data set. World Scientific Publishing Company, pp 111–133
Mazzia F, Iavernaro F (2003) Test set for initial value problem solvers. Technical Report 40, Department of Mathematics, University of Bari. http://pitagora.dm.uniba.it/~testset/
Nedialkov NS (2011) Implementing a rigorous ODE solver through literate programming. In: Rauh A, Auer E (eds) Modeling, design, and simulation of systems with uncertainties. Mathematical Engineering. Springer, Berlin, pp 3–19
Neher M, Jackson K, Nedialkov N (2007) On Taylor model based integration of ODEs. SIAM J Numer Anal 45(1): 236–262
Nowak U, Gebauer S, Pöhle U, Weimann L (2010) ODELab—towards an interactive WWW laboratory for numerical ODE software. http://num-lab.zib.de/public/odelab/doc/a2.ps
Rauh, A, Auer, E (eds) (2011) Modeling, design, and simulation of systems with uncertainties. Mathematical Engineering. Springer, Berlin
Rauh A, Auer E, Aschemann H (2010) Development of a quality measure for the characterization of guaranteed solution sets to ODEs in Engineering. In: Proceedings of the 8th IFAC symposium on nonlinear control systems, Bologna
Rauh, A, Auer, E, Hofer, EP, Luther, W (eds) (2009) Special issue of the International Journal of Applied Mathematics and Computer Science AMCS, verified methods: applications in medicine and engineering, vol 19(3). University of Zielona Gora Press, Zielona Gora
Rauh A, Brill M, Günter C (2009) A novel interval arithmetic approach for solving differential-algebraic equations with ValEncIA-IVP. Spec Issue Int J Appl Math Comput Sci AMCS 19(3): 485–499
Rauh A, Hofer E, Auer E (2006) ValEncIA-IVP: a comparison with other initial value problem solvers. In: Proceedings of the 12th GAMM-IMACS international symposium on scientific computing, computer arithmetic and validated numerics. IEEE Computer Society
Snopok P, Berz M, Johnstone C (2009) Calculation of nonlinear tune shift using beam position measurement results. Int J Modern Phys A 24(5): 974–986
Author information
Authors and Affiliations
Corresponding author
Additional information
The authors have presented the results of this paper during the SCAN 2010 conference in Lyon, September 2010.
Rights and permissions
About this article
Cite this article
Auer, E., Rauh, A. VERICOMP: a system to compare and assess verified IVP solvers. Computing 94, 163–172 (2012). https://doi.org/10.1007/s00607-011-0178-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00607-011-0178-4