@article{Qi2023, 
author = {Guo-zhao Qi and Fu-chun Liu and Hong-gang Cui},
title = {Opacity Verification in Stochastic Discrete Event Systems Using Two-way Observers},
year = {2023},
journal = {Journal of Guangdong University of Technology},
volume = {40},
number = {3},
pages = {32-37},
keywords = {stochastic discrete event system, two-way observer, infinite-step opacity, K-step opacity},
url = {https://www.sciopen.com/article/10.12052/gdutxb.210169},
doi = {10.12052/gdutxb.210169},
abstract = {The opacity of stochastic discrete event system is studied for stochastic system models. Firstly, the notions of stochastic infinite-step opacity and stochastic K-step opacity are formalized. By constructing a validator based on a two-way observer, a necessary and sufficient condition is obtained to verify the stochastic infinite-step opacity and stochastic K-step opacity of systems by using the validator of two-way observer. Finally, the verification algorithm for stochastic infinite-step opacity and stochastic K-step opacity based on two-way observer is proposed.}
}