Qualitative Event-based Diagnosis with Possible Conflicts: Case Study on the Third International Diagnostic Competition
We describe two model-based diagnosis algo- rithms entered into the Third International Diag- nostic Competition. We focus on the first diag- nostic problem of the industrial track of the com- petition in which a diagnosis algorithm must de- tect, isolate, and identify faults in an electrical power distribution …