Probabilistic model-based diagnosis: An electrical power system case study

IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans

Volumn 40, Issue 5, 2010, Pages 874-885

  Mengshoel, Ole J ^a,b   Chavira, Mark ^c   Cascio, Keith ^d   Poll, Scott ^b   Darwiche, Adnan ^d   Uckun, Serdar ^e  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b NASA AMES RESEARCH CENTER   (United States)

^c GOOGLE INC   (United States)

^d Engineering IV   (United States)

^e PALO ALTO RESEARCH CENTER   (United States)

Author keywords

Aerospace; arithmetic circuits (ACs); Bayesian networks (BNs); domain modeling; electrical power systems (EPSs); knowledge engineering; model based diagnosis; real time systems; uncertainty

Indexed keywords

AEROSPACE; ARITHMETIC CIRCUIT; BAYESIAN NETWORKS (BNS); DOMAIN MODELING; ELECTRICAL POWER SYSTEM; MODEL-BASED DIAGNOSIS; UNCERTAINTY;

BAYESIAN NETWORKS; DISTRIBUTED PARAMETER NETWORKS; ELECTRIC NETWORK ANALYSIS; ELECTRIC POWER SUPPLIES TO APPARATUS; ELECTRICITY; EXPERIMENTS; INFERENCE ENGINES; INTEGRATING CIRCUITS; INTELLIGENT NETWORKS; KNOWLEDGE BASED SYSTEMS; KNOWLEDGE ENGINEERING; LOGIC CIRCUITS; NASA; SPECIFICATION LANGUAGES;

REAL TIME SYSTEMS;

EID: 77955854088     PISSN: 10834427     EISSN: None     Source Type: Journal    
DOI: 10.1109/TSMCA.2010.2052037     Document Type: Article

References (35)

