FlexDx: A reconfigurable diagnosis framework

Detecting and isolating multiple faults is a computationally expensive task. It typically consists of computing a set of tests and then computing the diagnoses based on the test results. This paper describes FlexDx, a reconfigurable diagnosis framework which reduces the computational burden while retaining the isolation performance by only running a subset of all tests that is sufficient to find new conflicts. Tests in FlexDx are thresholded residuals used to indicate conflicts in the monitored system. Special attention is given to the issues introduced by a reconfigurable diagnosis framework. For example, tests are added and removed dynamically, tests are partially performed on historic data, and synchronous and asynchronous processing are combined. To handle these issues FlexDx has been implemented using DyKnow, a stream-based knowledge processing middleware framework. Concrete methods for each component in the FlexDx framework are presented. The complete approach is exemplified on a dynamic system which clearly illustrates the complexity of the problem and the computational gain of the proposed approach.

[1]  Mattias Nyberg.  A Fault Isolation Algorithm for the Case of Multiple Faults and Multiple Fault Types , 2007 .

[2]  Peter Struss.  Testing for Discrimination of Diagnoses , 2007 .

[3]  E. S. Page.  CONTINUOUS INSPECTION SCHEMES , 1954 .

[4]  L.C.G.J.M. Habets,et al.  Book review: Introduction to mathematical systems theory, a behavioral approach , 2000 .

[5]  Johan de Kleer,et al.  Fundamentals of model-based diagnosis , 2003 .

[6]  Mattias Krysander,et al.  Combining AI, FDI, and Statistical Hypothesis-Testing in a Framework for Diagnosis , 2003 .

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

[8]  G. G. Stokes.  "J." , 1890, The New Yale Book of Quotations.

[9]  Mattias Nyberg.  A FAULT ISOLATION ALGORITHM FOR THE CASE OF MULTIPLE FAULTS AND MULTIPLE FAULT TYPES , 2006 .

[10]  Hajrudin Efendic.  Model-on-demand MATLAB toolbox for fault diagnosis , 2006 .

[11]  Erik Frisk,et al.  Determining the fault status of a component and its readiness, with a distributed automotive application , 2009, Eng. Appl. Artif. Intell..

[12]  Stéphane Ploix,et al.  A Logical Framework for Isolation in Fault Diagnosis , 2003 .

[13]  B. K. Panigrahi,et al.  ENGINEERING APPLICATIONS OF ARTIFICIAL INTELLIGENCE , 2010 .

[14]  Patrick Doherty,et al.  A knowledge processing middleware framework and its relation to the JDL data fusion model , 2005, 2005 7th International Conference on Information Fusion.

[15]  P. Frank.  On-line fault detection in uncertain nonlinear systems using diagnostic observers: a survey , 1994 .

[16]  W. Cholewa,et al.  Fault Diagnosis: Models, Artificial Intelligence, Applications , 2004 .

[17]  Marcel 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 , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

[18]  Mattias Krysander,et al.  Design and Analysis of Diagnosis Systems Using Structural Methods , 2006 .

[19]  Jan C. Willems,et al.  Introduction to mathematical systems theory: a behavioral approach, Texts in Applied Mathematics 26 , 1999 .

[20]  Erik Frisk,et al.  Residual Generation for Fault Diagnosis of Systems Described by Linear Differential-Algebraic Equations , 2006, IEEE Transactions on Automatic Control.

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

[22]  Frank M. Callier.  Book review: J. W. Polderman and J.C. Willems, "Introduction to Mathematical Systems Theory: a Behavioral Approach" (Springer Verlag 1998) , 2002 .

[23]  James A. Reggia,et al.  An experimental study of criteria for hypothesis plausibility , 1991, J. Exp. Theor. Artif. Intell..

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

[25]  Patrick Doherty,et al.  DyKnow: An approach to middleware for knowledge processing , 2004, J. Intell. Fuzzy Syst..

[26]  Ramine Nikoukhah,et al.  Innovations generation in the presence of unknown inputs: Application to robust failure detection , 1994, Autom..

[27]  Jonas Biteus.  Fault Isolation in Distributed Embedded Systems , 2007 .

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

[29]  Paul M. Frank,et al.  New developments using AI in fault diagnosis , 1996 .

[30]  Carlos Alonso González,et al.  Possible conflicts: a compilation technique for consistency-based diagnosis , 2004, IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics).

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

[32]  Editors , 1986, Brain Research Bulletin.

[33]  Miss A.O. Penney.  (b) , 1974, The New Yale Book of Quotations.

[34]  Erik Frisk.  Residual generation in linear stochastic systems-a polynomial approach , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[35]  Fredrik Heintz,et al.  DyKnow : A Stream-Based Knowledge Processing Middleware Framework , 2009 .

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

[37]  M. V. Iordache,et al.  Diagnosis and Fault-Tolerant Control , 2007, IEEE Transactions on Automatic Control.

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

[39]  Michèle Basseville,et al.  Detection of abrupt changes , 1993 .

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

[41]  Alberto Isidori,et al.  A geometric approach to nonlinear fault detection and isolation , 2000, IEEE Trans. Autom. Control..