Distributed Krein space-based attack detection over sensor networks under deception attacks

被引:295
作者
Ge, Xiaohua [1 ]
Han, Qing-Long [1 ]
Zhong, Maiying [2 ]
Zhang, Xian-Ming [1 ]
机构
[1] Swinburne Univ Technol, Sch Software & Elect Engn, Melbourne, Vic 3122, Australia
[2] Shandong Univ Sci & Technol, Coll Elect Engn & Automat, Qingdao 266590, Shandong, Peoples R China
基金
中国国家自然科学基金; 澳大利亚研究理事会;
关键词
Distributed attack detection; Sensor networks; Deception attacks; Distributed resilient estimation; Krein space; CYBER-PHYSICAL SYSTEMS; FAULT-DETECTION FILTER; TIME-VARYING SYSTEMS; FALSE DATA INJECTION; STATE ESTIMATION; DISCRETE; DESIGN; IMPLEMENTATION;
D O I
10.1016/j.automatica.2019.108557
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper is concerned with distributed attack detection for a discrete time-varying system monitored by a sensor network. An adversary simultaneously launches distinct data deception attacks on both the system dynamics and sensor intercommunication links so as to intentionally falsify the system state and the exchanged sensor measurement outputs. First, delicate distributed estimators are constructed, aiming to provide resilient local estimates for unavailable system state and appropriate residuals for attack detection. Second, an auxiliary Krein space state-space model as well as innovation analysis and a projection technique is skillfully employed to cast the finite horizon distributed estimator design problem into a minimization problem of a certain indefinite quadratic form. A necessary and sufficient condition on the existence of the minimum is derived. Third, a computational efficient recursive algorithm is developed to design desired distributed estimators such that the local estimates and residuals can be both determined at each time step. Furthermore, a two-stage distributed detection mechanism is proposed for each estimator to alert the attack occurrence. Specifically, it is shown that by properly choosing a weighting matrix parameter, each estimator can respectively detect the deception attacks launched on the system layer and sensor intercommunication links. Finally, the effectiveness of the proposed approach is demonstrated through numerical verification. (C) 2019 Elsevier Ltd. All rights reserved.
引用
收藏
页数:10
相关论文
共 35 条
[1]  
Cardenas Alvaro A., 2008, 2008 28th International Conference on Distributed Computing Systems Workshops (ICDCS Workshops), P495, DOI 10.1109/ICDCS.Workshops.2008.40
[2]   H-/H∞ fault detection filter design for discrete-time Takagi-Sugeno fuzzy system [J].
Chadli, Mohammed ;
Abdo, Ali ;
Ding, Steven X. .
AUTOMATICA, 2013, 49 (07) :1996-2005
[3]   False Data Injection on State Estimation in Power Systems-Attacks, Impacts, and Defense: A Survey [J].
Deng, Ruilong ;
Xiao, Gaoxi ;
Lu, Rongxing ;
Liang, Hao ;
Vasilakos, Athanasios V. .
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2017, 13 (02) :411-423
[4]   A Survey on Model-Based Distributed Control and Filtering for Industrial Cyber-Physical Systems [J].
Ding, Derui ;
Han, Qing-Long ;
Wang, Zidong ;
Ge, Xiaohua .
IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2019, 15 (05) :2483-2499
[5]   Distributed recursive filtering for stochastic systems under uniform quantizations and deception attacks through sensor networks [J].
Ding, Derui ;
Wang, Zidong ;
Ho, Daniel W. C. ;
Wei, Guoliang .
AUTOMATICA, 2017, 78 :231-240
[6]  
Ding S.X., 2008, MODEL BASED FAULT DI
[7]   FAULT SIGNATURES OBTAINED FROM FAULT IMPLANT TESTS ON AN F404 ENGINE [J].
EUSTACE, RW ;
WOODYATT, BA ;
MERRINGTON, GL ;
RUNACRES, A .
JOURNAL OF ENGINEERING FOR GAS TURBINES AND POWER-TRANSACTIONS OF THE ASME, 1994, 116 (01) :178-183
[8]   Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks [J].
Fawzi, Hamza ;
Tabuada, Paulo ;
Diggavi, Suhas .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (06) :1454-1467
[9]   Distributed Event-Triggered Estimation Over Sensor Networks: A Survey [J].
Ge, Xiaohua ;
Han, Qing-Long ;
Zhang, Xian-Ming ;
Ding, Lei ;
Yang, Fuwen .
IEEE TRANSACTIONS ON CYBERNETICS, 2020, 50 (03) :1306-1320
[10]  
Hassibi Babak, 1999, Indefinite-quadratic estimation and control: a unified approach to H 2 and H-infinity theories