Enhancement of opacity for distributed state estimation in cyber-physical systems

被引:35
作者
An, Liwei [1 ]
Yang, Guang-Hong [1 ,2 ]
机构
[1] Northeastern Univ, Coll Informat Sci & Engn, Shenyang 110819, Peoples R China
[2] Northeastern Univ, State Key Lab Synthet Automat Proc Ind, Shenyang 110819, Peoples R China
基金
中国国家自然科学基金; 中国博士后科学基金;
关键词
Distributed state estimation; Opacity; Eavesdropping; Cyber-physical systems; ENFORCEMENT; PRIVACY; OPTIMIZATION; SECURITY;
D O I
10.1016/j.automatica.2021.110087
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Opacity, a confidentiality property that characterizes whether a "secret" of a system can be inferred by an outside intruder, is an increasing concern in cyber-physical systems (CPSs). The existing distributed estimation algorithms allow each node to broadcast its explicit state information to its neighbors, which results in the disclosure of CPS's secret state. To meet the confidentiality requirement, this paper formulates a new framework for opacity for distributed state estimation. Two opacityenhancing algorithms are proposed against the intruder models with different eavesdropping capacities for a subset of nodes. Necessary and sufficient conditions to ensure that a secret state is opaque are established in terms of the rank of constructed structural matrices of the eavesdropped nodes. Moreover, it is shown that the use of enhancement mechanism does not compromise the estimation accuracy. The framework of opacity is further extended to the case of measurement noises. (C) 2021 Elsevier Ltd. All rights reserved.
引用
收藏
页数:13
相关论文
共 48 条
[1]   Opacity Enforcement for Confidential Robust Control in Linear Cyber-Physical Systems [J].
An, Liwei ;
Yang, Guang-Hong .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2020, 65 (03) :1234-1241
[2]   Secure State Estimation Against Sparse Sensor Attacks With Adaptive Switching Mechanism [J].
An, Liwei ;
Yang, Guang-Hong .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (08) :2596-2603
[3]   Synthesis of opaque systems with static and dynamic masks [J].
Cassez, Franck ;
Dubreil, Jeremy ;
Marchand, Herve .
FORMAL METHODS IN SYSTEM DESIGN, 2012, 40 (01) :88-115
[4]  
Dubreil Jeremy, 2009, 2009 European Control Conference (ECC), P2584
[5]   Supervisory Control for Opacity [J].
Dubreil, Jeremy ;
Darondeau, Philippe ;
Marchand, Herve .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2010, 55 (05) :1089-1100
[6]   Enforcement and validation (at runtime) of various notions of opacity [J].
Falcone, Ylies ;
Marchand, Herve .
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2015, 25 (04) :531-570
[7]   Decentralized estimation of Laplacian eigenvalues in multi-agent systems [J].
Franceschelli, Mauro ;
Gasparri, Andrea ;
Giua, Alessandro ;
Seatzu, Carla .
AUTOMATICA, 2013, 49 (04) :1031-1036
[8]   Cloud-Enabled Differentially Private Multiagent Optimization With Constraints [J].
Hale, Matthew T. ;
Egerstedt, Magnus .
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2018, 5 (04) :1693-1706
[9]   Differentially Private Distributed Constrained Optimization [J].
Han, Shuo ;
Topcu, Ufuk ;
Pappas, George J. .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (01) :50-64
[10]   Preserving Data-Privacy With Added Noises: Optimal Estimation and Privacy Analysis [J].
He, Jianping ;
Cai, Lin ;
Guan, Xinping .
IEEE TRANSACTIONS ON INFORMATION THEORY, 2018, 64 (08) :5677-5690