Model-Based Diagnosis: An Overview.
Igor MozeticPublished in: Advanced Topics in Artificial Intelligence (1992)
Keyphrases
- model based diagnosis
- model based reasoning
- discrete event systems
- dynamic systems
- consistency based diagnosis
- diagnostic reasoning
- fault localization
- physical systems
- diagnostic systems
- digital circuits
- failure diagnosis
- model checking
- constraint programming
- diagnostic process
- hardware designs
- cooperative
- constraint satisfaction
- complex systems