Opacity-enforcing supervisory strategies for secure discrete event systems.

Anooshiravan Saboori Christoforos N. Hadjicostis

Published in: CDC (2008)

Keyphrases

discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
failure diagnosis
timed petri nets
discrete event
control system
special case
search algorithm
dynamic systems
temporal constraints
security issues