Diagnosing a Strong-Fault Model by Conflict and Consistency

The diagnosis method for a weak-fault model with only normal behaviors of each component has evolved over decades. However, many systems now demand a strong-fault models, the fault modes of which have specific behaviors as well. It is difficult to diagnose a strong-fault model due to its non-monotonicity. Currently, diagnosis methods usually employ conflicts to isolate possible fault and the process can be expedited when some observed output is consistent with the model’s prediction where the consistency indicates probably normal components. This paper solves the problem of efficiently diagnosing a strong-fault model by proposing a novel Logic-based Truth Maintenance System (LTMS) with two search approaches based on conflict and consistency. At the beginning, the original a strong-fault model is encoded by Boolean variables and converted into Conjunctive Normal Form (CNF). Then the proposed LTMS is employed to reason over CNF and find multiple minimal conflicts and maximal consistencies when there exists fault. The search approaches offer the best candidate efficiency based on the reasoning result until the diagnosis results are obtained. The completeness, coverage, correctness and complexity of the proposals are analyzed theoretically to show their strength and weakness. Finally, the proposed approaches are demonstrated by applying them to a real-world domain—the heat control unit of a spacecraft—where the proposed methods are significantly better than best first and conflict directly with A* search methods.

[1]  Si-Zhao Joe Qin,et al.  Survey on data-driven industrial process monitoring and diagnosis , 2012, Annu. Rev. Control..

[2]  P. Pandurang Nayak,et al.  A Model-Based Approach to Reactive Self-Configuring Systems , 1996, AAAI/IAAI, Vol. 2.

[3]  Brian C. Williams,et al.  Conflict-directed A* and its role in model-based embedded systems , 2007, Discret. Appl. Math..

[4]  Rolf Isermann,et al.  Fault-diagnosis systems : an introduction from fault detection to fault tolerance , 2006 .

[5]  Silvio Simani,et al.  Model-Based Fault Diagnosis Techniques , 2003 .

[6]  Steven X. Ding,et al.  A Survey of Fault Diagnosis and Fault-Tolerant Techniques—Part I: Fault Diagnosis With Model-Based and Signal-Based Approaches , 2015, IEEE Transactions on Industrial Electronics.

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

[8]  Inseok Hwang,et al.  A Survey of Fault Detection, Isolation, and Reconfiguration Methods , 2010, IEEE Transactions on Control Systems Technology.

[9]  Raghunathan Rengaswamy,et al.  A review of process fault detection and diagnosis: Part II: Qualitative models and search strategies , 2003, Comput. Chem. Eng..

[10]  Meir Kalech,et al.  Exploring the Duality in Conflict-Directed Model-Based Diagnosis , 2012, AAAI.

[11]  Steven X. Ding,et al.  A Survey of Fault Diagnosis and Fault-Tolerant Techniques—Part II: Fault Diagnosis With Knowledge-Based and Hybrid/Active Approaches , 2015, IEEE Transactions on Industrial Electronics.

[12]  Aleksandar Feldman,et al.  Approximation Algorithms for Model-Based Diagnosis , 2010 .

[13]  Roman Barták,et al.  Constraint Processing , 2009, Encyclopedia of Artificial Intelligence.

[14]  Adnan Darwiche,et al.  Decomposable negation normal form , 2001, JACM.

[15]  P. Pandurang Nayak,et al.  Back to the Future for Consistency-Based Trajectory Tracking , 2000, AAAI/IAAI.

[16]  Franz Wotawa,et al.  The Route to Success - A Performance Comparison of Diagnosis Algorithms , 2013, IJCAI.

[17]  Danwei Wang,et al.  Model-based Health Monitoring of Hybrid Systems , 2013, Springer New York.

[18]  Gregory M. Provan,et al.  Approximate Model-Based Diagnosis Using Greedy Stochastic Search , 2010, J. Artif. Intell. Res..

[19]  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).

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

[21]  Dietmar Jannach,et al.  MergeXplain: Fast Computation of Multiple Conflicts for Diagnosis , 2015, IJCAI.

[22]  Raghunathan Rengaswamy,et al.  A review of process fault detection and diagnosis: Part I: Quantitative model-based methods , 2003, Comput. Chem. Eng..

[23]  Raghunathan Rengaswamy,et al.  A review of process fault detection and diagnosis: Part III: Process history based methods , 2003, Comput. Chem. Eng..

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

[25]  Dietmar Jannach,et al.  A Divide-And-Conquer-Method for Computing Multiple Conflicts for Diagnosis , 2015, DX@Safeprocess.

[26]  Ulrich Junker,et al.  QUICKXPLAIN: Preferred Explanations and Relaxations for Over-Constrained Problems , 2004, AAAI.

[27]  Steven X. Ding,et al.  Data-driven Design of Fault Diagnosis and Fault-tolerant Control Systems , 2014 .

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

[29]  Jon Doyle,et al.  A Truth Maintenance System , 1979, Artif. Intell..