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

Xiaoguang Han Kuize Zhang Zhiwu Li

Published in: CDC (2022)

Keyphrases

discrete event systems
petri net
complex systems
model based diagnosis
telecommunication networks
failure diagnosis
discrete event
timed petri nets
post processing
model checking
dynamic systems
formal verification
cost effective