Keyphrases
- extended abstract
- model based diagnosis
- model based reasoning
- discrete event systems
- consistency based diagnosis
- dynamic systems
- diagnostic reasoning
- physical systems
- failure diagnosis
- digital circuits
- fault localization
- diagnostic systems
- model checking
- complex systems
- fault models
- multi agent
- qualitative models
- constraint programming
- distributed systems
- medical images