Login / Signup
Integrating Model-based Diagnosis Techniques into Current Work Processes - Three Case Studies from the INDIA Project.
Heiko Milde
Thomas Guckenbiehl
Andreas Malik
Bernd Neumann
Peter Struss
Published 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