Validated Simulation of Differential Algebraic Equations
Résumé
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.