]. A. Bibliographieaam89 and . Aamodt, Towards robust expert systems that learn from experience ? an architectural framework EKAW?89 ; Third European Knowledge Acquisition for Knowledge?Based Systems Workshop, pp.311-326, 1989.

]. A. Aam91 and . Aamodt, A knowledge?intensive approach to problem solving and sustained learning, 1991.

[. Solutions and A. , Rodon -tolerance based simulation & automated fmea generation in aircraft elevators, 4th Annual Systems Engineering Conference, 2001.

]. R. Ade11 and . Adeline, Méthodes pour la validation de modèles formels pour la Sûreté de Fonctionnement et extension aux problèmes multi-physique, Thèse de doctorat, 2011.

A. [. Arnold, G. Griffault, A. Point, and . Rauzy, The altarica formalism for describing concurrent systems, Fundamenta Informaticae, vol.40, pp.109-124, 2000.

A. D. Althoff, Knowledge acquisition in the domain of cnc machine centers ; the moltke approach, Third European Workshop on Knowledge?Based Systems, pp.180-195, 1989.

P. [. Andersson and . Sköld, Evaluation of a diagnostic tool for use during system development and operations, 2007.

]. K. Ash91 and . Ashley, Modeling legal arguments : Reasoning with cases and hypotheticals, 1991.

S. [. Althoff and . Wess, Case-based knowledge acquisition, learning and problem solving in diagnostic real world tasks, Proc. EKAW-91, 1991.

]. R. Bar89 and . Bareiss, Exemplar?based knowledge acquisition : A unified approach to concept representation, classification and learning, 1989.

]. M. Bat11 and . Batteux, Diagnosticabilité et diagnostic de systèmes technologiques pilotés : développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés, 2011.

. Bcd-+-07-]-p, . Bieber, . Ch, G. Castel, . Durrieu et al., Dependability modelling and assessment of avionics systems with altarica, 2007.

. Bck-+-02-]-p, C. Bieber, C. Castel, C. Kehren, C. Seguin et al., Analyse d'un système hydraulique avion avec altarica, 2002.

O. Cordier, J. Lunze, L. Trave-massuyes, and M. Staroswiecki, Diagnosis of complex systems : Bridging the methodologies of the fdi and dx communities, IEEE Transactions on systems, Man and Cybernetics, vol.34, issue.5, 2004.

M. Boiteau, Y. Dutuit, A. Rauzy, and J. P. Signoret, The AltaRica data-flow language in use: modeling of production availability of a multi-state system, Reliability Engineering & System Safety, vol.91, issue.7, p.91, 2006.
DOI : 10.1016/j.ress.2004.12.004
URL : https://hal.archives-ouvertes.fr/hal-00182500

H. W. Block, W. De-souza, and . Borges, Comparing coherent systems, Lecture Notes- Monograph Series, pp.187-192, 1984.
DOI : 10.1214/lnms/1215465646

]. R. Bea71 and . Beard, Failure accommodation in linear systems through self-reorganization, 1971.

]. R. Ber09 and . Bernard, Analyse de Sécurité multi-systèmes, Thèse de doctorat, 2009.

E. [. Benveniste, S. Fabre, C. Haar, and . Jard, Diagnosis of asynchronous discrete event systems, a net unfolding approach, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00638345

P. Bunus, O. Isaksson, B. Frey, and B. Münker, Model-based diagnostics techniques for avionics applications with rodon, 2009.

M. Blanke, M. Kinnaert, J. , and M. Staroswiecki, Structural analysis Diagnosis and Fault-Tolerant Control, pp.109-188, 2006.

M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Structural analysis Diagnosis and Fault-Tolerant Control, pp.69-108, 2007.

A. [. Brlek and . Rauzy, Synchronization of constrained transition systems, Proc. of the First International Symposium on Parallel Symbolic Computation ? PASCO'94, pp.54-62, 1994.

]. K. Bra91 and . Branting, Exploiting the complementarity of rules and precedents with reciprocity and fairness, Proceedings from the Case?Based Reasoning Workshop, pp.39-50, 1991.

]. A. Bro76 and . Brown, Quantitative knowledge, causal reasoning and the localization of failures, 1976.

]. A. Bro82 and . Brown, Pedagogical, natural language and knowledge engineering techniques in sophie i, ii and iii, 1982. Intelligent Tuoring Systems, pp.227-282

