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

R. Alur, C. Courcoubetis, N. Halbwachs, T. Henzinger, P. Ho et al., The algorithmic analysis of hybrid systems, Theoretical Computer Science, vol.138, pp.3-34, 1995.

M. Babaali and G. J. Pappas, Observability of switched linear systems in continuous time, LNCS 3414, HSCC, pp.103-117, 2005.

A. Balluchi, L. Benvenuti, M. D. Benedetto, and A. Sangiovanni-vincentelli, The design of dynamical observers for hybrid systems: Theory and application to an automotive control problem, Automatica, vol.49, pp.915-925, 2013.

N. Barhoumi, F. Msahli, M. Djema¨?djema¨?, and K. Busawon, Observer design for some classes of uniformly observable nonlinear hybrid systems, Nonlinear Analysis: Hybrid Systems, vol.6, pp.917-929, 2012.

E. Benazera and L. Travé-massuyès, Set-theoretic estimation of hybrid system configurations, IEEE Transactions on Systems, Man, and Cybernetics, vol.39, issue.5, pp.1277-1291, 2009.

F. Boulier, D. Lazard, F. Ollivier, and M. Petitot, Computing representations for the radicals of a finitely generated differential ideals, 1997.

D. Santis, On location observability notions for switching systems, Systems & Control Letters, vol.60, issue.10, pp.807-814, 2011.

D. Santis and M. D. Di-benedetto, Observability and diagnosability of finite state systems: A unifying framework, Automatica, vol.81, pp.115-122, 2017.

M. D. De-santis, G. Di-benedetto, and . Pola, On observability and detectability of continuous-time linear switching systems, 42nd IEEE International Conference on Decision and Control, vol.6, pp.5777-5782, 2003.

M. D. De-santis, G. Di-benedetto, and . Pola, A structural approach to detectability for a class of hybrid systems, Automatica, vol.45, issue.5, pp.1202-1206, 2009.

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.

D. Efimov, T. Ra¨?ssira¨?ssi, S. Chebotarev, and A. Zolghadri, Interval state observer for nonlinear time varying systems, Automatica, vol.49, issue.1, pp.200-205, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00719911

A. Eggers, N. Ramdani, N. S. Nedialkov, and M. Fränzle, Set-membership estimation of hybrid systems via SAT mod ODE, 16th IFAC SYSID 2012, pp.440-445, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00719901

M. Fliess, C. Join, and W. Perruquetti, Real-time estimation for switched linear systems, 47th IEEE Conference on Decision and Control, pp.941-946, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00318499

J. Gouzé, A. Rapaport, and Z. M. Hadj-sadok, Interval observers for uncertain biological systems, Journal of Ecological Modelling, vol.133, pp.45-56, 2000.

Y. Guo and B. Huang, Moving horizon estimation for switching nonlinear systems, Automatica, vol.49, pp.3270-3281, 2013.

L. Jaulin, Nonlinear bounded-error state estimation of continuous-time systems, Automatica, vol.38, pp.1079-1082, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00845483

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

G. Koch and T. Kloiber, Driving state adaptive control of an active vehicle suspension system, IEEE Transactions on Control Systems Technology, vol.22, issue.1, pp.44-57, 2014.

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

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

H. Lou and R. Yang, Conditions for distinguishability and observability of switched linear systems, Nonlinear Analysis: Hybrid Systems, vol.5, issue.3, pp.427-445, 2011.

M. Ma¨?gama¨?ga, 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, vol.61, issue.9, pp.2341-2356, 2016.

F. Mazenc and T. N. Dinh, Construction of interval observers for continuous-time systems with discrete measurements, Automatica, vol.50, issue.10, pp.2555-2560, 2014.

F. Mazenc, V. Andrieu, and M. Malisoff, Design of continuousdiscrete observers for time-varying nonlinear systems, Automatica, vol.57, pp.135-144, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01198426

N. Meslem, N. Ramdani, ;. Meslem, N. Ramdani, and Y. Candau, Using hybrid automata for set-membership state estimation with uncertain nonlinear continuous-time systems, International Journal of Adaptive Control and Signal Processing, vol.25, issue.3, pp.481-489, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00629908

, Bounding Approaches to System Identification, 1996.

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.

T. Ra¨?ssira¨?ssi, D. Efimov, and A. Zolghadri, Interval state estimation for a class of nonlinear systems. Automatic Control, IEEE Transactions on, vol.57, issue.1, pp.260-265, 2012.

F. Schweppe, Recursive state estimation: unknown but bounded errors and system inputs, IEEE Trans. On Automatic Control, vol.13, issue.1, pp.22-28, 1968.

R. E. Thabet, T. Ra¨?ssira¨?ssi, C. Combastel, D. Efimov, and A. Zolghadri, An effective method to interval observer design for time-varying systems, Automatica, vol.50, pp.2677-2684, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01650874

H. Tuy and ;. Zappa, Sequential approximation of feasible parameter sets for identification with set membership uncertainty, Handbook of global optimization, D.C. Optimization: Theory, Methods and Algorithms, vol.41, pp.774-785, 1995.

L. Wang, D. Li, K. Zhou, and . Liu, Robust state estimation and fault diagnosis for uncertain hybrid nonlinear systems, Nonlinear Analysis: Hybrid Systems, vol.1, issue.1, pp.2-15, 2007.

C. Xiong, L. Jauberthie, F. L. Travé-massuyès, and . Gall, Fault detection by using interval Kalman filtering and constraint propagation approach, 52th IEEE Conference on Decision and Control, pp.490-495, 2013.