广东工业大学学报2023，Vol.40Issue(3)：32-37,6.DOI:10.12052/gdutxb.210169
基于双向观测器的随机离散事件系统的不透明性
Opacity Verification in Stochastic Discrete Event Systems Using Two-way Observers
摘要
关键词
随机离散事件系统/双向观测器/无穷步不透明/K步不透明性分类
信息技术与安全科学引用本文复制引用
亓国照,刘富春,崔洪刚..基于双向观测器的随机离散事件系统的不透明性[J].广东工业大学学报,2023,40(3):32-37,6.基金项目
国家自然科学基金资助项目(61672722) （61672722）
广东省自然科学基金资助项目(2023A1515012783) （2023A1515012783）
