Title: Computing minimal hitting set based on immune genetic algorithm
Authors: Gan Zhou; Wenquan Feng; Bofeng Jiang; Chao Li
Addresses: School of Electronic and Information Engineering, Beihang University, Beijing, 100191, China ' School of Electronic and Information Engineering, Beihang University, Beijing, 100191, China ' School of Electronic and Information Engineering, Beihang University, Beijing, 100191, China ' Department of Electrical Engineering, University of Southern California, Los Angeles, CA 90089, USA
Abstract: The primary bottleneck of many model-based diagnosis approaches is computing minimal hitting sets (MHSs). Most existing algorithms for computing MHSs are deterministic. Such algorithms are sound and complete but with the complexity of exponential, since the problem of computing MHSs is NP-hard. To reduce the complexity, especially for large systems, we present a novel approach for multiple fault diagnosis, based on an immune genetic algorithm (IGA). This approach maps a hitting set problem onto an integer programming problem, followed by obtaining the lower bound on the size of the solution. The use of the bound in the immune operator guides the MHS search. An elite-set strategy and an appropriate termination criterion are proposed to improve the efficiency of the approach. Experimental results show that our approach solves MHSs faster than the traditional deterministic algorithm in large-scale problems. Compared with the incomplete algorithm, the speed and accuracy of our approach are also significantly improved.
Keywords: model-based diagnosis; minimal hitting sets; MHS; immune operator; elite set strategy; integer programming; immune genetic algorithms; termination criterion; multiple fault diagnosis.
DOI: 10.1504/IJMIC.2014.059397
International Journal of Modelling, Identification and Control, 2014 Vol.21 No.1, pp.93 - 100
Published online: 07 Jun 2014 *
Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article