E. [. Buchanan and . Shortliffe, Rule-based expert systems : The mycin experiments of the stanford heuristic programming project, 1984.

C. [. Bumbaru, J. S. Bocaniala, and C. Da, On the applicability of state-of-the-art fault diagnosis methodologies to simple and complex systems The annals of, 2005.

S. [. Cheon, H. Chang, and . Chung, Development strategies of an expert system for multiple alarm processing and diagnosis in nuclear power plants, IEEE Transactions on Nuclear Science, vol.40, issue.1, pp.21-30, 1993.
DOI : 10.1109/23.199483

P. [. Fernandez-chamizo, L. Gonzalez-calero, A. U. Hernandez-yariez, and . Bagué, Case-based retrieval of software components, Expert Systems with Applications, vol.923310, issue.218, pp.397-421, 1995.

B. Cordier, P. Dague, F. Lévy, J. Montmain, M. Staroswiecki et al., Ai and automatic control approaches of model-based diagnosis : Links and underlying hypotheses, Proc. 4th IFAC Symp. Fault Detection, Supervision Safety Technical Processes SAFEPROCESS, pp.274-279, 2000.

[. Cordier, P. Dague, F. Lévy, J. Montmain, M. Staroswiecki et al., A comparative analysis of ai and control theory approaches to model-based diagnosis, Proc. 14th European Conf. Artificial Intelligence ECAI, pp.136-140, 2000.

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, 2004.
DOI : 10.1109/TSMCB.2004.835010
URL : https://hal.archives-ouvertes.fr/hal-00353890

]. L. Cept89a, D. Console, P. Theseider-dupré, and . Torasso, Abductive reasoning through direct deduction from completed domain models, Methodologies for Intelligent System 4, pp.175-182, 1989.

]. L. Cept89b, D. Console, P. Theseider-dupré, and . Torasso, A theory of diagnosis for incomplete causal models, Proc. 11th IJCAI, pp.1311-1317, 1989.

D. [. Clark, V. M. Fosth, and . Walton, Detection instrument malfunctions in control systems, EEE Trans. Aerospace Electron. Syst, pp.465-473, 1975.

O. Clarke, S. Grumberg, Y. Jha, H. Lu, and . Veith, Counterexample-guided abstraction refinement, Computer Aided Verification, 12th International Conference ProceedingsCGP99] E.M. Clarke, O. Grumberg, and D.A. Peled. Model checking, pp.154-169, 1999.

]. L. Che08 and . Cheng, Latest progress of research on fault diagnosis based on information fusion, Information Technology Journal, 2008.

]. F. Chu12 and . Chucri, Exploiter la Structure des Modèles pour la Vérification par la Méthode CEGAR, 2012.

A. Colmerauer, H. Kanoui, R. Pasero, P. [. Roussel, J. C. Coudert et al., Un systeme de communication en français Rapport préliminaire de fin de contrat IRIA, Groupe Intelligence Artificielle, Faculté des Sciences de Luminy, Université d'Aix-Marseille II Fault tree analysis : 10 20 prime implicants and beyond, Proceedings of Reliability and Maintainability SymposiumCon94] L. Console. Introduction, pp.240-245, 1972.

T. [. Cox and . Piertzykowski, Causes for events: Their computation and applications, Proc. 8th CADE, 1986.
DOI : 10.1007/3-540-16780-3_125

]. L. Cpr-+-00a, C. Console, M. Picardi, and . Ribaudo, Diagnosis and diagnosability analysis using pepa, ECAI, pp.131-135, 2000.

C. L. Console, M. Picardi, and . Ribaudo, Diagnosis and diagnosability analysis using process algebras An integration of fdi and dx techniques for determining the minimal diagnosis in an automatic way Lecture notes in computer science, Proceedings of the Eleventh International Workshop on Principles of Diagnosis MX, pp.25-32, 2000.

[. Corsini and A. Rauzy, Toupie : The µ-calculus over finite domains as a constraint language, Journal of Automated Reasoning, vol.19, issue.2, pp.143-171, 1997.
DOI : 10.1023/A:1005732517165

P. [. Console and . Torasso, A spectrum of logical definitions of model-based diagnosis Readings in Model-Based Diagnosis, pp.78-88, 1991.

]. A. Dar09 and . Darwiche, Modeling and reasoning with Bayesian networks, 2009.

]. R. Dav84 and . Davis, Diagnostic reasoning based on structure and behavior, Artificial Intelligence, vol.24, issue.1-3, pp.347-410, 1984.

M. [. Deckert, J. J. Desai, A. S. Deyst, and . Willsky, F-8 DFBW sensor failure identification using analytic redundancy, IEEE Transactions on Automatic Control, vol.22, issue.5, pp.795-803, 1977.
DOI : 10.1109/TAC.1977.1101598

W. [. Davis and . Hamscher, Model-based resoning : Troubleshooting Readings in Model-Based Diagnosis, pp.3-24, 1988.

[. Dicky, An algebraic and algorithmic method for analysing transition systems, Theoretical Computer Science, vol.46, issue.2-3, pp.285-303, 1986.
DOI : 10.1016/0304-3975(86)90034-4
URL : http://doi.org/10.1016/0304-3975(86)90034-4

]. J. De-kleer, Local methods for localizing faults in electroniuc circuits, 1976.

]. 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. De-kleer and B. C. Williams, Diagnosing with behavioral modes, Proc. 11th IJCAI, pp.1324-1330, 1989.

[. Dery and W. Lejouad, From modular to distributed architectures : Centaur and smeci experiments, 1994.
URL : https://hal.archives-ouvertes.fr/inria-00074277

G. [. Darfeuil and . Pelloquin, Expérimentation d'ocas chez turboméca, First Altarica Workshop, 2002.

]. R. Dsh-+-82, H. Davis, W. Shrobe, M. Hamscher, S. Shirley et al., Diagnosis based on structure and function, Proc. Of AAAI-82, pp.137-142, 1982.

M. B. First, B. J. Heimer, S. Mclinden, and R. A. Miller, LOCALIZE: Computer-assisted localization of peripheral nervous system lesions, Computers and Biomedical Research, vol.15, issue.6, pp.525-543, 1982.
DOI : 10.1016/0010-4809(82)90015-5

]. K. For96 and . Forbus, Qualitative reasoning, 1996. DRAFT -Chapter

]. P. Fra90 and . Frank, Fault diagnosis in dynamic systems using analytical and knowledge-based redundancy -a survey and some new results, Automatica, vol.26, issue.3, pp.459-474, 1990.

]. D. Gen83 and . Gentner, Structure mapping ? a theoretical framework for analogy, Cognitive Science, vol.723310, p.10, 1983.

B. R. Genesereth, The use of design descriptions in automated diagnosis, Artificial Intelligence, vol.24, issue.1-3, pp.411-436, 1984.
DOI : 10.1016/0004-3702(84)90043-2

G. [. Griffault, F. Point, A. Kuntz, and . Vincent, Symbolic computation of minimal cuts for AltaRica models, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00634022

G. [. Griffault, A. Point, and . Vincent, Altarica au labri : Travaux récents et projets, 2007.

A. [. Griffault and . Rauzy, Altarica : Passé, présent, futur, 2002.

A. [. Griffault and . Vincent, The Mec??5 Model-Checker, Proceedings of the 16th International Conference on Computed Aided Verification, pp.488-491, 2004.
DOI : 10.1007/978-3-540-27813-9_43
URL : https://hal.archives-ouvertes.fr/hal-00351697

]. K. Ham86 and . Hammond, Chef : A model of case-based planning, 1986. roc. American Association for Artificial Intelligence, AAAI-86, Ham91] W. Hamscher. Modeling digital circuits for troubleshooting, pp.1-3223, 1986.

W. [. Holzer, Q. Bertsch, and . Zhang, Design criteria of a gas chromatography-mass spectrometry based expert system for arson analysis, Analytica Chimica Acta, vol.259, issue.2, pp.225-260
DOI : 10.1016/0003-2670(92)85372-D

]. W. Hcdk92, L. Hamscher, J. Console, and . De-kleer, Readings in model-based diagnosis, 1992

T. [. Hélouët, B. Gazagnaire, and . Genest, Diagnosis from Scenarios, 2006 8th International Workshop on Discrete Event Systems, pp.307-312, 2006.
DOI : 10.1109/WODES.2006.1678447

J. Holland, K. Holyoak, R. Nisbett, and P. Thagard, Induction: Processes of Inference, Learning, and Discovery, IEEE Expert, vol.2, issue.3, 1986.
DOI : 10.1109/MEX.1987.4307100

]. T. Hin92 and . Hinrichs, Problem solving in open worlds, 1992.

E. [. Hangos, R. Németh, A. Lakner, and . Toth, Detectability and diagnosability of faults in lumped process systems, 20th European Symposium on Computer Aided Process Engineering-ESCAPE20, pp.1447-1452, 2010.

]. S. Hum08 and . Humbert, Déclinaison d'exigences de sécurité, du niveau système vers le niveau logiciel, assistée par des modèles formels, Thèse de doctorat, 2008.

]. O. Isa09 and . Isaksson, Model-based diagnosis of a satellite electrical power system with rodon, 2009.

]. F. Jen96 and . Jensen, An introduction to Bayesian networks, 1996.

Z. [. Jiang, V. Huang, R. Chandra, and . Kumar, A polynomial algorithm for testing diagnosability of discrete-event systems, Automatic Control IEEE Transactions on, issue.8, pp.461318-1321, 2001.

]. H. Jon73 and . Jones, Failure detection in linear systems Thesis -MIT, 233 BIBLIOGRAPHIE [Jos98] C. Jost. Comparaison qualitative et quantitative de modèles proie-prédateur à des données chronologiques en écologie Thèse -Institut national agronomique, 1973.

C. M. Jr and . Higgins-jr, Classification and approximation with rule-based networks, 1993. Thesis -Department of Electrical Engineering, California Institute of Technology

]. C. Keh05 and . Kehren, Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement, Thèse de doctorat, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace (SUPAERO), 2005.

