F. Blanchini and S. Miani, Set-Theoretic Methods in Control, 2007.

G. Chabert and L. Jaulin, Contractor Programming, Articial Intelligence, vol.173, p.10791100, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00428957

V. Drevelle, L. Jaulin, and B. Zerr, 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

V. Kreinovich, A. Lakeyev, J. Rohn, and P. Kahl, Computational complexity and feasibility of data processing and interval computations, Reliable Computing, vol.4, issue.4, p.405409, 1997.

T. L. Mézo, L. Jaulin, and B. Zerr, An interval approach to compute invariant sets, IEEE Transaction on Automatic Control, vol.62, p.42364243, 2017.

R. E. Moore, Interval Analysis, 1966.

N. Ramdani and N. Nedialkov, 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

S. Rohou, Reliable robot localization: a constraint programming approach over dynamical systems. PhD dissertation, p.2017

S. Rohou, L. Jaulin, M. Mihaylova, F. L. Bars, and S. Veres, Guaranteed Computation of Robots Trajectories, Robotics and Autonomous Systems, vol.93, p.7684, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01516228

J. A. Sandretto and A. Chapoutot, Validated simulation of dierential algebraic equations with runge-kutta methods, Reliable Computing, vol.22, 2016.

G. Trombettoni and G. Chabert, Constructive Interval Disjunction, Proc. CP, Constraint Programming, vol.635, p.650, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00936654