Formalizing the Abstraction Process in Model-Based Diagnosis.

Lorenza Saitta Pietro Torasso Gianluca Torta

Published in: SARA (2007)

Keyphrases

model based diagnosis
model based reasoning
diagnostic process
physical systems
dynamic programming
diagnostic reasoning
fault localization