T. Alamo, J. M. Bravo, and E. F. Camacho, Guaranteed state estimation by zonotopes, Automatica, vol.41, issue.6, pp.1035-1043, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00708563

E. Auer, S. Kiel, and A. Rauh, A verified method for solving piecewise smooth initial value problems, International Journal of Applied Mathematics and Computer Science, vol.23, issue.4, pp.731-747, 2013.

F. Boulier, Study and implementation of some algorithms in differential algebra, 1994.
URL : https://hal.archives-ouvertes.fr/tel-00137866

N. Bourbaki, Elements of Mathematics, 1989.

I. Braems, L. Jaulin, M. Kieffer, and E. Walter, Guaranteed numerical alternatives to structural identiability testing, Proceedings of the 40th IEEE Conference on Decision and Control, pp.3122-3127, 2001.

G. Chabert and L. Jaulin, Contractor programming, vol.173, pp.1079-1100, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00428957

L. Chiscii, A. Garulli, and G. Zappa, Recursive state bounding by parallelotopes, Automatica, vol.32, issue.7, pp.1049-1055, 1996.

L. Denis-vidal, G. Joly-blanchard, and C. Noiret, Some effective approaches to check identifiability of uncontrolled nonlinear systems, Mathematics and Computers in Simulation, vol.57, pp.35-44, 2001.

L. Denis-vidal, G. Joly-blanchard, C. Noiret, and M. Petitot, An algorithm to test identifiability of non-linear systems, Proceedings of 5th IFAC Symposium on Nonlinear Control Systems, vol.7, pp.174-178, 2001.

P. Herrero, B. Delaunay, L. Jaulin, P. Georgiou, N. Oliver et al., Robust set-membership parameter estimation of the glucose minimal model, International Journal of Adaptive Control and Signal Processing, vol.30, issue.2, pp.173-185, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01277580

C. Jauberthie, N. Verdì-ere, and L. Travé-massuyès, Set-membership identifiability: definitions and analysis, Proceedings of the 18th IFAC World Congress, pp.12024-12029, 2011.

C. Jauberthie, N. Verdì-ere, and L. Travé-massuyès, Fault detection and identification relying on set-membership identifiability, Annual Reviews in Control, vol.37, pp.129-136, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01739792

L. Jaulin, M. Kieffer, O. Didrit, and E. Walter, Applied Interval Analysis, with examples in parameter and state estimation, Robust control and robotics, 2001.
URL : https://hal.archives-ouvertes.fr/hal-00845131

L. Jaulin and E. Walter, Set inversion via interval analysis for nonlinear bounded-error estimation, Automatica, vol.29, pp.1053-1064, 1993.

M. Kieffer, L. Jaulin, and E. Walter, Guaranteed recursive nonlinear state bounding using interval analysis, International Journal of Adaptative Control and Signal Processing, vol.6, pp.191-218, 2002.

M. Kieffer, L. Jaulin, ´. E. Walter, and D. Meizel, Robust autonomous robot localization using interval analysis, Reliable computing, vol.6, issue.3, pp.337-362, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00844915

M. Kieffer and E. Walter, Guaranteed estimation of the parameters of nonlinear continuous-time models: Contributions of interval analysis, International Journal of Adaptive Control and Signal Processing, vol.25, issue.3, pp.191-207, 2011.
URL : https://hal.archives-ouvertes.fr/inria-00548147

E. Kolchin, Differential algebra and algebraic groups, 1973.

A. B. Kurzhanski and I. Valyi, Ellipsoidal calculus for estimation and control, 1997.

S. Lagrange, N. Delanoue, and L. Jaulin, Injectivity analysis using interval analysis : Application to structural identifiability, Automatica, vol.44, pp.2959-2962, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00859134

L. Ljung and T. Glad, On global identifiability for arbitrary model parametrizations, Automatica, vol.30, pp.265-276, 1994.

M. Maiga, N. Ramdani, and L. Travé-massuyès, A fast method for solving guard set intersection in nonlinear hybrid reachability, Proceedings of the 52nd IEEE Conference on Decision and Control CDC 2013, pp.508-513, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00881237

M. Maiga, N. Ramdani, L. Travé-massuyès, and C. Combastel, A comprehensive method for reachability analysis of uncertain nonlinear hybrid systems, IEEE Transactions on Automatic Control, p.16, 2015.
DOI : 10.1109/tac.2015.2491740
URL : https://hal.archives-ouvertes.fr/hal-01650701

M. Milanese, J. Norton, H. Piet-lahanier, and ´. E. Walter, Bounding approaches to system identification, 2013.

J. R. Munkres, Topology a first courses, 1975.

O. Nelles, Nonlinear system identification, 2002.

H. Pohjanpalo, System identifiability based on the power series expansion of the solution, Mathematical Biosciences, vol.41, pp.21-33, 1978.

V. Puig, Fault diagnosis and fault tolerant control using set-membership approaches: Application to real case studies, International Journal of Applied Mathematics and Computer Science, vol.20, issue.4, pp.619-635, 2010.
DOI : 10.2478/v10006-010-0046-y
URL : https://content.sciendo.com/downloadpdf/journals/amcs/20/4/article-p619.pdf

T. Ra¨?ssira¨?ssi, 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.

L. Ravanbod, N. Verdì-ere, and C. Jauberthie, Determination of set-membership identifiability sets, Mathematics in Computer Science, vol.8, issue.3-4, pp.391-406, 2014.
DOI : 10.1007/s11786-014-0201-1
URL : https://hal.archives-ouvertes.fr/hal-01067127

L. Seybold, M. Witczak, P. Majdzik, and R. Stetter, Towards robust predictive fault-tolerant control for a battery assembly system, International Journal of Applied Mathematics and Computer Science, vol.25, issue.4, pp.849-862, 2015.
DOI : 10.1515/amcs-2015-0061
URL : https://content.sciendo.com/downloadpdf/journals/amcs/25/4/article-p849.pdf