Modeling failure priors and persistence in model-based diagnosis.

Sampath Srinivas

Published in: UAI (1995)

Keyphrases

model based diagnosis
repair actions
model based reasoning
consistency based diagnosis
diagnostic reasoning
physical systems
discrete event systems
dynamic systems
fault localization
digital circuits
model checking
diagnostic systems
failure diagnosis
constraint programming
fault tolerance