Critical observations in model-based diagnosis.

Cody James Christopher Alban Grastien

Published in: Artif. Intell. (2024)

Keyphrases

model based diagnosis
discrete event systems
dynamic systems
model based reasoning
consistency based diagnosis
diagnostic reasoning
fault localization
physical systems
digital circuits
diagnostic systems
model checking
medical images
qualitative models
hardware designs
multi agent systems
constraint programming