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

Shuo Yang Xiang Yin

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

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
discrete event
failure diagnosis
timed petri nets
simulation model
key management
temporal constraints
database systems
lower bound
eye movements
constraint satisfaction
dynamic systems