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

Volumn 34, Issue 5, 2004, Pages 2163-2177

  Cordier, Marie Odile ^a   Dague, Philippe ^b   Lévy, François ^b   Montmain, Jacky ^c   Staroswiecki, Marcel ^d   Travé Massuyès, Louise ^e  

^a CAMPUS DE BEAULIEU   (France)

^b UMR 7030   (France)

^c ECOLE DES MINES D ALÈS   (France)

^d EUDIL   (France)

^e LAAS CNRS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; CONTROL THEORY; DECISION THEORY; FAILURE ANALYSIS; MATHEMATICAL MODELS; MATRIX ALGEBRA; PROBLEM SOLVING;

ANALYTICAL REDUNDANCY RELATION SUPPORT; CONSISTENCY BASED LOGICAL APPROACH; FAULT DETECTION-AND-ISOLATION (FDI); MODEL BASED DIAGNOSIS; PARITY SPACE APPROACH; POTENTIAL CONFLICT;

ARTIFICIAL INTELLIGENCE;

ALGORITHM; ARTICLE; ARTIFICIAL INTELLIGENCE; COMPARATIVE STUDY; COMPUTER ASSISTED DIAGNOSIS; DECISION SUPPORT SYSTEM; EQUIPMENT; EVALUATION; INTERDISCIPLINARY COMMUNICATION; METHODOLOGY; RESEARCH; SYSTEM ANALYSIS; SYSTEMS THEORY; THEORETICAL MODEL; VALIDATION STUDY;

ALGORITHMS; ARTIFICIAL INTELLIGENCE; DECISION SUPPORT TECHNIQUES; DIAGNOSIS, COMPUTER-ASSISTED; EQUIPMENT FAILURE ANALYSIS; INTERDISCIPLINARY COMMUNICATION; MODELS, THEORETICAL; RESEARCH; SYSTEMS INTEGRATION; SYSTEMS THEORY;

EID: 4844231054     PISSN: 10834419     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCB.2004.835010     Document Type: Article

References (34)

