Verification and Enforcement of Strong State-Based Opacity for Discrete-Event Systems.

Xiaoguang Han Kuize Zhang Zhiwu Li

Published in: CoRR (2024)

Keyphrases

discrete event systems
petri net
complex systems
state space
telecommunication networks
timed petri nets
databases
model checking
high level
np complete
context aware