A Model-Based Active Testing Approach to Sequential Diagnosis

Model-based diagnostic reasoning often leads to a large number of diagnostic hypotheses. The set of diagnoses can be reduced by taking into account extra observations (passive monitoring), measuring additional variables (probing) or executing additional tests (sequential diagnosis/test sequencing). In this paper we combine the above approaches with techniques from Automated Test Pattern Generation (ATPG) and Model-Based Diagnosis (MBD) into a framework called Fractal (FRamework for ACtive Testing ALgorithms). Apart from the inputs and outputs that connect a system to its environment, in active testing we consider additional input variables to which a sequence of test vectors can be supplied. We address the computationally hard problem of computing optimal control assignments (as defined in Fractal) in terms of a greedy approximation algorithm called FractalG . We compare the decrease in the number of remaining minimal cardinality diagnoses of FractalG to that of two more Fractal algo...

• Type: Journal
• Year: 2010
• Where: JAIR
• Authors: Alexander Feldman, Gregory M. Provan, Arjan J. C. van Gemund
• Keywords: Active Testing, Algorithms, Fractal, JAIR 2010