1. O. Adrot, D. Maquin, and J. Ragot, "Fault detection with model parameter, structured uncertainties," in Proc. Eur. Control Conf. ECC, Karlsruhe, Germany, 1999, BA.5, F210.pdf.
2. E. Alcorta-Garcia and P. M. Frank, "Deterministic nonlinear observer-based approaches to fault diagnosis: A survey," Control Eng. Practice, vol. 5, no. 5, pp. 663-670, 1997.
3. J. Armengol, J. Vehi, L. Travé-Massuyès, and M. A. Sainz, "Application of multiple sliding time windows to fault detection based on interval models," in Proc. 12th Int. Workshop Principles of Diagnosis DX, Via Lattea, Italy, 2001, pp. 9-16.
4. M. Basseville and I. Nikiforov, "Detection of abrupt changes - Theory and applications," in Information and System Sciences Serie. Englewood Cliffs, NJ: Prentice-Hall, 1993.
5. V. Brusoni, L. Console, P. Terenziani, and D. T. Dupré, "A spectrum of definitions for temporal model-based diagnosis," Artif. Intell., vol. 102, no. 1, pp. 39-79, 1998.
6. J.-P. Cassar and M. Staroswiecki, "Advanced design of the decision procedure in failure detection and isolation systems," in Proc. IFAC Symp. Fault Detection, Supervision Safety Technical Processes SAFEPROCESS, Espoo, Finland, 1994, pp. 380-385.
7. S. Cauvin, M. O. Cordier, C. Dousson, P. Laborie, F. Lévy, J. Montmain, M. Porcheron, I. Servet, and L. Travé-Massuyès, "Monitoring and alarm interpretation in industrial environments," in AI Commun., 1998, pp. 139-173.
8. J. Chen, R. J. Patton, and H. Y. Zhang, "A multi-criteria optimization approach to the design of robust fault detection algorithms," in Proc. Int. Conf. Fault Diagnosis Tooldiag, Toulouse, France, 1993.
9. CEP, "Control engineering practice," Special Volume on Supervision, Fault Detection, and Diagnosis of Technical Systems, vol. 5, no. 5, 1997.
10. M. O. Cordier, P. Dague, M. Dumas, F. Lévy, J. Montmain, M. Staroswiecki, and L. Travé-Massuyès, "AI and automatic control approaches of model-based diagnosis: Links and underlying hypotheses," in Proc. 4th IFAC Symp. Fault Detection, Supervision Safety Technical Processes SAFEPROCESS, Budapest, Hungary, 2000, pp. 274-279.
11. M. O. Cordier, P. Dague, M. Dumas, F. Lévy, J. Montmain, M. Starowswiecki L. Travé Massuyès "A comparative analysis of AI and control theory approaches to model-based diagnosis," in Proc. 14th European Conf. Artificial Intelligence ECAI, Berlin, Germany, 2000, pp. 136-140.
12. R. Davis, "Diagnostic reasoning based on structure and behavior," Artif. Intell., vol. 24, pp. 347-410, 1984.
13. J. De Kleer, A. Mackworth, and R. Reiter, "Characterizing diagnoses and systems," Artif. Intell., vol. 56, no. 2-3, pp. 197-222, 1992.
14. J. De Kleer, O. Raiman, and M. Shirley, "One step lookahead is pretty good," in Proc. 2nd Int. Workshop Principles Diagnosis DX, Milan, Italy, 1991, pp. 136-142.
15. J. De Kleer and B. C. Williams, "Diagnosing multiple faults," Artif. Intell., vol. 32, no. 1, pp. 97-130, 1987.
16. Pattern Recognition, 2nd ed., S. Theodoridis and K. Koutroumbas, Eds., Academic, New York, 2003.
17. P.M. Frank, "Analytical and qualitative model-based fault diagnosis - A survey and some new results," Eur. J. Control, vol. 2, pp. 6-28, 1996.
18. J.J. Gertler, "Analytical redundancy methods in fault detection and isolation," in Proc. IFAC Fault Detection, Supervision Safety Technical Processes, Baden-Baden, Germany, 1991, pp. 9-21.
19. J.J. Gertler, Fault Detection and Diagnosis in Engineering Systems. New York: Marcel Dekker, 1998.
20. W. Hamscher, L. Console, and J. de Kleer, Eds., Readings in Model-Based Diagnosis. San Mateo, CA: Morgan Kaufmann, 1992.
21. W. V. D. Hodge and D. Pedoe, Methods of Algebraic Geometry. Cambridge, U.K.: Cambridge University Press, 1952.
22. R. Isermann, "Supervision, fault detection and fault-diagnosis methods - An introduction," Contr. Eng. Prac., vol. 5, no. 5, pp. 639-652, 1997.
23. R. Isermann, "Process fault diagnosis based on process knowledge," in Proc. IFAC-AIPAC'89, Advanced Information Processing Automatic Control, vol. II, Nancy, France, 1989, pp. 23-27.
24. M. Krysander and M. Nyberg, "Structural analysis utilizing MSS sets with application to a paper plant," in Proc. 13th Int. Workshop Principles Diagnosis DX, Semmering, Austria, 2002, pp. 51-57.
25. E. Loiez and P. Taillibert, "Polynomial temporal band sequences for analog diagnosis," in Proc. Int. Joint Conf. Artificial Intelligence IJCAI, Nagoya, Japan, Aug. 1997, pp. 474-479.
26. R. J. Patton and J. Chen, "A review of parity space approaches to fault diagnosis," in Proc. 4th IFAC Symp. Fault Detection, Supervision Safety Technical Processes SAFEPROCESS, Baden-Baden, Germany, 1991, pp. 239-255.
27. Y. Peng and J. Reggia, Abductive Inference Models for Diagnostic Problem Solving. New York: Springer-Verlag, 1990.
28. S. Ploix, O. Adrot, and J. Ragot, "Bounding approach to the diagnosis of a class of uncertain static systems," in Proc. 4th IFAC Symp. Fault Detection, Supervision Safety Technical Processes SAFEPROCESS, Budapest, Hungary, 2000, pp. 149-154.
29. B. Pulido and C. Alonso, "Possible conflicts, ARR's, and conflicts," in Proc. 13th Int. Workshop Principles Diagnosis DX, Semmering, Austria, 2002, pp. 122-128.
30. O. Raiman, The Alibi Principle, Readings in Model-Based Diagnosis, W. Hamscher, L. Console, and J. de Kleer, Eds. San Mateo, CA: Morgan Kaufmann, 1992, pp. 66-70.
31. R. Reiter, "A theory of diagnosis from first principles," Artif. Intell., vol. 32, no. 1, pp. 57-96, 1987.
32. M. Staroswiecki, J. P. Cassar, and V. Cocquempot, "Generation of optimal structured residuals in the parity space," in Proc. 12th IFAC Word Congr., vol. 5, Sydney, Australia, 1993, pp. 535-542.
33. M. Staroswiecki, "Quantitative and qualitative models for faults detection and isolation," Int. J. Mech. Syst. Signal Process., vol. 14, no. 3, pp. 301-325, 2000.
34. M. Staroswiecki and G. Comtet-Varga, "Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems," Automatica, vol. 37, no. 5, pp. 687-699, 2001.