. Kgs-+-11-]-fabien, S. Kuntz, C. Gaudan, É. Sannino, and . Laurent, Alain Griffault, and Gérald Point. Model-based diagnosis for avionics systems using minimal cuts, 22nd International Workshop on Principles of Diagnosis, pp.138-145, 2011.

]. M. Khu08 and . Khuu, Contribution à l'accélération de la simulation stochastique sur des modèles AltaRica Data Flow, Thèse de doctorat, 2008.

]. M. Kit80 and . Kitamura, Detection of sensor failures in nuclear plant using analytic redundancy, Trans. Am. Nucl. Soc, vol.34, pp.581-583, 1980.

]. H. Kit93 and . Kitano, Challenges for massive parallelism, Proc. 13th. Int. Conference on Artificial Intelligence, IJCAI-93, pp.813-847, 1993.

H. [. Kochar, F. J. Mukerjee, and . Samaniego, The ?signature? of a coherent system and its application to comparisons among systems, Naval Research Logistics, vol.34, issue.5, pp.507-523, 1999.
DOI : 10.1002/(SICI)1520-6750(199908)46:5<507::AID-NAV4>3.0.CO;2-D

]. J. Kol83 and . Kolodner, Maintaining organization in a dynamic long?term memory, Cognitive Science, vol.7, pp.243-280, 1983.

]. P. Kot89 and . Koton, Using experience in learning and problem solving, 1988.

