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