摘要
针对离散事件系统(DES)的不透明性问题,结合具有分层(hierarchical)结构的自动机模型,提出了分层离散事件系统的不透明性.对分层离散事件系统进行标准化,给出了分层离散事件系统不透明性和K延迟不透明性两个概念.为了对分层离散事件系统的两种不透明性进行验证,分别构造了两种相应的不透明性验证器,得到了关于不透明性和K延迟不透明性的充分必要条件,并对构造不透明性验证器的复杂度进行了分析.
Considering the opaque problem of discrete event systems (DESs), we propose a method to verify the opacity of DESs with a hierarchical structure. First, we formalize hierarchical DESs, and then introduce two concepts of the hierarchical DES:opacity and K-delay opacity. To verify the opacity of systems, we propose two respective corresponding verifiers, obtain the necessary and sufficient conditions for opacity and K-delay opacity, and then analyze the complexity of constructing an opacity verifier.
作者
刘富春
严飞
赵锐
崔洪刚
LIU Fuchun;YAN Fei;ZHAO Rui;CUI Honggang(School of Computers, Guangdong University of Technology, Guangzhou 510006, China)
出处
《信息与控制》
CSCD
北大核心
2019年第3期339-343,353,共6页
Information and Control
基金
国家自然科学基金资助项目(6167020389)
广东省教育厅省级重大项目(2014KZDXM033)
