M. Bayoudh and L. Travé-massuyès, Diagnosability analysis of hybrid systems cast in a discrete-event framework, Discrete Event Dynamic Systems, vol.47, issue.9, 2012.
DOI : 10.1109/TAC.2002.802763
URL : https://hal.archives-ouvertes.fr/hal-01400372

M. Bayoudh, L. Travé-massuyès, and X. Olive, Hybrid Systems Diagnosis by coupling Continuous and Discrete event Techniques, Proceedings of the 17th IFAC World Congress, IFAC-WC. Seoul (Korea), pp.7265-7270, 2008.
DOI : 10.3182/20080706-5-KR-1001.01229

E. Benazera and L. Travé-massuyès, Set-Theoretic Estimation of Hybrid System Configurations, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics), vol.39, issue.5, pp.1277-1291, 2009.
DOI : 10.1109/TSMCB.2009.2015280

M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and fault-tolerant control, 2003.

V. Cocquempot, T. Mezyani, and M. Staroswiecki, Fault detection and isolation for hybrid systems using structured parity residuals, Control Conference, pp.1204-1212, 2004.
DOI : 10.1016/s1474-6670(17)36563-1

M. Cordier, P. Dague, F. Lévy, J. Montmain, M. Staroswiecki et al., Conflicts Versus Analytical Redundancy Relations: A Comparative Analysis of the Model Based Diagnosis Approach From the Artificial Intelligence and Automatic Control Perspectives, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.34, issue.5, pp.2163-2177, 2004.
DOI : 10.1109/TSMCB.2004.835010

M. J. Daigle, X. D. Koutsoukos, and G. Biswas, An event-based approach to integrated parametric and discrete fault diagnosis in hybrid systems, Transactions of the Institute of Measurement and Control, vol.2623, issue.5, pp.487-510, 2010.
DOI : 10.1109/TSMCB.2005.850178

