An Empirical Analysis of the Complexity of Model-Based Diagnosis.
Gregory M. ProvanPublished in: ECAI (2006)
Keyphrases
- model based diagnosis
- discrete event systems
- dynamic systems
- diagnostic reasoning
- model based reasoning
- consistency based diagnosis
- physical systems
- constraint programming
- fault localization
- complex systems
- failure diagnosis
- diagnostic systems
- digital circuits
- diagnostic process
- model checking
- hardware designs
- decision problems
- fault models
- description logics
- repair actions