Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets.
Alexey IgnatievAntónio MorgadoJoão Marques-SilvaPublished in: CoRR (2017)
Keyphrases
- model based diagnosis
- diagnostic reasoning
- model based reasoning
- discrete event systems
- dynamic systems
- consistency based diagnosis
- physical systems
- fault localization
- diagnostic systems
- digital circuits
- repair actions
- hardware designs
- failure diagnosis
- complex systems
- fault model
- constraint programming
- fault models
- model checking
- knowledge acquisition