Validated Explicit and Implicit Runge-Kutta Methods, Reliable Computing, 2016. ,
Validated Simulation of Differential Algebraic Equations, Reliable Computing, 2016. ,
Tuning PI controller in non-linear uncertain closed-loop systems with interval analysis, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01272513
Viability kernel computation based on interval methods, p.2015 ,
URL : https://hal.archives-ouvertes.fr/hal-01371484
Control of nonlinear switched systems based on validated simulation, 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), p.2016 ,
DOI : 10.1109/SNR.2016.7479377