Certifying trajectories of dynamical systems - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2015

Certifying trajectories of dynamical systems

Résumé

This paper concerns the reliable integration of dynamical systems with a focus on the computation of one specific trajectory for a given initial condition at high precision. We describe several algorithmic tricks which allow for faster parallel computations and better error estimates. We also introduce so called "Lagrange models". These serve a similar purpose as the more classical Taylor models, but we will show that they allow for larger step sizes, especially when the truncation orders get large.
Fichier principal
Vignette du fichier
lagrange.pdf (237.93 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01188378 , version 1 (29-08-2015)

Identifiants

  • HAL Id : hal-01188378 , version 1

Citer

Joris van der Hoeven. Certifying trajectories of dynamical systems. 2015. ⟨hal-01188378⟩
165 Consultations
208 Téléchargements

Partager

Gmail Facebook X LinkedIn More