[. Ying-kirubarajan, K. R. Pattipati, and A. Patterson-hine, A hidden markov model-based algorithm for fault diagnosis withpartial and imperfect tests, IEEE Transactions on Systems, Man and Cybernetics, Part C : Applications and Reviews, 2000.

M. [. Leonhardt and . Ayoubi, Methods of fault diagnosis, Control Engineering Practice, vol.5, issue.5, pp.683-692, 1997.
DOI : 10.1016/S0967-0661(97)00050-6

B. [. Lindsay, E. Buchanan, J. Feigenbaum, and . Lederberg, Applications of artificial intelligence for organic chemistry : The dendral project, 1980.

G. [. Liu and . Kelly, Rule-based diagnostic method for hvac fault detection, Proceedings of IBPSA Building Simulation 89, pp.319-324, 1989.

]. K. Lun00 and . Lunde, Object-oriented modeling in model-based diagnosis, Proceedings, 2000.

S. [. Lundkvist and . Wahnström, Dynamic model based diagnosis for combustion engines in rodon, at Vehicular Systems at Linköpings University and at Sörman Information & Media AB, 2007.

]. J. Mat05 and . Mattioli, Smmart -state of the art report Project SMMART : System for Mobile Maintenance Accessible in Real Time, p.10, 2005.

B. C. Montgomery and A. K. Caglayan, A self-reorganizing digital flight control system for aircraft, 12th Aerospace Sciences Meeting, 1974.
DOI : 10.2514/6.1974-21

]. J. Mcd80 and . Mcdermott, R1 : An expert in the computer systems domain, Proceedings of AAAI 1, pp.269-271, 1980.

A. [. Medjaher, N. Mechraoui, and . Zerhouni, Diagnostic et pronostic de défaillances par réseaux bayésiens, 4ème Journées Francophones sur les Réseaux Bayésiens, pp.29-30, 2008.

]. F. Moh97 and . Mohamed, Approche à base de logique floue pour le test et le diagnostic des circuits analogiques, Thèse -Institut National Polytechnique de Grenoble, 1997.

]. I. Moz92 and . Mozetic, Model-based diagnosis : An overview, 1992. Advanced Topics in Artificial Intelligence, pp.419-430

I. [. Mehra and . Peshon, An innovations approach to fault detection and diagnosis in dynamic systems, Automatica, vol.7, issue.5, pp.637-640, 1971.
DOI : 10.1016/0005-1098(71)90028-8

N. [. Mcneile and . Simons, Methods of behaviour modelling : A commentary on behaviour modelling techniques for mda, 1991.

M. Mulholland, N. Walker, and F. Maris, Expert system for repeatability testing of high-performance liquid chromatographic methods, Journal of Chromatography A, vol.550, issue.12, pp.257-66, 1991.
DOI : 10.1016/S0021-9673(01)88543-5

]. A. New68 and . Newell, On the analysis of human problem solving protocols, 1968.

H. [. Newell and . Simon, An example of human chess play in the light of chess playing programs, Progress in Biocybernetics, 1965.

]. R. Oeh92 and . Oehlmann, Learning causal models by self?questioning and experimentation, 1992, AAAI?92 Workshop on Communicating Sientific and Technical Knowledge. American Association of Artificial Intelligence

]. R. Oxm93 and . Oxman, Case-based design support : Supporting architectural composition through precedent libraries, Journal of Architectural Planning Research, 1993.

]. C. Pag04 and . Pagetti, Extension temps réel du langage AltaRica, Thèse de doctorat, 2004.

