Compiling Model-Based Diagnosis to Boolean Satisfaction.

Amit Metodi Roni Stern Meir Kalech Michael Codish

Published in: AAAI (2012)

Keyphrases

model based diagnosis
dynamic systems
diagnostic reasoning
model based reasoning
fault localization
discrete event systems
physical systems
consistency based diagnosis
constraint programming
digital circuits
qualitative models
failure diagnosis
model checking
diagnostic systems
diagnostic process