Validated Explicit and Implicit Runge-Kutta Methods - ENSTA Paris - École nationale supérieure de techniques avancées Paris
Pré-Publication, Document De Travail Année : 2015

Validated Explicit and Implicit Runge-Kutta Methods

Résumé

The guaranteed solution of initial value problem of ordinary differential equations is well studied from interval analysis community. In the most of the cases Taylor models are used in this context. In contrast, in numerical analysis community other numerical integration methods, e.g., Runge-Kutta methods, are used. Indeed, these methods have very good stability properties and they can be applied on a wide variety of problems. We propose a new method to validate the solution of initial value problem of ordinary differential equations based on Runge-Kutta methods. The strength of our contribution is to adapt any explicit and implicit Runge-Kutta methods to make them guaranteed. We experimentally verify our approach against Vericomp benchmark.
Fichier principal
Vignette du fichier
chapoutot_et_al_grk.pdf (188.05 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01111240 , version 1 (29-01-2015)
hal-01111240 , version 2 (11-02-2015)

Identifiants

  • HAL Id : hal-01111240 , version 1

Citer

Alexandre Chapoutot, Julien Alexandre Dit Sandretto, Olivier Mullier. Validated Explicit and Implicit Runge-Kutta Methods. 2015. ⟨hal-01111240v1⟩
149 Consultations
185 Téléchargements

Partager

More