Keyphrases
- model based diagnosis
- model based reasoning
- consistency based diagnosis
- diagnostic reasoning
- dynamic systems
- discrete event systems
- fault localization
- physical systems
- diagnostic systems
- constraint programming
- repair actions
- model checking
- failure diagnosis
- digital circuits
- fault models
- diagnostic process
- search space
- fault model
- qualitative models
- knowledge acquisition
- np hard