Multi-step state-based opacity for unambiguous weighted machines  

作　　者：Zhipeng ZHANG Chengyi XIA Guoyuan QI Jun FU 

机构地区：[1]School of Artificial Intelligence,Tiangong University,Tianjin 300387,China [2]School of Control Science and Engineering,Tiangong University,Tianjin 300387,China [3]State Key Laboratory of Synthetical Automation for Process Industries,Northeastern University,Shenyang 110819,China

出　　处：《Science China(Information Sciences)》2024年第11期207-217,共11页中国科学（信息科学）（英文版）

基　　金：supported by National Natural Science Foundation of China(Grant Nos.62203328,62173247);Tianjin Natural Science Foundation of China(Grant Nos.21JCQNJC00840,22JCZDJC00550);National Key Research and Development Program of China(Grant No.2018AAA0101603)。

摘　　要：Opacity is a central concept in the issue of privacy security and has been studied extensively in fields such as finite automata,probabilistic automata,and stochastic automata.Here,we investigate the problem of validating multi-step opaque properties through unambiguous weighted machines from the perspective of cyber-physical systems.First,the notion of multi-step state-based opacity for unambiguous weighted machines is presented and defined.It includes two variants of delays with a finite K and infinite steps.Subsequently,the weighted state estimate with K(infinite)-step delay is established by abstracting the possible state set that the system could have through these weighted observations.Meanwhile,to keep the observable weighted sequence consistent between the bidirectional observers,the unobserved weights of the reverse weighted machine are assumed to be reserved.Subsequently,the existence conditions are developed,and the corresponding algorithms,termed the weighted bidirectional observer,are generalized to verify these properties.Finally,several numerical examples are illustrated to demonstrate the effectiveness of the proposed method.Taken together,the current approach will be conducive to a deep understanding of the security and privacy of cyber-physical systems.

关 键 词：logical dynamical systems weighted state machine state estimation OPACITY cyber physical systems 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]