Diagnosis of Complex Systems: Bridging the Methodologies of the FDI and DX Communities

Two distinct and parallel research communities have been working along the lines of the ModelBased Diagnosis approach: the FDI community and the DX community that have evolved in the fields of Automatic Control and Artificial Intelligence, respectively. This paper, which details and extends (Cordier et al., 2000a, 2000b), clarifies and links the concepts and assumptions that underlie the FDI analytical redundancy approach and the DX logical approach. The formal match of the two approaches is proved and the theoretical proof of their equivalence together with the necessary and sufficient conditions is provided. This work results from the collaboration existing within the French IMALAIA group supported by the French National Programs on Automatic Control GDR-Automatique and on Artificial Intelligence GDR-I3, and AFIA.

[1]  Raymond Reiter,et al.  Characterizing Diagnoses and Systems , 1992, Artif. Intell..

[2]  Marcel Staroswiecki,et al.  Analytical redundancy relations for fault detection and isolation in algebraic dynamic systems , 2001, Autom..

[3]  Randall Davis,et al.  Diagnostic Reasoning Based on Structure and Behavior , 1984, Artif. Intell..

[4]  Louise Travé-Massuyès,et al.  Application of Multiple Sliding Time Windows to Fault Detection Based on Interval Models , 2001 .

[5]  M. Staroswiecki,et al.  Advanced Design of the Decision Procedure in Failure Detection and Isolation Systems , 1994 .

[6]  Carlos Alonso González,et al.  Possible Conflicts, ARRs, and Conflicts , 2002 .

[7]  Brian C. Williams,et al.  Diagnosis with Behavioral Modes , 1989, IJCAI.

[8]  Johan de Kleer,et al.  One step lookahead is pretty good , 1992 .

[9]  P. Frank,et al.  Deterministic nonlinear observer-based approaches to fault diagnosis: A survey , 1997 .

[10]  J. Todd.  Methods of Algebraic Geometry , 1948, Nature.

[11]  Michèle Basseville,et al.  Detection of Abrupt Changes: Theory and Applications. , 1995 .

[12]  J. Reggia,et al.  Abductive Inference Models for Diagnostic Problem-Solving , 1990, Symbolic Computation.

[13]  Rolf Isermann,et al.  Supervision, fault-detection and fault-diagnosis methods — An introduction , 1997 .

[14]  Mattias Krysander,et al.  Structural Analysis Utilizing MSS Sets with Application to a Paper Plant , 2002 .

[15]  M. Staroswiecki,et al.  Generation of Optimal Structured Residuals in the Parity Space , 1993 .

[16]  M. Basseville,et al.  Surveillance et diagnostic de systèmes dynamiques: approches complémentaires du traitement de signal et de l'intelligence artificielle , 1996 .

[17]  Paul M. Frank,et al.  Issues of Fault Diagnosis for Dynamic Systems , 2010, Springer London.

[18]  Thierry Carpentier.  Placement de capteurs pour la surveillance des processus complexes , 1999 .

[19]  Louise Travé-Massuyès.  Le raisonnement qualitatif, pour les sciences de l'ingénieur , 1997 .

[20]  Marcel Staroswiecki,et al.  AI and Automatic Control Approaches of Model-Based Diagnosis: Links and Underlying Hypotheses , 2000 .

[21]  J. Reggia,et al.  Abductive Inference Models for Diagnostic Problem-Solving , 1990, Symbolic Computation.

[22]  J. Ragot,et al.  Fault detection with model parameter structured uncertainties , 1999, 1999 European Control Conference (ECC).

[23]  Daniele Theseider Dupré,et al.  A Spectrum of Definitions for Temporal Model-Based Diagnosis , 1998, Artificial Intelligence.

[24]  Luca Console,et al.  Readings in Model-Based Diagnosis , 1992 .

[25]  Janos J. Gertler,et al.  Analytical Redundancy Methods in Fault Detection and Isolation , 1991 .

[26]  E. A. Woods,et al.  Fault detection, supervision and safety for technical processes , 1993 .

[27]  M. Staroswiecki,et al.  ANALYTICAL REDUNDANCY IN NON LINEAR INTERCONNECTED SYSTEMS BY MEANS OF STRUCTURAL ANALYSIS , 1989 .

[28]  Étienne Loiez.  Contribution au diagnostic de systèmes analogiques : modélisation par bandes temporelles , 1997 .

[29]  Didier Maquin,et al.  Observability, redundancy, reliability and integrated design of measurement systems , 1994 .

[30]  R. Patton,et al.  A Review of Parity Space Approaches to Fault Diagnosis , 1991 .

[31]  Paul M. Frank,et al.  Analytical and Qualitative Model-based Fault Diagnosis - A Survey and Some New Results , 1996, Eur. J. Control.

[32]  Raymond Reiter,et al.  A Theory of Diagnosis from First Principles , 1986, Artif. Intell..

[33]  Russell Greiner,et al.  A Correction to the Algorithm in Reiter's Theory of Diagnosis , 1989, Artif. Intell..

[34]  Marcel Staroswiecki,et al.  A Comparative Analysis of AI and Control Theory Approaches to Model-based Diagnosis , 2000, ECAI.

[35]  Janos Gertler,et al.  Fault detection and diagnosis in engineering systems , 1998 .

[36]  Johan de Kleer,et al.  An Assumption-Based TMS , 1987, Artif. Intell..

[37]  Brian C. Williams,et al.  Diagnosing Multiple Faults , 1987, Artif. Intell..

[38]  Marie-Odile Cordier,et al.  Monitoring and Alarm Interpretation in Industrial Environments , 1998, AI Commun..