Model-based diagnosis versus error explanation.

Heinz Riener Görschwin Fey

Published in: MEMOCODE (2012)

Keyphrases

model based diagnosis
model based reasoning
dynamic systems
diagnostic reasoning
fault localization
physical systems
consistency based diagnosis
digital circuits
discrete event systems
diagnostic systems
model checking
constraint programming
hardware designs
failure diagnosis
bayesian networks
fault models