Keyphrases
- model based diagnosis
- model based reasoning
- diagnostic reasoning
- discrete event systems
- physical systems
- digital circuits
- dynamic systems
- consistency based diagnosis
- fault localization
- constraint programming
- diagnostic systems
- failure diagnosis
- cooperative
- model checking
- decision support system
- dynamic programming
- search space