# Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods

Abstract : Differential Algebraic Equations (DAEs) are a general and implicit form of differential equations. This mathematical object is often used to represent physical systems such as dynamics of solid or chemical interactions. These equations are different from Ordinary Differential Equations (ODEs) in sense that some of the dependent variables occur without their derivatives. These variables are called algebraic variables'', which means free of derivatives and not with respect to abstract algebra. Validated simulation of ODEs has recently known different developments such as guaranteed Runge-Kutta integration schemes, explicit and implicit ones. Not so far from an ODE, solving a DAE consists of searching a consistent initial value and computing a trajectory. Nevertheless, DAEs are in generally much more difficult to solve than ODEs. In this paper, we focus on the semi-explicit form of index one, called Hessenberg index-1 form. We propose a validated way to simulate this kind of differential equations. Finally, our method is applied to different examples in order to show its efficiency.
Keywords :
Type de document :
Article dans une revue
Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22, 〈http://interval.louisiana.edu/reliable-computing-journal/volume-22/reliable-computing-22-pp-056-077.pdf〉
Domaine :

Littérature citée [36 références]

https://hal.archives-ouvertes.fr/hal-01243044
Contributeur : Julien Alexandre Dit Sandretto <>
Soumis le : lundi 14 décembre 2015 - 14:49:21
Dernière modification le : vendredi 8 décembre 2017 - 15:08:03
Document(s) archivé(s) le : samedi 29 avril 2017 - 13:28:19

### Fichier

main_dae.pdf
Fichiers produits par l'(les) auteur(s)

### Licence

Distributed under a Creative Commons Paternité - Pas d'utilisation commerciale - Pas de modification 4.0 International License

### Identifiants

• HAL Id : hal-01243044, version 1

### Citation

Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Simulation of Differential Algebraic Equations with Runge-Kutta Methods. Reliable Computing electronic edition, 2016, Special issue devoted to material presented at SWIM 2015, 22, 〈http://interval.louisiana.edu/reliable-computing-journal/volume-22/reliable-computing-22-pp-056-077.pdf〉. 〈hal-01243044〉

### Métriques

Consultations de la notice

## 302

Téléchargements de fichiers