Model-Based Diagnosis of Multi-Track Level Crossing Plants.
Baisi LiuMohamed GhazelArmand ToguyéniPublished in: IEEE Trans. Intell. Transp. Syst. (2016)
Keyphrases
- model based diagnosis
- discrete event systems
- model based reasoning
- dynamic systems
- diagnostic reasoning
- digital circuits
- fault localization
- consistency based diagnosis
- constraint programming
- physical systems
- hardware designs
- petri net
- failure diagnosis
- repair actions
- cooperative
- fault models
- diagnostic systems
- model checking
- complex systems
- dynamic programming