Probabilistic Model-Based Diagnosis for Electrical Power Systems
We present in this article a case study of the probabilistic
approach to model-based diagnosis. Here, the diagnosed
system is a real-world electrical power system, namely the
Advanced Diagnostic and Prognostic Testbed (ADAPT) located
at the NASA Ames Research Center. Our probabilistic approach
is formally …