M. Basseville, M. Kinnaert, and M. Nyberg, On fault detectability and isolability, European Journal of Control), vol.7, issue.6, pp.625-641, 2001.

M. Bayoudh and L. Travé-massuyès, Diagnosability analysis of hybrid systems cast in a discrete-event framework, Discrete Event Dynamic Systems, vol.24, issue.3, pp.309-338, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01400372

S. Biswas, D. Sarkar, S. Mukhopadhyay, and A. Patra, Fairness of transitions in diagnosability of discrete event systems, Journal of Discrete Event Dynamical Systems (JDEDS), vol.20, pp.349-376, 2010.

F. Blanchini, Set invariance in control, Automatica, vol.35, issue.11, pp.1747-1767, 1999.

M. Blanke and M. Kinnaert, Diagnosis and Fault-tolerant control, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01789124

V. Cocquempot, T. Mezyani, M. Staroswiecki, and M. , Fault detection and isolation for hybrid systems using structured parity residuals, Asian Control Conference, pp.1204-1212, 2004.

M. Daigle, X. Koutsoukos, and G. Biswas, An event-based approach to hybrid systems diagnosability, Nineteenth International Workshop on Principles of Diagnosis, pp.47-54, 2008.

A. Grastien, Symbolic testing of diagnosability, 20th International Workshop on Principles of Diagnosis (DX-09), pp.131-138, 2009.

S. Jiang, Z. Huang, V. Chandra, and R. Kumar, A polynomial algorithm for diagnosability of discrete-event systems, IEEE Transactions on Automatic Control (TAC), vol.46, issue.8, pp.1318-1321, 2001.

G. Lamperti and M. Zanella, Diagnosis of active systems, 2003.
URL : https://hal.archives-ouvertes.fr/hal-01635018

, Handbook of Hybrid Systems Control : Theory, Tools, Applications, 2009.

M. Maïga, N. Ramdani, L. Travé-massuyès, and C. Combastel, A comprehensive method for reachability analysis of uncertain nonlinear hybrid systems. Automatic Control, IEEE Transactions on, 2016.

Y. Pencolé and M. O. Cordier, A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks, Artificial Intelligence (AIJ), vol.164, issue.1-2, pp.121-170, 2005.

M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D. Teneketzis, Diagnosability of discrete-event systems, IEEE Transactions on Automatic Control (TAC), vol.40, issue.9, pp.1555-1575, 1995.

M. M. Seron, J. A. Dona, and S. Olaru, Fault tolerant control allowing sensor healthy-to-faulty and faulty-to-healthy transitions, IEEE Transactions on Automatic Control, vol.57, issue.7, pp.1657-1669, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00751226

J. Vento, L. Travé-massuyès, V. Puig, and R. Sarrate, An incremental hybrid system diagnoser automaton enhanced by discrenibility properties, IEEE Transactions on Systems, Man, and Cybernetics (TSMC), vol.45, issue.5, pp.788-804, 2015.

T. S. Yoo and S. Lafortune, Polynomial-time verification of diagnosability of partially observed discrete-event systems, IEEE Transactions on Automatic Control, vol.47, issue.9, pp.1491-1495, 2002.

, Proceedings of the 20th IFAC World Congress, 2017.