Diagnosis of Temporal Faults in Discrete-Event Systems.
Nicola BertoglioGianfranco LampertiMarina ZanellaXiangfu ZhaoPublished in: ECAI (2020)
Keyphrases
- discrete event systems
- model based diagnosis
- temporal constraints
- failure diagnosis
- petri net
- dynamic systems
- discrete event
- timed petri nets
- complex systems
- telecommunication networks
- spatio temporal
- multiple faults
- temporal reasoning
- repair actions
- fault diagnosis
- constraint programming
- temporal information
- fault detection
- model checking
- fault models
- object oriented
- database
- spatial information
- expert systems