基于双向观测器的随机离散事件系统的不透明性  

Opacity Verification in Stochastic Discrete Event Systems Using Two-way Observers

作　　者：亓国照 刘富春[1] 崔洪刚[1] Qi Guo-zhao;Liu Fu-chun;Cui Hong-gang(School of Computer Science and Technology,Guangdong University of Technology,Guangzhou 510006,China)

机构地区：[1]广东工业大学计算机学院,广东广州510006

出　　处：《广东工业大学学报》2023年第3期32-37,共6页Journal of Guangdong University of Technology

基　　金：国家自然科学基金资助项目(61672722);广东省自然科学基金资助项目(2023A1515012783)。

摘　　要：本文针对随机系统模型,研究随机离散事件系统的不透明性。首先对随机无穷步不透明性和随机K步不透明性进行形式化。通过构造一个基于双向观测器的验证器,得到一个运用双向观测器验证系统随机无穷步不透明性和随机K步不透明性的充分必要条件。最后提出一个基于双向观测器的随机无穷步不透明性和随机K步不透明性验证算法。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.

关 键 词：随机离散事件系统 双向观测器 无穷步不透明 K步不透明性 

分 类 号：TP277[自动化与计算机技术—检测技术与自动化装置]