A Novel SAT-Based Approach to Model Based Diagnosis.
Amit MetodiRoni SternMeir KalechMichael CodishPublished in: J. Artif. Intell. Res. (2014)
Keyphrases
- model based diagnosis
- model based reasoning
- diagnostic reasoning
- discrete event systems
- consistency based diagnosis
- dynamic systems
- physical systems
- digital circuits
- fault models
- constraint programming
- fault localization
- diagnostic process
- satisfiability problem
- sat solvers
- repair actions
- diagnostic systems
- qualitative models
- failure diagnosis
- medical images
- computational complexity
- search algorithm