Towards Model-Based Diagnosis of Coordination Failures.
Meir KalechGal A. KaminkaPublished in: AAAI (2005)
Keyphrases
- model based diagnosis
- repair actions
- failure diagnosis
- discrete event systems
- model based reasoning
- diagnostic reasoning
- dynamic systems
- consistency based diagnosis
- fault localization
- multi agent systems
- physical systems
- digital circuits
- diagnostic systems
- cooperative
- constraint programming
- failure detection
- multi agent
- model checking
- reinforcement learning