1. S. Poll, A. Patterson-Hine, J. Camisa, D. Garcia, D. Hall, C. Lee, O. J. Mengshoel, C. Neukom, D. Nishikawa, J. Ossenfort, A. Sweet, S. Yentus, I. Roychoudhury, M. Daigle, G. Biswas, and X. Koutsoukos, "Advanced diagnostics and prognostics testbed," in Proc. 18th Int. Workshop DX, Nashville, TN, 2007, pp. 178-185.
2. J. Pearl, Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. San Mateo, CA: Morgan Kaufmann, 1988.
3. C.-F. Chien, S.-L. Chen, and Y.-S. Lin, "Using Bayesian network for fault location on distribution feeder," IEEE Trans. Power Del., vol.17, no.3, pp. 785-793, Jul. 2002.
4. Z. Yongli, H. Limin, and L. Jinling, "Bayesian network-based approach for power system fault diagnosis," IEEE Trans. Power Del., vol.21, no.2, pp. 634-639, Apr. 2006.
5. A. Darwiche, "A differential approach to inference in Bayesian networks," J. ACM, vol.50, no.3, pp. 280-305, 2003.
6. M. Chavira and A. Darwiche, "Compiling Bayesian networks using variable elimination," in Proc. 20th IJCAI, Hyderabad, India, 2007, pp. 2443-2449.
7. D. Musliner, J. Hendler, A. K. Agrawala, E. Durfee, J. K. Strosnider, and C. J. Paul, "The challenges of real-time AI," Computer, vol.28, no.1, pp. 58-66, Jan. 1995.
8. O. J. Mengshoel, "Designing resource-bounded reasoners using Bayesian networks: System health monitoring and diagnosis," in Proc. 18th Int. Workshop DX, Nashville, TN, 2007, pp. 330-337.
9. S. Singh, A. Kodali, K. Choi, K. R. Pattipati, S. M. Namburu, S. C. Sean, D. V. Prokhorov, and L. Qiao, "Dynamic multiple fault diagnosis: Math ematical formulations and solution techniques," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.39, no.1, pp. 160-176, Jan. 2009.
10. S. Ruan, Y. Zhou, F. Yu, K. R. Pattipati, P. Willett, and A. Patterson-Hine, "Dynamic multiple-fault diagnosis with imperfect tests," IEEE Trans. Syst., Man, Cybern. A, Syst., Humans, vol.39, no.6, pp. 1224-1236, Nov. 2009.
11. F. G. Cooper, "The computational complexity of probabilistic inference using Bayesian belief networks," Artif. Intell., vol. 42, no. 2/3, pp. 393-405, Mar. 1990.
12. E. Shimony, "Finding MAPs for belief networks is NP-hard," Artif. Intell., vol.68, no.2, pp. 399-410, Aug. 1994.
13. J. D. Park and A. Darwiche, "Complexity results and approximation strategies for MAP explanations," J. Artif. Intell. Res., vol.21, no.1, pp. 101-133, Jan. 2004.
14. R. M. Button and A. Chicatelli, "Electrical power system health management," in Proc. 1st Int. Forum Integr. Syst. Health Eng. Manage. Aerosp., Napa, CA, 2005.
15. B. W. Ricks and O. J. Mengshoel, "The diagnostic challenge competition: Probabilistic techniques for fault diagnosis in electrical power systems," in Proc. 20th Int. Workshop DX, Stockholm, Sweden, 2009.
16. O. J. Mengshoel, S. Poll, and T. Kurtoglu, "Developing large-scale Bayesian networks by composition: Fault diagnosis of electrical power systems in aircraft and spacecraft," in Proc. IJCAI SAS\Reasoning and Integration Challenges, 2009, pp. 59-66.
17. D. R. Bromaghim, J. R. Leduc, R. M. Salasovich, G. G. Spanjers, J. M. Fife, M. J. Dulligan, J. H. Schilling, D. C. White, and L. K. Johnson, "Review of the electric propulsion space experiment (ESEX) program," J. Propuls. Power, vol.18, no.4, pp. 723-730, 2002.
18. S. Lauritzen and D. J. Spiegelhalter, "Local computations with probabilities on graphical structures and their application to expert systems (with discussion)," J. R. Stat. Soc. Ser. B, vol.50, no.2, pp. 157-224, 1988.
19. F. V. Jensen, S. L. Lauritzen, and K. G. Olesen, "Bayesian updating in causal probabilistic networks by local computations," SIAM J. Comput., vol.4, pp. 269-282, 1990.
20. P. P. Shenoy, "A valuation-based language for expert systems," Int. J. Approx. Reason., vol.5, no.3, pp. 383-411, Sep. 1989.
21. J. Pearl, "A constraint\Propagation approach to probabilistic reasoning," in Uncertainty in Artificial Intelligence, L. N. Kanal and J. F. Lemmer, Eds. Amsterdam, The Netherlands: Elsevier, 1986, pp. 357-369.
22. A. Darwiche, "Recursive conditioning," Artif. Intell., vol. 126, no. 1/2, pp. 5-41, Feb. 2001.
23. Z. Li and B. D'Ambrosio, "Efficient inference in Bayes nets as a combinatorial optimization problem," Int. J. Approx. Reason., vol.11, no.1, pp. 55-81, Jul. 1994.
24. N. L. Zhang and D. Poole, "Exploiting causal independence in Bayesian network inference," J. Artif. Intell. Res., vol.5, no.1, pp. 301-328, Aug. 1996.
25. A. Darwiche, "A differential approach to inference in Bayesian networks," in Proc. 16th Conf. UAI, 2000, pp. 123-132.
26. J. D. Park and A. Darwiche, "A differential semantics for jointree algorithms," Artif. Intell., vol.156, no.2, pp. 197-216, Jul. 2004.
27. A. Darwiche, "A logical approach to factoring belief networks," in Proc. 8th Int. Conf. Principles Knowl. Representation Reason., 2002, pp. 409-420.
28. M. Chavira and A. Darwiche, "Compiling Bayesian networks with local structure," in Proc. 19th IJCAI, 2005, pp. 1306-1312.
29. O. J. Mengshoel, A. Darwiche, and S. Uckun, "Sensor validation using Bayesian networks," in Proc. 9th iSAIRAS, 2008.
30. R. D. Shachter, "Evaluating influence diagrams," Oper. Res., vol.34, no.6, pp. 871-882, Nov./Dec. 1986.
31. P. Kraaijeveld and M. Druzdzel, "GeNIeRate: An interactive generator of diagnostic Bayesian network models," in Proc. 16th Int. Workshop Principles Diagnosis, 2005, pp. 175-180.
32. K. Przytula, G. Isdale, and T.-S. Lu, "Collaborative development of large Bayesian networks," in Proc. IEEE Autotestcon, 2006, pp. 515-522.
33. R. Dechter, "Bucket elimination: A unifying framework for reasoning," Artif. Intell., vol. 113, no. 1/2, pp. 41-85, Sep. 1999.
34. O. J. Mengshoel, A. Darwiche, K. Cascio, M. Chavira, S. Poll, and S. Uckun, "Diagnosing faults in electrical power systems of spacecraft and aircraft," in Proc. 20th IAAI Conf., Chicago, IL, 2008, pp. 1699-1705.
35. A. Darwiche, Modeling and Reasoning With Bayesian Networks. Cambridge, U.K.: Cambridge Univ. Press, 2009.