R. [. Porter and . Bareiss, Protos : An experiment in knowledge acquisition for heuristic classification tasks, Proceedings of the First International Meeting on Advances in Learning (IMAL), pp.159-174, 1986.

]. E. Pdm90, R. Plaza, and . López-de-mántaras, A case?based apprentice that learns from fuzzy examples, Methodologies for Intelligent System 5, pp.420-427, 1990.

]. Y. Pen04 and . Pencolé, Diagnosability analysis of distributed discrete event systems, ECAI, p.43, 2004.

A. [. Point and . Griffault, On the partial translation of Lustre programs into the AltaRica language and vice versa, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00349898

R. [. Poole, R. Goebel, and . Aleliunas, Theorist : A logical reasoning system for defaults and diagnosis, 1987. The Knowledge Frontier

]. J. Bibliographie-[-pit96 and . Pitrat, Implementation of a reflective system, Future Generation Computer Systems, vol.10, issue.12, pp.235-242, 1996.

G. Point, AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement, Thèse de doctorat, 2000.

]. D. Poo89 and . Poole, Normality and faults in logic-based diagnosis, Proc. 11th IJCAI, pp.1304-1310, 1989.

]. E. Pos43 and . Post, Formal reductions of the general combinatorial decision problem, American Journal of Mathematics, vol.65, pp.197-268, 1943.

