• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Formalizing the Abstraction Process in Model-Based Diagnosis.

Lorenza SaittaPietro TorassoGianluca Torta
Published in: SARA (2007)
Keyphrases
  • model based diagnosis
  • model based reasoning
  • diagnostic process
  • physical systems
  • dynamic programming
  • diagnostic reasoning
  • fault localization