Controlling the Complexity in Model-Based Diagnosis.
Igor MozeticChristian HolzbaurPublished in: Ann. Math. Artif. Intell. (1994)
Keyphrases
- model based diagnosis
- discrete event systems
- model based reasoning
- dynamic systems
- diagnostic reasoning
- consistency based diagnosis
- physical systems
- fault localization
- complex systems
- digital circuits
- diagnostic systems
- constraint programming
- computational complexity
- logic programs
- diagnostic process
- cooperative
- repair actions