Structural methods have previously been used to perform isolability analysis and ﬁnding testable sub-models, so called Minimal Structurally Overdetermined (MSO) sets, Analytical Redundancy Relations (ARR), or Possible Conﬂicts (PC). The number of MSO sets grows exponentially in the degree of redundancy making the task of computing MSO sets intractable for systems with high degree of redundancy. This paper describes an eﬃcient graph-theoretical algorithm for computing a similar, but smaller, set of testable submodels called Test Equation Supports (TES). A key diﬀerence, compared to an MSO based approach, is that the inﬂuence of faults is taken into account and the resulting number of testable models as well as the computational complexity of ﬁnding them can be reduced signiﬁcantly without reducing the possible diagnosis performance. It is shown that the TESs in a direct way characterize the complete multiple fault isolability property of a model and thus extends previous structural approaches from the single-fault case.
How to Cite
diagnosis, fault isolation, diagnosability analysis, multiple faults, structural analysis
(Blanke et al., 2006 ) M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki. Diagnosis and Fault-Tolerant Control. Springer, second edition, 2006.
(de Kleer and Williams, 1987 ) J. de Kleer and B.C. Williams. Diagnosing multiple faults. Artiﬁcial Intelligence, 32(1):97–130, 1987.
(Dulmage and Mendelsohn, 1958 ) A. L. Dulmage and N. S. Mendelsohn. Coverings of bipartite graphs. Canadian Journal of Mathematics, 10:517–534, 1958.
(Frisk et al., 2009 ) E. Frisk, M. Krysander, and J. Aslund. Sensor Placement for Fault Isolation in Linear Diﬀerential-Algebraic Systems. Automatica, 45(2):364–371, 2009.
(Gelso et al., 2008 ) E.R. Gelso, S.M. Castillo, and J. Armengol. An algorithm based on structural analysis for model-based fault diagnosis. In Artiﬁcial Intelligence Research and Development. Frontiers in Artiﬁcial Intelligence and Applications, volume 184, pages 138–147. IOS Press, 2008.
(Gertler, 1998 ) J. Gertler. Fault Detection and Diagnosis in Engineering Systems. Marcel Dekker, Inc., 1998.
(Krysander and Frisk, 2008 ) M. Krysander and E. Frisk. Sensor placement for fault diagnosis. IEEE Transactions on Systems, Man, and Cybernetics – Part A: Systems and Humans, 38(6):1398–1410, 2008.
(Krysander et al., 2008 ) Mattias Krysander, Jan Aslund, and Mattias Nyberg. An eﬃcient algorithm for ﬁnding minimal over-constrained sub-systems for model-based diagnosis. IEEE Transactions on Systems, Man, and Cybernetics – Part A: Systems and Humans, 38(1), 2008.
(Krysander, 2006 ) Mattias Krysander. Design and Analysis of Diagnosis Systems Using Structural Methods. PhD thesis, Link¨opings universitet, June 2006.
(Pucel et al., 2009 ) X. Pucel, W. Mayer, and M. Stumptner. Diagnosability analysis without fault models. In 20th International Workshop on Principles of Diagnosis (DX-09), pages 67–74, Stockholm, Sweden, 2009.
(Pulido and Alonso-Gonz´alez, 2004 ) B. Pulido and C. Alonso-Gonz´alez. Possible Conﬂicts: a compilation technique for consistencybased diagnosis. IEEE Trans. on Systems, Man, and Cybernetics. Part B: Cybernetics, 34(5):2192–2206, Octubre 2004.
( Reiter, 1987 ) R. Reiter. A Theory of Diagnosis from First Principles. Artiﬁcial Intelligence, 32:57–95, 1987.
(Trav´e-Massuy`es et al., 2006 ) L. Trav´e-Massuy`es, T. Escobet, and X. Olive. Diagnosability analysis based on component-supported analytical redundancy relations. IEEE Transaction on Systems, Man, and Cybernetics – Part A, 36(6):1146–1160, 2006.
The Prognostic and Health Management Society advocates open-access to scientific data and uses a Creative Commons license for publishing and distributing any papers. A Creative Commons license does not relinquish the author’s copyright; rather it allows them to share some of their rights with any member of the public under certain conditions whilst enjoying full legal protection. By submitting an article to the International Conference of the Prognostics and Health Management Society, the authors agree to be bound by the associated terms and conditions including the following:
As the author, you retain the copyright to your Work. By submitting your Work, you are granting anybody the right to copy, distribute and transmit your Work and to adapt your Work with proper attribution under the terms of the Creative Commons Attribution 3.0 United States license. You assign rights to the Prognostics and Health Management Society to publish and disseminate your Work through electronic and print media if it is accepted for publication. A license note citing the Creative Commons Attribution 3.0 United States License as shown below needs to be placed in the footnote on the first page of the article.
First Author et al. This is an open-access article distributed under the terms of the Creative Commons Attribution 3.0 United States License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original author and source are credited.