Probabilistic Model-Based Diagnosis: An Electrical Power System Case Study

We present in this paper a case study of the probabilistic approach to model-based diagnosis. Here, the diagnosed system is a real-world electrical power system (EPS), i.e., the Advanced Diagnostic and Prognostic Testbed (ADAPT) located at the NASA Ames Research Center. Our probabilistic approach is formally well founded and based on Bayesian networks (BNs) and arithmetic circuits (ACs). We pay special attention to meeting two of the main challenges often associated with real-world application of model-based diagnosis technologies: model development and real-time reasoning. To address the challenge of model development, we develop a systematic approach to representing EPSs as BNs, supported by an easy-to-use specification language. To address the real-time reasoning challenge, we compile BNs into ACs. AC evaluation (ACE) supports real-time diagnosis by being predictable, fast, and exact. In experiments with the ADAPT BN, which contains 503 discrete nodes and 579 edges and produces accurate results, the time taken to compute the most probable explanation using ACs has a mean of 0.2625 ms and a standard deviation of 0.2028 ms. In comparative experiments, we found that, while the variable elimination and join tree propagation algorithms also perform very well in the ADAPT setting, ACE was an order of magnitude or more faster.

[1]  Krishna R. Pattipati,et al.  Dynamic multiple fault diagnosis with imperfect tests , 2004, Proceedings AUTOTESTCON 2004..

[2]  Adnan Darwiche,et al.  A differential approach to inference in Bayesian networks , 2000, JACM.

[3]  Tsai-Ching Lu,et al.  Collaborative Development of Large Bayesian Networks , 2006, 2006 IEEE Autotestcon.

[4]  Y. S. Lin,et al.  Using Bayesian Network for Fault Location on Distribution Feeder , 2002, IEEE Power Engineering Review.

[5]  Adnan Darwiche,et al.  A Logical Approach to Factoring Belief Networks , 2002, KR.

[6]  Adnan Darwiche,et al.  Compiling Bayesian Networks Using Variable Elimination , 2007, IJCAI.

[7]  Zhu Yongli,et al.  Bayesian networks-based approach for power systems fault diagnosis , 2006, IEEE Transactions on Power Delivery.

[8]  Ole J. Mengshoel,et al.  The Diagnostic Challenge Competition: Probabilistic Techniques for Fault Diagnosis in Electrical Power Systems , 2009 .

[9]  Gregory G. Spanjers,et al.  Review of the Electric Propulsion Space Experiment (ESEX) Program (Postprint) , 2002 .

[10]  Prakash P. Shenoy,et al.  A valuation-based language for expert systems , 1989, Int. J. Approx. Reason..

[11]  Adnan Darwiche,et al.  Modeling and Reasoning with Bayesian Networks , 2009 .

[12]  Adnan Darwiche,et al.  Compiling Bayesian Networks with Local Structure , 2005, IJCAI.

[13]  A. Darwiche,et al.  Complexity Results and Approximation Strategies for MAP Explanations , 2011, J. Artif. Intell. Res..

[14]  Solomon Eyal Shimony,et al.  Finding MAPs for Belief Networks is NP-Hard , 1994, Artif. Intell..

[15]  Adnan Darwiche,et al.  Recursive conditioning , 2001, Artif. Intell..

[16]  Zhaoyu Li,et al.  Efficient inference in Bayes networks as a combinatorial optimization problem , 1994, Int. J. Approx. Reason..

[17]  Steffen L. Lauritzen,et al.  Bayesian updating in causal probabilistic networks by local computations , 1990 .

[18]  Rina Dechter,et al.  Bucket Elimination: A Unifying Framework for Reasoning , 1999, Artif. Intell..

[19]  Ole J. Mengshoel,et al.  Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft , 2008, AAAI.

[20]  Judea Pearl,et al.  A Constraint-Propagation Approach to Probabilistic Reasoning , 1985, UAI.

[21]  David J. Spiegelhalter,et al.  Local computations with probabilities on graphical structures and their application to expert systems , 1990 .

[22]  Ole J. Mengshoel,et al.  Sensor Validation using Bayesian Networks , 2008 .

[23]  Ole J. Mengshoel,et al.  Designing Resource-Bounded Reasoners using Bayesian Networks: System Health Monitoring and Diagnosis , 2007 .

[24]  Ross D. Shachter.  Evaluating Influence Diagrams , 1986, Oper. Res..

[25]  Nevin Lianwen Zhang,et al.  Exploiting Causal Independence in Bayesian Network Inference , 1996, J. Artif. Intell. Res..

[26]  Judea Pearl,et al.  Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.

[27]  Pieter Kraaijeveld,et al.  GeNIeRate: An Interactive Generator of Diagnostic Bayesian Network Models , 2005 .

[28]  Krishna R. Pattipati,et al.  Dynamic Multiple Fault Diagnosis: Mathematical Formulations and Solution Techniques , 2009, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[29]  Ole J. Mengshoel,et al.  Developing Large-Scale Bayesian Networks by Composition: Fault Diagnosis of Electrical Power Systems in Aircraft and Spacecraft , 2009, IJCAI 2009.

[30]  Gregory F. Cooper,et al.  The Computational Complexity of Probabilistic Inference Using Bayesian Belief Networks , 1990, Artif. Intell..

[31]  Ole J. Mengshoel,et al.  Advanced Diagnostics and Prognostics Testbed , 2007 .

[32]  J. Hendler,et al.  The Challenges of Real-time Ai , 1995 .

[33]  Adnan Darwiche,et al.  A differential semantics for jointree algorithms , 2002, Artif. Intell..