DxPCs: a toolbox for model-based diagnosis of dynamic systems using possible conflicts.
Belarmino PulidoAníbal BregónCarlos J. Alonso-GonzálezAlberto HernándezDavid RubioLuis Miguel VillarroelPublished in: Prog. Artif. Intell. (2016)
Keyphrases
- model based diagnosis
- dynamic systems
- consistency based diagnosis
- complex systems
- model based reasoning
- diagnostic reasoning
- qualitative reasoning
- discrete event
- discrete event systems
- fault localization
- dynamical systems
- physical systems
- diagnostic systems
- conflict resolution
- cooperative
- qualitative models
- digital circuits
- hardware designs
- linear time invariant
- diagnostic process
- fault models