Event-triggered secure observer-based control for cyber-physical systems under adversarial attacks

Abstract This paper investigates the problem of event-triggered secure observer-based control for continuous-time cyber-physical systems (CPSs) under actuator and sensor attacks. Under event-triggered scheme, the original plant is augmented into a discrete-time system, where the states and attacks are assembled into the state vector of the new system. Then, based on the augmented system, a discrete-time secure observer is presented to estimate the states and attacks. Besides, a novel secure observer-based controller, where the actuator attack estimations are utilized to neutralize the actuator attacks, is proposed. A cone complementarity linearization (CCL) algorithm is provided to co-design the desired observer and controller. It is shown that using the proposed secure observer-based controller, the states of the original plant converge to a small neighborhood of the origin despite attacks. Finally, an illustrative example is given to show the effectiveness of the proposed methods.

[1]  Fei Hu,et al.  Detection of Faults and Attacks Including False Data Injection Attack in Smart Grid Using Kalman Filter , 2014, IEEE Transactions on Control of Network Systems.

[2]  Cheng-Chew Lim,et al.  Adaptively Adjusted Event-Triggering Mechanism on Fault Detection for Networked Control Systems , 2017, IEEE Transactions on Cybernetics.

[3]  Qing-Long Han,et al.  Network-based output tracking control for T-S fuzzy systems using an event-triggered communication scheme , 2015, Fuzzy Sets Syst..

[4]  Huijun Gao,et al.  Improved Hinfinite control of discrete-time fuzzy systems: a cone complementarity linearization approach , 2005, Inf. Sci..

[5]  Huaicheng Yan,et al.  Observer-based decentralized event-triggered H∞ control for networked systems , 2017, J. Frankl. Inst..

[6]  Jan Willems Feedback and Control for Everyone (Albertos, P. and Mareels, I.; 2010) [Bookshelf] , 2011, IEEE Control Systems.

[7]  Karl Henrik Johansson,et al.  A secure control framework for resource-limited adversaries , 2012, Autom..

[8]  Md. Rafiqul Islam,et al.  Defending unknown attacks on cyber-physical systems by semi-supervised approach and available unlabeled data , 2017, Inf. Sci..

[9]  Jorge Cortés,et al.  Team-Triggered Coordination for Real-Time Control of Networked Cyber-Physical Systems , 2014, IEEE Transactions on Automatic Control.

[10]  Peng Shi,et al.  Event-Triggered Fault Detection Filter Design for a Continuous-Time Networked Control System , 2016, IEEE Transactions on Cybernetics.

[11]  Qing-Long Han,et al.  Distributed networked control systems: A brief overview , 2017, Inf. Sci..

[12]  Guang-Hong Yang,et al.  Secure state estimation for cyber-physical systems under sparse sensor attacks via a switched Luenberger observer , 2017, Inf. Sci..

[13]  Shengyuan Xu,et al.  Robust H∞ control for uncertain discrete stochastic time-delay systems , 2004, Syst. Control. Lett..

[14]  Qing-Long Han,et al.  Event-Based Set-Membership Leader-Following Consensus of Networked Multi-Agent Systems Subject to Limited Communication Resources and Unknown-But-Bounded Noise , 2017, IEEE Transactions on Industrial Electronics.

[15]  J.P. Hespanha,et al.  Designing an observer-based controller for a network control system , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[16]  Bruno Sinopoli,et al.  Physical Authentication of Control Systems: Designing Watermarked Control Inputs to Detect Counterfeit Sensor Outputs , 2015, IEEE Control Systems.

[17]  Qing-Long Han,et al.  Security Control for Discrete-Time Stochastic Nonlinear Systems Subject to Deception Attacks , 2018, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[18]  Qingling Zhang,et al.  Simultaneous fault detection and control for switched linear systems with mode-dependent average dwell-time , 2016, Appl. Math. Comput..

[19]  Qing-Long Han,et al.  Fault detection filter design for data reconstruction-based continuous-time networked control systems , 2016, Inf. Sci..

