Validated Simulation of Differential Algebraic Equations

Julien Alexandre Dit Sandretto (1) , Alexandre Chapoutot (1)

1 SFL - Sûreté et Fiabilité des Logiciels

Our recent results on validated simulation of ordinary differential equations (ODE) with implicit Runge-Kutta schemes lead us to go up in complexity of kind of differential equations. Indeed, we are able to simulate ODE with interval parameters which is one of the requirement for our solver of differential algebraic equation (DAE). We currently focus on the DAE in Hessenberg index 1 form.

Mots clés: differential algebraic equations; guaranteed integration

Domaines: Modélisation et simulation; Analyse numérique [cs.NA]

Julien Alexandre Dit Sandretto, Alexandre Chapoutot. Validated Simulation of Differential Algebraic Equations. Small Workshop on Interval Methods, Jun 2015, Prague, Czech Republic. ⟨hal-01164474⟩