Keyphrases
- model based diagnosis
- multi agent systems
- model based reasoning
- dynamic systems
- discrete event systems
- diagnostic reasoning
- complex systems
- consistency based diagnosis
- physical systems
- fault localization
- multi agent
- agent technology
- digital circuits
- intelligent agents
- diagnostic systems
- failure diagnosis
- cooperative
- diagnostic process
- model checking
- qualitative models
- dynamical systems
- repair actions