Secure Your Intention: On Notions of Pre-Opacity in Discrete-Event Systems.

Shuo Yang Xiang Yin

Published in: CoRR (2020)

Keyphrases

discrete event systems
petri net
model based diagnosis
complex systems
telecommunication networks
timed petri nets
failure diagnosis
discrete event
temporal constraints
databases
search space
low level
simulation model
dynamic systems
security requirements