A Generalized Minimal Hitting-Set Algorithm to Handle Diagnosis With Behavioral Modes
2011 (English)In: IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, ISSN 1083-4427, Vol. 41, no 1, 137-148 p.Article in journal (Refereed) Published
To handle diagnosis with behavioral modes, a new generalized minimal hitting-set algorithm is presented. The key properties in comparison with that of the original minimal hitting-set algorithm given by de Kleer and Williams are that it can handle more than two modes per component and also nonpositive conflicts. The algorithm computes a logical formula that characterizes all diagnoses. Instead of minimal or kernel diagnoses, some specific conjunctions in the logical formula are used to characterize the diagnoses. These conjunctions are a generalization of both minimal and kernel diagnoses. From the logical formulas, it is also easy to derive the set of preferred diagnoses. One usage of the algorithm is fault isolation in the sense of fault detection and isolation (FDI). The algorithm is experimentally shown to provide significantly better performance compared to the fault isolation approach based on structured residuals, which is commonly used in FDI.
Place, publisher, year, edition, pages
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC, 445 HOES LANE, PISCATAWAY, NJ 08855-4141 USA , 2011. Vol. 41, no 1, 137-148 p.
Fault detection and isolation (FDI), fault diagnosis, fault isolation
Engineering and Technology
IdentifiersURN: urn:nbn:se:liu:diva-63153DOI: 10.1109/TSMCA.2010.2048750ISI: 000284095400012OAI: oai:DiVA.org:liu-63153DiVA: diva2:376667
©2011 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Mattias Nyberg, A Generalized Minimal Hitting-Set Algorithm to Handle Diagnosis With Behavioral Modes, 2011, IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART A-SYSTEMS AND HUMANS, (41), 1, 137-148.