A Methodology for Model-based Diagnosis of Analogue Circuits.
Anton BiasizzoFranc NovakPublished in: Appl. Artif. Intell. (2000)
Keyphrases
- model based diagnosis
- digital circuits
- fault models
- discrete event systems
- model based reasoning
- dynamic systems
- diagnostic reasoning
- consistency based diagnosis
- physical systems
- fault localization
- constraint programming
- diagnostic process
- failure diagnosis
- model checking
- repair actions
- fault model
- diagnostic systems