Set-Theoretic Methods in Control, 2007. ,
Contractor Programming, Articial Intelligence, vol.173, p.10791100, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00428957
Guaranteed characterization of the explored space of a mobile robot by using subpavings, Proc. Symp. Nonlinear Control Systems (NOLCOS'13), 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00914063
Computational complexity and feasibility of data processing and interval computations, Reliable Computing, vol.4, issue.4, p.405409, 1997. ,
An interval approach to compute invariant sets, IEEE Transaction on Automatic Control, vol.62, p.42364243, 2017. ,
Interval Analysis, 1966. ,
Computing Reachable Sets for Uncertain Nonlinear Hybrid Systems using Interval Constraint Propagation Techniques. Nonlinear Analysis: Hybrid Systems, vol.5, pp.149-162, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00611996
Reliable robot localization: a constraint programming approach over dynamical systems. PhD dissertation, p.2017 ,
Guaranteed Computation of Robots Trajectories, Robotics and Autonomous Systems, vol.93, p.7684, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01516228
Validated simulation of dierential algebraic equations with runge-kutta methods, Reliable Computing, vol.22, 2016. ,
Constructive Interval Disjunction, Proc. CP, Constraint Programming, vol.635, p.650, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00936654