[20]  Qing-Long Han,et al.  Distributed event-triggered H1 filtering over sensor networks with communication delays , 2014 .

[21]  Tansel Yucelen,et al.  An Adaptive Control Architecture for Mitigating Sensor and Actuator Attacks in Cyber-Physical Systems , 2017, IEEE Transactions on Automatic Control.

[22]  Guang-Hong Yang,et al.  Reliable $H_{\infty}$ Control of Linear Systems With Adaptive Mechanism , 2010, IEEE Transactions on Automatic Control.

[23]  Insup Lee,et al.  Attack-Resilient State Estimation for Noisy Dynamical Systems , 2017, IEEE Transactions on Control of Network Systems.

[24]  Bruno Sinopoli,et al.  On the Performance Degradation of Cyber-Physical Systems Under Stealthy Integrity Attacks , 2016, IEEE Transactions on Automatic Control.

[25]  Paulo Tabuada,et al.  Event-Triggered State Observers for Sparse Sensor Noise/Attacks , 2013, IEEE Transactions on Automatic Control.

[26]  Romain Postoyan,et al.  A Lyapunov Redesign of Coordination Algorithms for Cyber-Physical Systems , 2014, IEEE Transactions on Automatic Control.

[27]  Anupam Joshi,et al.  Data integrity attack in smart grid: optimised attack to gain momentary economic profit , 2016 .

[28]  Pietro Tesi,et al.  Input-to-State Stabilizing Control Under Denial-of-Service , 2015, IEEE Transactions on Automatic Control.

[29]  Saeid Nahavandi,et al.  Reduced-order functional observers with application to partial state estimation of linear systems with input-delays , 2015 .

[30]  Qing-Long Han,et al.  A Decentralized Event-Triggered Dissipative Control Scheme for Systems With Multiple Sensors to Sample the System Outputs , 2016, IEEE Transactions on Cybernetics.

[31]  Inseok Hwang,et al.  A Survey of Fault Detection, Isolation, and Reconfiguration Methods , 2010, IEEE Transactions on Control Systems Technology.

[32]  Deepa Kundur,et al.  A Cyber-Physical Control Framework for Transient Stability in Smart Grids , 2018, IEEE Transactions on Smart Grid.

[33]  Qing-Long Han,et al.  An Overview and Deep Investigation on Sampled-Data-Based Event-Triggered Control and Filtering for Networked Systems , 2017, IEEE Transactions on Industrial Informatics.

[34]  Guang-Hong Yang,et al.  Secure Luenberger-like observers for cyber-physical systems under sparse actuator and sensor attacks , 2018, Autom..

[35]  Deepa Kundur,et al.  A Game-Theoretic Analysis of Cyber Switching Attacks and Mitigation in Smart Grid Systems , 2016, IEEE Transactions on Smart Grid.

[36]  Paulo Tabuada,et al.  Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach , 2014, ArXiv.

[37]  Qing-Long Han,et al.  Variance-Constrained Distributed Filtering for Time-Varying Systems With Multiplicative Noises and Deception Attacks Over Sensor Networks , 2017, IEEE Sensors Journal.

[38]  Aneel Tanwani,et al.  Observer-based feedback stabilization of linear systems with event-triggered sampling and dynamic quantization , 2016, Syst. Control. Lett..

[39]  Xin-Ping Guan,et al.  Distributed formation control for teleoperating cyber-physical system under time delay and actuator saturation constrains , 2016, Inf. Sci..

[40]  Qing-Long Han,et al.  Quantitative analysis and synthesis for networked control systems with non‐uniformly distributed packet dropouts and interval time‐varying sampling periods , 2015 .

[41]  Huijun Gao,et al.  Fault-tolerant control of Markovian jump stochastic systems via the augmented sliding mode observer approach , 2014, Autom..

[42]  Paulo Tabuada,et al.  Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks , 2012, IEEE Transactions on Automatic Control.

[43]  Qing-Long Han,et al.  Observer‐based H ∞  output tracking control for networked control systems , 2014 .