Structural abstraction for model-based diagnosis with a strong fault model.
Orel ElimelechRoni SternMeir KalechPublished in: Knowl. Based Syst. (2018)
Keyphrases
- model based diagnosis
- fault model
- fault models
- hardware designs
- safety analysis
- fault injection
- diagnostic reasoning
- discrete event systems
- model based reasoning
- consistency based diagnosis
- digital circuits
- dynamic systems
- fault localization
- failure diagnosis
- diagnostic process
- physical systems
- case based reasoning
- heuristic search