Login / Signup

On the Use of OBDDs in Model Based Diagnosis: an Approach Based on the Partition of the Model.

Gianluca TortaPietro Torasso
Published in: SGAI Conf. (2005)
Keyphrases
  • model based diagnosis
  • search algorithm
  • expert systems
  • model based reasoning
  • fault localization