Diagnosing Faults in Electrical Power Systems of Spacecraft and Aircraft

Electrical power systems play a critical role in spacecraft and aircraft. This paper discusses our development of a diagnostic capability for an electrical power system testbed, ADAPT, using prohabilistic techniques. In the context of ADAPT, we present two challenges, regarding modelling and real-time performance, often encountered in real-world diagnostic applications. To meet the modelling challenge, we discuss our novel high-level specification language which supports autogeneration of Bayesian networks. To meet the real-time challenge, we compile Bayesian networks into arithmetic circuits. Arithmetic circuits typically have small footprints and are optimized for the real-time avionics systems found in spacecraft and aircraft. Using our approach, we present how Bayesian networks with over 400 nodes are auto-generated and then compiled into arithmetic circuits. Using real-world data from ADAPT as well as simulated data, we obtain average inference times smaller than one millisecond when computing diagnostic queries using arithmetic circuits that model our real-world electrical power system.

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

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

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

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

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

[6]  David C. Wilkins,et al.  Controlled generation of hard and easy Bayesian networks: Impact on maximal clique size in tree clustering , 2006, Artif. Intell..

[7]  Ole J. Mengshoel.  Macroscopic Models of Clique Tree Growth for Bayesian Networks , 2007, AAAI.

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

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

[10]  D. Heckerman,et al.  ,81. Introduction , 2022 .

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

[12]  Eric Horvitz,et al.  Probabilistic Diagnosis Using a Reformulation of the INTERNIST-1/QMR Knowledge Base Part II , 2016 .

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

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

[15]  Kristian G. Olesen,et al.  HUGIN - A Shell for Building Bayesian Belief Universes for Expert Systems , 1989, IJCAI.

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

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

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

[19]  James A. Hendler,et al.  The Challenges of Real-Time All , 1995, Computer.