Runge-Kutta Theory and Constraint Programming - Archive ouverte HAL
Communication Dans Un Congrès Année : 2016

Runge-Kutta Theory and Constraint Programming

Résumé

There exist many Runge-Kutta methods (explicit or implicit), more or less adapted to a given class of problems. Some of them have interesting properties such as A-stability for stiff problems or symplecticity for problems with energy conservation. Defining a new method, adapted to a given class of problems, has become a challenge. Indeed, the number of stages and the order don’t stop to increase. This race to the “best” method is interesting but forgot an important problem. More precisely, the coefficients of a Runge-Kutta method are more and more difficult to compute and the result is often given in floating-point numbers, which may lead to violate their definition rules. We propose a method using interval analysis tools to compute Runge-Kutta coefficients by using a solver based on guaranteed constraint programming. Moreover, with a global optimization process and a well chosen cost function, we propose a way to define some novel optimal Runge-Kutta methods.
Fichier principal
Vignette du fichier
abstract-rk.pdf (130.39 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-01376456 , version 1 (04-10-2016)

Identifiants

  • HAL Id : hal-01376456 , version 1

Citer

Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Runge-Kutta Theory and Constraint Programming. International Symposium on Scientific Computing, Computer Arithmetics and Verified Numerics, Sep 2016, uppsala, Sweden. ⟨hal-01376456⟩
242 Consultations
203 Téléchargements

Partager

More