A. [. Point and . Rauzy, AltaRica : Constraint automata as a description language, Journal Européen des Systèmes Automatisés, vol.33, pp.8-91033, 1999.

P. [. Patil, W. Szolovits, and . Schwartz, Causal Understanding of Patient Illness in Medical Diagnosis, Proc. of IJCAI-81, pp.893-899, 1981.
DOI : 10.1007/978-1-4612-5108-8_16

]. G. Ptl-+-98, P. Point, S. Thomas, A. Lajeunesse, A. Griffault et al., Le langage AltaRica, Actes du 11ième colloque national de Fiabilité et Maintenabilité, Lambda-Mu'11, pp.119-125, 1998.

]. X. Puc08 and . Pucel, A unified point of view on diagnosability, Thèse de doctorat, 2008.

]. A. Rau01 and . Rauzy, Mathematical Foundation of Minimal Cutsets, IEEE Transactions on Reliability, vol.50, issue.4, pp.389-396, 2001.

]. A. Rau02 and . Rauzy, Modes automata and their compilation into fault trees, Reliability Engineering and System Safety, vol.78, pp.1-12, 2002.

Y. [. Rauzy and . Dutuit, Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia, Reliability Engineering & System Safety, vol.58, issue.2, pp.127-144, 1997.
DOI : 10.1016/S0951-8320(97)00034-3

]. R. Rei87 and . Reiter, A theory of diagnosis form first principles, Artificial Intelligence, vol.32, issue.1, pp.57-96, 1987.

]. P. Rib09 and . Ribot, Vers l'intégration diagnostic/pronostic pour la maintenance des systèmes complexes, 2009.

]. E. Ris83 and . Rissland, Examples in legal reasoning : Legal hypotheticals, Proceedings of the Eighth International Joint Conference on Artificial Intelligence, IJCAI, Karlsruhe. [RL86] L. R. Rabiner and B. H. Luang. An introduction to hidden markov models, 1983.

]. S. Rob03 and . Robin, Diagnostic à base de modèles -cours 3 : Modèles de panne et diagnostic abductif, 2003.

W. [. Ramadge and . Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

S. [. Richter and . Weiss, Similarity, uncertainty and case?based reasoning in patdex Automated reasoning, essays in honour of Woody Bledsoe, pp.249-265, 1991.

. Sab-+-73-]-e, S. Shortliffe, B. Axline, T. Buchanan, S. Merigan et al., An artificial intelligence program to advise physicians regarding antimicrobial therapy, Computers and Biomedical Research, vol.623310, issue.224, pp.544-560, 1973.

B. Sabeh, Diagnostic à base de modèle : application à un moteur diesel suralimenté à injection directe, Thèse -Institut National Polytechnique de Lorraine, 2006.

[. Sae, Guidelines for Development of Civil Aircraft and Systems, 2010.

]. L. Sag08 and . Sagaspe, Allocation sûre dans les systèmes aéronautiques : modèlisation, vérification et génération, Thèse de doctorat, 2008.

]. R. Sch82 and . Schank, Dynamic memory ; a theory of reminding and learning in computers and people, 1982.

