Verification of Strong K-Step Opacity for Discrete-Event Systems.

Xiaoguang Han Kuize Zhang Zhiwu Li

Published in: CoRR (2022)

Keyphrases

cost effective
discrete event systems
petri net
complex systems
telecommunication networks
model based diagnosis
discrete event
failure diagnosis
timed petri nets
special case
post processing
model checking
formal verification
multi agent
optimal solution
dynamic systems