Integrating Model-based Diagnosis Techniques into Current Work Processes - Three Case Studies from the INDIA Project.
Heiko MildeThomas GuckenbiehlAndreas MalikBernd NeumannPeter StrussPublished in: AI Commun. (2000)
Keyphrases
- model based diagnosis
- discrete event systems
- diagnostic reasoning
- consistency based diagnosis
- dynamic systems
- physical systems
- fault localization
- model based reasoning
- digital circuits
- diagnostic systems
- current status
- hardware designs
- qualitative models
- model checking
- knowledge representation
- constraint programming
- decision problems
- search space
- objective function
- decision making