A Two-Step Hierarchical Algorithm for Model-Based Diagnosis

  title={A Two-Step Hierarchical Algorithm for Model-Based Diagnosis},
  author={Alexander Feldman and Arjan J. C. van Gemund},
For many large systems the computational complexity of complete model-based diagnosis is prohibitive. In this paper we investigate the speedup of the diagnosis process by exploiting the hierarchy/locality as is typically present in wellengineered systems. The approach comprises a compile-time and a run-time step. In the first step, a hierarchical CNF representation of the system is compiled to hierarchical DNF of adjustable hierarchical depth. In the second step, the diagnoses are computed from… CONTINUE READING
Highly Cited
This paper has 50 citations. REVIEW CITATIONS


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

51 Citations

Citations per Year
Semantic Scholar estimates that this publication has 51 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 16 references

A hybrid approach to hierarchical fault diagnosis

Alexander Feldman, G. A.v., A. Bos
Proc. DX’05, 101–106. • 2005

The complexity of the diagnosis problem

F. Vatan
Technical Report NPO-30315, Jet Propulsion Laboratory, California Institute of Technology. • 2002
View 1 Excerpt