Complexity of Detectability, Opacity and A-Diagnosability for Modular Discrete Event Systems.

Tomás Masopust Xiang Yin

Published in: CoRR (2017)

Keyphrases

discrete event systems
petri net
telecommunication networks
complex systems
discrete event
model based diagnosis
timed petri nets
failure diagnosis
dynamic systems
worst case
temporal constraints
image quality
lower bound
low level
computational complexity
multi agent
objective function
databases
database