Opacity verification in stochastic discrete event systems.

Anooshiravan Saboori Christoforos N. Hadjicostis

Published in: CDC (2010)

Keyphrases

discrete event systems
timed petri nets
petri net
discrete event
complex systems
telecommunication networks
model based diagnosis
failure diagnosis
model checking
dynamic systems
temporal constraints
simulation model
monte carlo
signature verification
databases
np hard