1 paper
Xiaoguang Han, Kuize Zhang, Zhiwu Li
In this paper, we investigate the verification and enforcement of strong state-based opacity (SBO) in discrete-event systems modeled as partially-observed (nondeterministic) finite…