An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis

  title={An Efficient Algorithm for Finding Minimal Overconstrained Subsystems for Model-Based Diagnosis},
  author={Mattias Krysander and Jan {\AA}slund and Mattias Nyberg},
  journal={IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans},
In model-based diagnosis, diagnostic system construction is based on a model of the technical system to be diagnosed. To handle large differential algebraic imemodels and to achieve fault isolation, a common strategy is to pick out small overconstrained parts of the model and to test these separately against measured signals. In this paper, a new algorithm for computing all minimal overconstrained subsystems in a model is proposed. For complexity comparison, previous algorithms are recalled. It… CONTINUE READING
Highly Influential
This paper has highly influenced 17 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 104 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.


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

104 Citations

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

See our FAQ for additional information.


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

Structural analysis of fault isolability in the DAMADICS benchmark

  • D. Düştegör, E. Frisk, V. Coquempot, M. Krysander, M. Staroswiecki
  • Control Eng. Pract., vol. 14, no. 6, pp. 597–608…
  • 2006
1 Excerpt

Structural analysis—A case study of the Römer satellite

  • T. Lorentzen, M. Blanke, H. Niemann
  • Proc. IFAC Safeprocess, Washington, DC, 2003.
  • 2003
1 Excerpt

Possible conflicts, ARRs, and conflicts

  • B. Pulido, C. Alonso
  • Proc. DX, M. Stumptner and F. Wotawa, Eds…
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…