TIGER with model based diagnosis: initial deployment.

Robert Milne Charlie Nicol Louise Travé-Massuyès

Published in: Knowl. Based Syst. (2001)

Keyphrases

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