EXACT - Model-based Diagnosis for Satellite Testing.
Henrik Smith-MeyerReimund KükeKjell TangenPublished in: SCAI (1995)
Keyphrases
- model based diagnosis
- discrete event systems
- diagnostic reasoning
- dynamic systems
- model based reasoning
- consistency based diagnosis
- digital circuits
- fault model
- fault localization
- physical systems
- diagnostic systems
- repair actions
- model checking
- hardware designs
- constraint programming
- remote sensing
- test suite
- conflict resolution
- knowledge acquisition
- medical images
- fault models
- np hard
- knowledge base