Contraction, propagation and bisection on a validated simulation of ODE - ENSTA Paris - École nationale supérieure de techniques avancées Paris Accéder directement au contenu
Communication Dans Un Congrès Année : 2016

Contraction, propagation and bisection on a validated simulation of ODE

Résumé

Many tools used for the validated simulation of initial value problem of ordinary differential equations (ODE) provide abstraction of the solution under the form of a list of boxes obtained by time discretization and local polynomial interpolation. Majority of them are based on Taylor methods (Vnode-LP or CAPD) or on Runge-Kutta methods (DynIbex). If some information on the system state at a given time are given (e.g., from measurements, or guard intersection), it is complex to take this information into account with a low computation cost. We propose a contraction/propagation algorithm to use this information in an elegant manner. This approach will allow one to avoid some costly steps which would appear in running a new simulation.
Fichier principal
Vignette du fichier
ctc.pdf (138.01 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01325068 , version 1 (01-06-2016)

Identifiants

  • HAL Id : hal-01325068 , version 1

Citer

Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Contraction, propagation and bisection on a validated simulation of ODE. Summer Workshop on Interval Methods, Jun 2016, Lyon, France. ⟨hal-01325068⟩
80 Consultations
125 Téléchargements

Partager

Gmail Facebook X LinkedIn More