Hierarchical Diagnosis in Strong Fault Models

  title={Hierarchical Diagnosis in Strong Fault Models},
  author={Roni Stern and Meir Kalech and Orel Elimelech},
Cones are a special form of structural abstraction that were shown to be very effective in speeding up model-based diagnosis algorithms. This is achieved by first finding diagnoses to the abstract system, where every component is a cone, and then grounding that abstract diagnosis to be a diagnosis for the original system. Past work, either explicitly or implicitly, assume a weak faultmodel (WFM), where only the proper behavior of the system is specified. This paper addresses the use of cones in… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.

Similar Papers

Loading similar papers…