O. [. Struss and . Dressler, Physical negation -integrating fault models into the general diagnostic engine, Proc. 11th IJCAI, pp.1318-1323, 1989.

J. [. Schumann and . Huang, A scalable jointree algorithm for diagnosability, 23rd American National Conference on Artificial Intelligence (AAAI-08), 2008.

R. L. Simpson, A computer model of case?based reasoning in problem solving : An investigation in the domain of dispute mediation, 1985.

M. [. Sheppard and . Kaufman, Bayesian diagnosis and prognosis using instrument uncertainty, IEEE Autotestcon, 2005., 2005.
DOI : 10.1109/AUTEST.2005.1609172

D. [. Smith and . Medin, Categories and concepts, 1981.
DOI : 10.4159/harvard.9780674866270

]. P. Sme94 and . Smets, What is dempster-shafer's model ? Advances in the Dempster-Shafer theory of evidence, pp.5-34, 1994.

]. P. Smy88 and . Smyth, The application of information theory to problems in decision tree design and rule-based expert systems, 1988. Thesis -California Institute of Technology

]. H. Sou09 and . Soueidan, Discrete event modeling and analysis for systems biology models, Thèse de doctorat, 2009.

E. [. Skalak and . Rissland, Arguments and cases: An inevitable intertwining, Artificial Intelligence and Law, vol.19, issue.6, pp.3-48, 1992.
DOI : 10.1007/BF00118477

D. [. Sharma and . Sleeman, Refiner ; a case?based differential diagnosis aide for knowledge acquisition and knowledge refinement, Proceedings of the Third European Working Session on Learning, pp.201-210, 1988.

J. [. Schwabacher, L. Samuels, and . Brownston, <title>NASA integrated vehicle health management technology experiment for X-37</title>, Component and Systems Diagnostics, Prognostics, and Health Management II, 2002.
DOI : 10.1117/12.475494

. Ssl-+-95a-]-m, R. Sampath, S. Sengupta, K. Lafortune, D. Sinnamohideen et al., Diagnosability of discrete-event systems, Automatic Control IEEE Transactions on, vol.40, issue.9, pp.1555-1575, 1995.

S. 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

]. M. Sta00 and . Staroswiecki, Quantitative and qualitative models for fault detection and isolation, Mechanical Systems and Signal Processing, vol.14, issue.3, pp.301-325, 2000.

]. P. Str97 and . Struss, Model-based and qualitative reasoning : An introduction, Annals of Mathematics and Artificial Intelligence, vol.19, pp.355-381, 1997.

]. E. Syc87 and . Sycara, Resolving adversial conflicts : An approach to integrating case-based and analytic methods, 1987.

]. O. Sä07 and . Särnholm, Structural algorithms in rodon -with a prototype implementation in java Master's thesis performed at the Vehicular Systems division, 2007.

L. Travé-massuyes, T. Escobet, and X. Olive, Diagnosability analysis based on component-supported analytical redundancy relations. Systems, Man and Cybernetics, Part A : Systems and Humans, IEEE Transactions on, vol.36, issue.6, pp.1146-1160, 2006.

T. [. Thompson, S. Tomski, and . Ellacott, An expert system for the preliminary design of timber roofs, Computers & Structures, vol.40, issue.1, pp.115-140, 1991.
DOI : 10.1016/0045-7949(91)90464-W

]. E. Tul77 and . Tulving, Episodic and semantic memory, 1977. Organization of memory, pp.381-403

. [. Verron, Diagnostic et surveillance des processus complexes par reseaux bayesiens, Thèse -Ecole Doctorale d'Angers, 2007.
URL : https://hal.archives-ouvertes.fr/tel-00517101

]. M. Via85 and . Vialatte, Description et applications du moteur d'inférence snark, 1985.

]. A. Vin03a and . Vincent, Conception et réalisation d'un vérificateur de modèles AltaRica, Thèse de doctorat, 2003.

]. A. Vin03b and . Vincent, Vérification de modèles en altarica, 2003.

L. [. Valette and . Künzle, Réseaux de petri pour la détection et le diagnostic GDR Automatique -Journées sûreté, surveillance, supervision : détection et localisation des défaillances, 1994.

R. [. Venkatamaran, K. K. Krishnan, and . Rao, A rule-case based system for image analysis, Proc. 1st. European Workshop on Case-Based Reasoning, Posters & Presentations, pp.410-425, 1993.

S. [. Watson and . Abdullah, Developing case-based reasoning systems : A case study in diagnosing building defects, Proc. IEE Colloquium on Case-Based Reasoning : Prospects for Applications Digest No : 1994/057, pp.1-1, 1994.

]. A. Wil76 and . Willsky, A survey of design methods for failure detection in dynamic systems, Automatica, vol.12, issue.6, pp.601-611, 1976.

]. L. Wit53 and . Wittgenstein, Philosophical investigations, pp.31-34, 1953.

F. [. Watson and . Marir, Case-based reasoning: A review, The Knowledge Engineering Review, vol.9, issue.04, pp.355-381, 1994.
DOI : 10.1017/S0269888900007098

]. A. Bibliographie-[-yas08 and . Yassine, Génération des tests et placement de capteurs pour le diagnostic des systèmes physiques s' appuyant sur une modélisation structurelle, 2008.

[. Yu and C. Lee, Fault diagnosis based on qualitative/quantitative process knowledge, AIChE Journal, vol.37, issue.4, 1991.
DOI : 10.1002/aic.690370415

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