Opacity formulations and verification in discrete event systems.

Christoforos N. Hadjicostis Christoforos Keroglou

Published in: ETFA (2014)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
timed petri nets
discrete event
failure diagnosis
temporal constraints
model checking
formal verification
ambient intelligence
simulation model
signature verification