Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods - Archive ouverte HAL Accéder directement au contenu
Chapitre D'ouvrage Année : 2013

Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods

Résumé

Numerical methods are necessary to understand the behav- iors of complex hybrid systems used to design control-command systems. Especially, numerical integration methods are heavily used in simulation to compute approximations of the solution of differential equations, in- cluding non-linear and stiff solutions. Nevertheless, these methods only produce approximate results and they should not be used in formal ver- ification methods as is. We propose a systematic way to make explicit Runge-Kutta integration method safe with respect to the mathemati- cal solution. As side effect, we can hence compare different integration schemes in order to pick the right one in different situations.

Dates et versions

hal-00819730 , version 1 (02-05-2013)

Identifiants

Citer

Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi. Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods. 5th NASA Formal Methods Symposium, 7871, Springer Verlag, pp.108, 2013, LNCS, ⟨10.1007/978-3-642-38088-4_8⟩. ⟨hal-00819730⟩
109 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More