F. Blanchini and S. Miani, Set-Theoretic Methods in Control, 2007.
DOI : 10.1007/978-3-319-17933-9

N. Ramdani and N. Nedialkov, Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques, Nonlinear Analysis: Hybrid Systems, vol.5, issue.2, pp.149-162, 2011.
DOI : 10.1016/j.nahs.2010.05.010
URL : https://hal.archives-ouvertes.fr/hal-00611996

O. Bouissou, A. Chapoutot, A. Djaballah, and M. Kieffer, Computation of parametric barrier functions for dynamical systems using interval analysis, 53rd IEEE Conference on Decision and Control, 2014.
DOI : 10.1109/CDC.2014.7039472
URL : https://hal.archives-ouvertes.fr/hal-01073673

M. Konecny, W. Taha, J. Duracz, A. Duracz, and A. Ames, Enclosing the behavior of a hybrid system up to and beyond a Zeno point, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), 2013.
DOI : 10.1109/CPSNA.2013.6614258

W. Taha and A. Duracz, Acumen: An open-source testbed for cyberphysical systems research, CYCLONE'15, 2015.
DOI : 10.1007/978-3-319-47063-4_11
URL : https://hal.archives-ouvertes.fr/hal-01490406

A. M. Bayen, I. M. Mitchell, M. K. Osihi, and C. J. Tomlin, Aircraft Autolander Safety Analysis Through Optimal Control-Based Reach Set Computation, Journal of Guidance, Control, and Dynamics, vol.2, issue.3, pp.68-77, 2007.
DOI : 10.2514/1.1214

A. Desilles, H. Zidani, and E. Cruck, Collision analysis for an UAV, AIAA Guidance, Navigation, and Control Conference, pp.13-16, 2012.
DOI : 10.1007/BF01204182
URL : https://hal.archives-ouvertes.fr/hal-00756389

J. Aubin, Viability Kernels and Capture Basins of Sets Under Differential Inclusions, SIAM Journal on Control and Optimization, vol.40, issue.3, pp.853-881, 2001.
DOI : 10.1137/S036301290036968X

L. Jaulin and E. Walter, Guaranteed nonlinear parameter estimation via interval computations, Interval Computation, pp.61-75, 1993.
DOI : 10.1007/978-1-4757-9545-5_23

O. Mullier, E. Goubault, M. Kieffer, and S. Putot, General inner approximation of vector-valued functions, Reliable Computing, vol.18, issue.0, pp.117-143, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00935773

C. Jauberthie, N. Verdì, and L. Travé-massuyès, Set-membership identifiability: definitions and analysis, Proceedings of the 18th IFAC World Congress, pp.12-024, 2011.
DOI : 10.3182/20110828-6-IT-1002.01779

T. Raissi, N. Ramdani, and Y. Candau, Set membership state and parameter estimation for systems described by nonlinear differential equations, Automatica, vol.40, issue.10, pp.1771-1777, 2004.
DOI : 10.1016/j.automatica.2004.05.006

T. Raissi, D. Efimov, and A. Zolghadri, Interval State Estimation for a Class of Nonlinear Systems, IEEE Transactions on Automatic Control, vol.57, issue.1, pp.260-265, 2012.
DOI : 10.1109/TAC.2011.2164820
URL : https://hal.archives-ouvertes.fr/hal-00609510

V. Drevelle and P. Bonnifait, iGPS: Global Positioning in Urban Canyons with Road Surface Maps, IEEE Intelligent Transportation Systems Magazine, vol.4, issue.3, pp.6-18, 2012.
DOI : 10.1109/MITS.2012.2203222
URL : https://hal.archives-ouvertes.fr/hal-00805174

J. A. Dit-sandretto, G. Trombettoni, D. Daney, and G. Chabert, Certified Calibration of a Cable-Driven Robot Using Interval Contractor Programming, Computational Kinematics, Mechanisms and Machine Science, 2014.
DOI : 10.1007/978-94-007-7214-4_24
URL : https://hal.archives-ouvertes.fr/hal-00907499

L. Jaulin and E. Walter, Modeling Techniques for Uncertain Systems. Birkhäuser, 1994, ch. Set Inversion, with Application to Guaranteed Nonlinear Estimation and Robust Control, pp.3-20

B. Desrochers and L. Jaulin, Computing a Guaranteed Approximation of the Zone Explored by a Robot, IEEE Transactions on Automatic Control, vol.62, issue.1, pp.425-430, 2017.
DOI : 10.1109/TAC.2016.2530719
URL : https://hal.archives-ouvertes.fr/hal-01298366

I. M. Mitchell, Application of level set methods to control and reachability problems in continuous and hybrid systems, 2003.

A. Girard, Computation and Stability Analysis of Limit Cycles in Piecewise Linear Hybrid Systems, 1st IFAC Conference on Analysis and Design of Hybrid Systems, pp.181-186, 2003.
DOI : 10.1016/S1474-6670(17)36428-5
URL : https://hal.archives-ouvertes.fr/hal-00307053

W. E. Grimson and T. Lozano-pérez, Recognition and localization of overlapping parts in two and three dimensions, IEEE International Conference on Robotics and Automation, pp.61-66, 1985.

A. Goldsztejn, D. Daney, M. Rueher, and P. Taillibert, Modal intervals revisited: a mean-value extension to generalized intervals, Proceedings of the Quantification in Constraint Programming, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00990048

P. H. Vinas, M. A. Sainz, J. Vehi, and L. Jaulin, Quantified set inversion algorithm with applications to control, Reliable computing, vol.11, issue.5, pp.369-382, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00518707

L. Jaulin and G. Chabert, Resolution of nonlinear interval problems using symbolic interval arithmetic, Engineering Applications of Artificial Intelligence, vol.23, issue.6, pp.1035-1049, 2010.
DOI : 10.1016/j.engappai.2009.06.002
URL : https://hal.archives-ouvertes.fr/hal-00531534

R. B. Kearfott, Rigorous Global Search: Continuous Problems, 1996.
DOI : 10.1007/978-1-4757-2495-0

R. E. Moore, Methods and Applications of Interval Analysis, 1979.
DOI : 10.1137/1.9781611970906