Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
CHU Qian, ZHANG Jiahui, HAN Xiaoguang, LI Zhiwu, CHEN Zengqiang
Journal of Systems Science & Complexity ›› 2023, Vol. 36 ›› Issue (5) : 1830-1850.
Infinite- and K-Step Opacity Verification of Discrete-Event Systems Under Nondeterministic Observations
{{custom_ref.label}} |
{{custom_citation.content}}
{{custom_citation.annotation}}
|
/
〈 | 〉 |