Skip to Main content Skip to Navigation
Conference papers

Validated Simulation of Differential Algebraic Equations

Abstract : 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.
Complete list of metadata
Contributor : Alexandre Chapoutot <>
Submitted on : Wednesday, June 17, 2015 - 9:07:18 AM
Last modification on : Wednesday, July 3, 2019 - 10:48:05 AM


  • HAL Id : hal-01164474, version 1



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



Record views