Parametric abstraction of behavioral modes for model-based diagnosis.
Gianluca TortaPietro TorassoPublished in: AI Commun. (2009)
Keyphrases
- model based diagnosis
- hardware designs
- model based reasoning
- discrete event systems
- diagnostic reasoning
- dynamic systems
- consistency based diagnosis
- fault localization
- digital circuits
- physical systems
- diagnostic systems
- constraint programming
- computational complexity
- cooperative
- automated reasoning
- qualitative models
- model checking
- expert systems