Model-Based Diagnosis of Time Shift Failures in Discrete Event Systems: A (Max, +) Observer-Based Approach.
Claire PayaEuriell Le CorroncYannick PencoléPhilippe VialletellePublished in: KES-IDT (2021)
Keyphrases
- discrete event systems
- model based diagnosis
- failure diagnosis
- repair actions
- complex systems
- diagnostic reasoning
- dynamic systems
- model based reasoning
- petri net
- timed petri nets
- fault localization
- consistency based diagnosis
- physical systems
- digital circuits
- telecommunication networks
- constraint programming
- model checking
- cooperative
- diagnostic process
- optimal solution