DeepAI AI Chat
Log In Sign Up

Approximate Model-Based Diagnosis Using Greedy Stochastic Search

by   Alexander Feldman, et al.

We propose a StochAstic Fault diagnosis AlgoRIthm, called SAFARI, which trades off guarantees of computing minimal diagnoses for computational efficiency. We empirically demonstrate, using the 74XXX and ISCAS-85 suites of benchmark combinatorial circuits, that SAFARI achieves several orders-of-magnitude speedup over two well-known deterministic algorithms, CDA* and HA*, for multiple-fault diagnoses; further, SAFARI can compute a range of multiple-fault diagnoses that CDA* and HA* cannot. We also prove that SAFARI is optimal for a range of propositional fault models, such as the widely-used weak-fault models (models with ignorance of abnormal behavior). We discuss the optimality of SAFARI in a class of strong-fault circuit models with stuck-at failure modes. By modeling the algorithm itself as a Markov chain, we provide exact bounds on the minimality of the diagnosis computed. SAFARI also displays strong anytime behavior, and will return a diagnosis after any non-trivial inference time.


page 1

page 2

page 3

page 4


Sound, Complete, Linear-Space, Best-First Diagnosis Search

Various model-based diagnosis scenarios require the computation of the m...

Similarity Matching Techniques for Fault Diagnosis in Automotive Infotainment Electronics

Fault diagnosis has become a very important area of research during the ...

Memory-Limited Model-Based Diagnosis

Various model-based diagnosis scenarios require the computation of most ...

Detecting a single fault in a deterministic finite automaton

Given a deterministic finite automaton and its implementation with at mo...

Efficient Test Selection in Active Diagnosis via Entropy Approximation

We consider the problem of diagnosing faults in a system represented by ...

Maximum Error Modeling for Fault-Tolerant Computation using Maximum a posteriori (MAP) Hypothesis

The application of current generation computing machines in safety-centr...

A Model-Based Active Testing Approach to Sequential Diagnosis

Model-based diagnostic reasoning often leads to a large number of diagno...