Secure Luenberger-like observers for cyber-physical systems under sparse actuator and sensor attacks

被引:68
作者
Lu, An-Yang [1 ]
Yang, Guang-Hong [1 ,2 ]
机构
[1] Northeastern Univ, Coll Informat Sci & Engn, Shenyang 110819, Liaoning, Peoples R China
[2] Northeastern Univ, State Key Lab Synthet Automat Proc Ind, Shenyang 110819, Liaoning, Peoples R China
关键词
Cyber-physical systems; Sparse actuator and sensor attacks; Secure state estimation; Secure Luenberger-like observer; Linear matrix inequality; DENIAL-OF-SERVICE; ADVERSARIAL ATTACKS;
D O I
10.1016/j.automatica.2018.09.003
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
This paper investigates the secure state estimation problem for cyber-physical systems (CPSs) under sparse actuator and sensor attacks. By introducing the notion of orthogonal complement matrix, a necessary and sufficient condition for the state observability is provided. Then, based on the least square technique, a new projection operator is proposed to reconstruct the state from a set of successive measurements. Besides, by constructing an augmented system where the attacks are seen as part of the augmented state vector, a novel secure Luenberger-like observer is proposed, and sufficient conditions for the existence of the desired observer are proposed in terms of linear matrix inequalities (LMIs). It is shown that the proposed observability condition can be reduced to the sparse observability. A distinguishing point is that the attacks may be still unavailable even if the state is observable, and besides estimating the state, the attacks are also reconstructed by the proposed algorithm and observer according to their observability automatically. (C) 2018 Elsevier Ltd. All rights reserved.
引用
收藏
页码:124 / 129
页数:6
相关论文
共 23 条
  • [1] Amin S, 2009, LECT NOTES COMPUT SC, V5469, P31, DOI 10.1007/978-3-642-00602-9_3
  • [2] Chong MS, 2015, P AMER CONTR CONF, P2439, DOI 10.1109/ACC.2015.7171098
  • [3] Input-to-State Stabilizing Control Under Denial-of-Service
    De Persis, Claudio
    Tesi, Pietro
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2015, 60 (11) : 2930 - 2944
  • [4] A Cyber-Physical Control Framework for Transient Stability in Smart Grids
    Farraj, Abdallah
    Hammad, Eman
    Kundur, Deepa
    [J]. IEEE TRANSACTIONS ON SMART GRID, 2018, 9 (02) : 1205 - 1215
  • [5] Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
    Fawzi, Hamza
    Tabuada, Paulo
    Diggavi, Suhas
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2014, 59 (06) : 1454 - 1467
  • [6] Fault detection for sector-bounded non-linear systems with servo inputs and sensor stuck faults
    Gu, Ying
    Li, Xiao-Jian
    [J]. JOURNAL OF CONTROL AND DECISION, 2019, 6 (03) : 147 - 165
  • [7] Uniform stabilization of discrete-time switched and Markovian jump linear systems
    Lee, JW
    Dullerud, GE
    [J]. AUTOMATICA, 2006, 42 (02) : 205 - 218
  • [8] Lu A. Y, 2017, AUTOMATICA UNPUB
  • [9] Secure state estimation for cyber-physical systems under sparse sensor attacks via a switched Luenberger observer
    Lu, An Yang
    Yang, Guang-Hong
    [J]. INFORMATION SCIENCES, 2017, 417 : 454 - 464
  • [10] Detection of Faults and Attacks Including False Data Injection Attack in Smart Grid Using Kalman Filter
    Manandhar, Kebina
    Cao, Xiaojun
    Hu, Fei
    Liu, Yao
    [J]. IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2014, 1 (04): : 370 - 379