Approximate Model-Based Diagnosis Using Preference-Based Compilation.

Gregory M. Provan

Published in: SARA (2005)

Keyphrases

model based diagnosis
model based reasoning
diagnostic reasoning
discrete event systems
dynamic systems
physical systems
consistency based diagnosis
digital circuits
fault localization
diagnostic systems
failure diagnosis
constraint programming
knowledge base
qualitative and quantitative
diagnostic process