中国科学院数学与系统科学研究院期刊网
Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
CHU Qian, ZHANG Jiahui, HAN Xiaoguang, LI Zhiwu, CHEN Zengqiang
Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
CHU Qian, ZHANG Jiahui, HAN Xiaoguang, LI Zhiwu, CHEN Zengqiang
系统科学与复杂性(英文) . 2023, (5): 1830 -1850 .  DOI: 10.1007/s11424-023-2114-z