Fault Manifestability Verification for Discrete Event Systems.

Lina Ye Philippe Dague Delphine Longuet Laura Brandán Briones Agnes Madalinski

Published in: ECAI (2016)

Keyphrases

discrete event systems
petri net
complex systems
failure diagnosis
telecommunication networks
fault diagnosis
discrete event
model based diagnosis
timed petri nets
temporal constraints
model checking
fault detection
dynamic systems
neural network
simulation model
np complete
relational databases
data streams