J. De-kleer and J. Kurien, Fundamentals of model-based diagnosis, Proceedings of the fifth IFAC symposium on Fault Detection, Supervision , and Safety of technical Processes (Safeprocess, pp.25-36, 2003.
DOI : 10.1016/S1474-6670(17)36467-4

J. De-kleer and B. C. Williams, Diagnosing multiple faults, Artificial Intelligence, vol.32, issue.1, pp.97-130, 1987.
DOI : 10.1016/0004-3702(87)90063-4

J. Dick and A. Faivre, Automating the generation and sequencing of test cases from model-based specifications, FME'93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe, p.268, 1993.
DOI : 10.1007/BFb0024651

P. Faure, L. Trave-massuyes, and H. Poulard, An interval model-based approach for optimal diagnosis tree generation, Proc. DX-99, 10th International Workshop on Principles of Diagnosis, pp.8-11, 1999.

P. Faure, An interval model-based approach for optimal diagnosis tree generation: application to the automotive domain, 2001.

S. Gentil, J. Montmain, and C. Combastel, Combining FDI and AI Approaches Within Causal-Model-Based Diagnosis, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.34, issue.5, pp.2207-2201, 2004.
DOI : 10.1109/TSMCB.2004.833335
URL : https://hal.archives-ouvertes.fr/hal-00353884

A. Gonzalez-sanchez, R. Abreu, H. Gross, and A. V. Gemund, Raptor: Greedy diagnostic prioritization by ambiguity group reduction, Proceedings of the 22nd International Workshop on Principles of Diagnosis, pp.84-91, 2011.

A. Gonzalez-sanchez, E. Piel, R. Abreu, H. Gross, and A. J. Van-gemund, Prioritizing tests for software fault localization. Software: Practice and Experience, pp.41-1105, 2011.
DOI : 10.1109/qsic.2010.28
URL : https://repository.tudelft.nl/islandora/object/uuid%3Af199a7aa-9cee-4617-b5ee-623964daca5d/datastream/OBJ/download

R. Greiner, B. A. Smith, and W. Wilkerson, A correction to the algorithm in reiter's theory of diagnosis, Artificial Intelligence, vol.41, issue.1, pp.79-88, 1989.
DOI : 10.1016/0004-3702(89)90079-9

W. Hamscher, L. Console, and . De-kleer, Readings in Model- Based Diagnosis, 1992.

B. Heim, S. Gentil, B. Celse, S. Cauvin, and L. Travé-massuyès, FCC Diagnosis Using Several Causal and Knowledge Based Models, IFAC Symposium Safeprocess, 2003.
DOI : 10.1016/S1474-6670(17)36568-0

M. W. Hofbaur and B. C. Williams, Hybrid Estimation of Complex Systems, IEEE Transactions on Systems, Man and Cybernetics, Part B (Cybernetics), vol.34, issue.5, pp.2178-2191, 2004.
DOI : 10.1109/TSMCB.2004.835009
URL : http://mers.csail.mit.edu/papers/Hof-Wil-04-hybridDiagnosis.pdf

J. E. Hopcroft, R. M. Karp, and . Dec, An $n^{5/2} $ Algorithm for Maximum Matchings in Bipartite Graphs, SIAM Journal on Computing, vol.2, issue.4, pp.225-231, 1973.
DOI : 10.1137/0202019

Y. Iwasaki and H. Simon, Causality in device behaviour, Artificial intelligence, vol.2913, pp.63-67, 1986.

Y. Iwasaki and H. Simon, Causality and model abstraction, Artificial Intelligence, vol.67, issue.1, pp.143-194, 1994.
DOI : 10.1016/0004-3702(94)90014-0

Z. Li, M. Harman, and R. Hierons, Search Algorithms for Regression Test Case Prioritization, IEEE Transactions on Software Engineering, vol.33, issue.4, pp.225-237, 2007.
DOI : 10.1109/TSE.2007.38
URL : http://bura.brunel.ac.uk/bitstream/2438/654/1/Fulltext.pdf

S. Mcilraith, G. Biswas, D. Clancy, and V. Gupta, Hybrid Systems Diagnosis, Hybrid Systems: Computation and Control, pp.282-295, 2000.
DOI : 10.1007/3-540-46430-1_25

S. Narasimhan and G. Biswas, Model-based diagnosis of hybrid systems . Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, vol.37, issue.3, pp.348-361, 2007.

X. Olive, L. Travé-massuyes, and J. Thomas, Complementing an Interval Based Diagnosis Method with Sign Reasoning in the Automotive Domain, IFAC Proceedings Volumes, vol.36, issue.5, 2003.
DOI : 10.1016/S1474-6670(17)36555-2

K. Pattipati and M. Alexandridis, Application of heuristic search and information theory to sequential fault diagnosis, IEEE Transactions on Systems, Man, and Cybernetics, vol.20, issue.4, pp.872-887, 1990.
DOI : 10.1109/21.105086

K. Pattipati and M. Dontamsetty, On a generalized test sequencing problem, IEEE Transactions on Systems, Man, and Cybernetics, vol.22, issue.2, pp.392-396, 1992.
DOI : 10.1109/21.148415

Y. Pencolé, Diades: DIAgnosis of discrete-event systems, 2013.

C. J. Price, N. Snooke, and J. Landry, Automated sneak identification, Engineering Applications of Artificial Intelligence, vol.9, issue.4, pp.423-427, 1996.
DOI : 10.1016/0952-1976(96)00030-9
URL : http://www.autosteve.com/downloads/aieng96.ps.gz

V. Raghavan, M. Shakeri, and K. Pattipati, Optimal and near-optimal test sequencing algorithms with realistic test models. Systems, Man and Cybernetics, Part A: Systems and Humans, IEEE Transactions on, vol.29, issue.1, pp.11-26, 1999.
DOI : 10.1109/3468.736357

P. J. Ramadge and W. M. Wonham, The control of discrete event systems, Proceedings of the IEEE, vol.77, issue.1, pp.81-98, 1989.
DOI : 10.1109/5.21072

R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence, vol.32, issue.1, pp.57-95, 1987.
DOI : 10.1016/0004-3702(87)90062-2

H. Ressencourt, L. Travé-massuyès, and J. Thomas, Hierarchical modelling and diagnosis for embedded systems, 6th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (SAFE- PROCESS, pp.553-558, 2006.
DOI : 10.1016/b978-008044485-7/50087-7

T. Rienmüller, M. Hofbaur, L. Travé-massuyès, and M. Bayoudh, Mode set focused hybrid estimation, International Journal of Applied Mathematics and Computer Science, vol.23, issue.1, pp.131-144, 2013.
DOI : 10.2478/amcs-2013-0011

M. Sachenbacher and P. Struss, Aqua: A framework for automated qualitative abstraction, 15th International Workshop on Qualitative Reasoning (QR-01), pp.971-984, 2001.

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

P. Struss, Testing for discrimination of diagnoses, Proceeding of the 5th International Workshop on Principles of Diagnosis DX'94. New Palttz (USA), pp.312-320, 1994.

C. Svard and M. Nyberg, Residual Generators for Fault Diagnosis Using Computation Sequences With Mixed Causality Applied to Automotive Systems, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, vol.40, issue.6, pp.1310-1328, 2010.
DOI : 10.1109/TSMCA.2010.2049993
URL : http://liu.diva-portal.org/smash/get/diva2:369815/FULLTEXT01

L. Travé-massuyès, Bridging control and artificial intelligence theories for diagnosis: A survey, Engineering Applications of Artificial Intelligence, vol.27, pp.1-16, 2014.
DOI : 10.1016/j.engappai.2013.09.018

L. Travé-massuyès and G. Calderon-espinoza, Timed fault diagnosis, European Control Conference (ECC-07), 2007.

L. Travé-massuyès, T. Escobet, R. Pons, and S. Tornil, The Ca?En diagnosis system and its automatic modelling method, Computacion i Sistemas Journal, vol.5, issue.2, pp.128-143, 2001.

L. Travé-massuyès and R. Pons, Causal ordering for multiple mode systems, 11th International Workshop on Qualitative Reasoning, pp.203-214, 1997.

L. Travé-massuyès, H. Ressencourt, H. Poulard, and J. Thomas, Method for diagnosing a malfunction of a mechatronic system

V. Venkatasubramanian, R. Rengaswamy, and S. N. Kavuri, A review of process fault detection and diagnosis, Computers & Chemical Engineering, vol.27, issue.3, pp.313-326, 2003.
DOI : 10.1016/S0098-1354(02)00161-8

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

M. Yu, D. Wang, M. Luo, D. Zhang, and Q. Chen, Fault detection, isolation and identification for hybrid systems with unknown mode changes and fault patterns, Expert Systems with Applications, vol.39, issue.11, pp.9955-9965, 2012.
DOI : 10.1016/j.eswa.2012.01.103