Diagnosing Tree Structured Systems

  title={Diagnosing Tree Structured Systems},
  author={Markus Stumptner and Franz Wotawa},
This paper introduces the algorithm TREE DIAG for computing minimal diagnoses for tree structured systems. Diagnoses are computed by descending into the tree, enumerating the input combinations that might be reponsible for a given incorrect observation, and combining the diagnoses for the subtrees generating these inputs into diagnoses for the whole system. We prove soundness and correctness of the algorithm and show experimental results that indicate that it compares favorably to Reiter's… CONTINUE READING


Publications citing this paper.
Showing 1-10 of 49 extracted citations

QR 99 Loch Awe , Scotland Conflict-Driven Diagnosis using Relational Aggregations

Jakob Mauss'DaimlerChrysler
View 4 Excerpts
Highly Influenced

Parallel Model-Based Diagnosis

Handbook of Parallel Constraint Reasoning • 2018
View 1 Excerpt

Model-based fault localization in bottling plants

Advanced Engineering Informatics • 2015
View 1 Excerpt


Publications referenced by this paper.

Similar Papers

Loading similar papers…