Model-Based Diagnosis with Multiple Observations.
Alexey IgnatievAntónio MorgadoGeorg WeissenbacherJoão Marques-SilvaPublished in: IJCAI (2019)
Keyphrases
- model based diagnosis
- model based reasoning
- dynamic systems
- consistency based diagnosis
- discrete event systems
- diagnostic reasoning
- fault localization
- physical systems
- digital circuits
- diagnostic systems
- constraint programming
- failure diagnosis
- model checking
- computational complexity
- knowledge acquisition
- hardware designs