Generalized Half-Split Search for Model-Based Diagnosis.

Jiah-Shing Chen Sargur N. Srihari

Published in: IEEE Trans. Syst. Man Cybern. Syst. (1994)

Keyphrases

model based diagnosis
search algorithm
diagnostic reasoning
model based reasoning
discrete event systems
dynamic systems
physical systems
search space
diagnostic process
consistency based diagnosis
constraint programming
fault localization
fault models
knowledge base
model checking
expert systems
hardware designs