Enforcing Detectability in Controlled Discrete Event Systems.

Shaolong Shu Feng Lin

Published in: IEEE Trans. Autom. Control. (2013)

Keyphrases

discrete event systems
petri net
complex systems
telecommunication networks
discrete event
model based diagnosis
timed petri nets
failure diagnosis
image quality
temporal constraints
dynamic programming
dynamic systems
signal detection
multi agent systems
np complete
global consistency