References
R. Reiter (1987). A Theory of Diagnosis from First Principles, Artificial Intelligence, 32:57-95, 1987.
J. de Kleer and A. K. Mackworth and R. Reiter(1992). Characterizing Diagnoses and Systems. Artificial Intelligence, 56:197–222, 1992.
J. de Kleer and B. C. Williams. (1987) Diagnosing Multiple Faults. Artificial Intelligence,32, 1987.
K. D. Forbus and J. de Kleer. (1993) Building Problem Solvers, M.I.T. University, Press, 1993.
Y. Shoham (1988) Reasoning about Change: Time and Causation from the Standpoint of Artificial Intelligence, Cambridge, Massachussets, The MIT Press.
P. Ribot, Y. Pencolé, M. Combacau. (2008) Prognostics for the maintenance of distributed systems, PHM'08, International Conference on Prognostics and Health Management, October 6-10, 2008, Denver, USA, 2008.
P. Ribot, Y. Pencolé, M. Combacau. (2009) Diagnosis and prognosis for the maintenance of complex systems. In Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics (SMC). San Antonio, USA. Doi: 10.1109/ICSMC.2009.5346718.
N. Belard (2012) Reasoning about Models: Detecting and Isolating Abnormalities in Diagnostic Systems, PhD Thesis, Toulouse, France, 2012.
N. Belard, Y. Pencolé, M. Combacau. (2011) A Theory of Meta-Diagnosis: Reasoning about Diagnostic Systems, Twenty-Second International Joint Conference on Artificial Intelligence, 2011.
I. Roychoudhury & M. Daigle (2011): An Integrated Model-
Based Diagnostic and Prognostic Framework. 22nd
International Workshop on Principle of Diagnosis,
Murnau, Germany.
W. Hodges (2001) Classical Logic I: First-Order Logic, in
Guide to Philosophical Logic, ed. Louis Goble,
Blackwell, Malden Mass. 2001.
J-C. Laprie (1995) Dependable Computing: Concepts,
Limits, Challenges, Invited paper to FTCS-25, the 25th
IEEE International Symposium on Fault-Tolerant
Computing, Pasadena, California, USA, June 27-30,
1995, Special Issue, pp. 42-54.
J. de Kleer, J. Kurien (2003) Fundamentals of model-based
diagnosis, 5th IFAC Symposium on Fault Detection,
Supervision and Safety of Technical Processes, 2003.
V. Chérière, C. Abelin, J. Roger, L. Vilalta-Estrada (2010)
Procédé, dispositif et programme d’ordinateur d’aide au
diagnostic d’un système d’un aéronef, utilisant des
graphes d’événements redoutés, Institut National de la
Propriété Industrielle, Brevet 2966616, Enregistrement
1004161.
V. Chérière, J. Roger, V. Debray, B. Fabre, P. Chantal
(2012) Procédé, dispositif et programme d’ordinateur
d’aide au diagnostic préventif d’un système d’un aéronef,
utilisant des graphes d’événements redoutés, Institut
National de la Propriété Industrielle, Brevet 2989499,
Enregistrement 1253383.
V. Chérière, J. Roger, L. Vilalta-Estrada, I. Geanta (2012)
Procédé, dispositif et programme d’ordinateur d’aide à
l’analyse de la tolérance aux pannes d’un système d’un
aéronef, utilisant des graphes d’événements redoutés,
Institut National de la Propriété Industrielle, Brevet
2989500, Enregistrement 1253384.