Inexpensive Cost-Optimized Measurement Proposal for Sequential Model-Based Diagnosis.
Patrick RodlerWolfgang SchmidKonstantin SchekotihinPublished in: DX (2017)
Keyphrases
- model based diagnosis
- model based reasoning
- diagnostic reasoning
- discrete event systems
- consistency based diagnosis
- dynamic systems
- fault localization
- physical systems
- digital circuits
- repair actions
- diagnostic systems
- failure diagnosis
- fault models
- constraint programming
- diagnostic process
- model checking
- hardware designs
- cooperative