Keyphrases
- model based diagnosis
- hardware designs
- model based reasoning
- dynamic systems
- discrete event systems
- consistency based diagnosis
- diagnostic reasoning
- physical systems
- fault localization
- model checking
- constraint programming
- fault models
- diagnostic systems
- repair actions
- failure diagnosis
- diagnostic process
- case based reasoning
- knowledge base