Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks

By Hamza Fawzi, Paulo Tabuada, Suhas N. Diggavi. IEEE Transactions on Automatic Control, 2012

1,237 citations recorded by the source corpus.

The vast majority of today's critical infrastructure is supported by numerous feedback control loops and an attack on these control loops can have disastrous consequences. This is a major concern since modern control systems are becoming large and decentralized and thus more vulnerable to attacks. This paper is concerned with the estimation and control of linear systems when some of the sensors or actuators are corrupted by an attacker. We give a new simple characterization of the maximum number of attacks that can be detected and corrected as a function of the pair (A,C) of the system and we show in particular that it is impossible to accurately reconstruct the state of a system if more than half the sensors are attacked. In addition, we show how the design of a secure local control loop can improve the resilience of the system. When the number of attacks is smaller than a threshold, we propose an efficient algorithm inspired from techniques in compressed sensing to estimate the state of the plant despite attacks. We give a theoretical characterization of the performance of this algorithm and we show on numerical simulations that the method is promising and allows to reconstruct the state accurately despite attacks. Finally, we consider the problem of designing output-feedback controllers that stabilize the system despite sensor attacks. We show that a principle of separation between estimation and control holds and that the design of resilient output feedback controllers can be reduced to the design of resilient state estimators.

Subfields: Artificial Intelligence, Control and Systems Engineering

View Paper: https://www.semanticscholar.org/paper/266c5c96660e801578985eb57829a35918c31cd6

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Artificial Intelligence

In Control and Systems Engineering

Citations in the corpus

Big data for cyber physical systems in industry 4.0: a survey (2019, background): “Fawzi, Tabuada, and Diggavi (2014) studied a secure local control loop design to help reconstruct the state of a system.”
Detecting Integrity Attacks on SCADA Systems (2014, background): “Secure state estimation and control of systems under attack is further investigated in [24] and [25].”
Resilient Linear Classification: An Approach to Deal with Attacks on Training Data (2017, neutral): “Resilient state estimators for CPS that tolerate a bounded number of sensors and/or actuators aacks are considered in [18, 38].”
Digital Twins and Cyber–Physical Systems toward Smart Manufacturing and Industry 4.0: Correlation and Comparison (2019, methodology): “For the latter part of the control, the cyber/digital world uses these data to compute the control output and send it to the actuators for physical implementation [41].”
Resilient Distributed Parameter Estimation With Heterogeneous Data (2018, background): “A set of measurements is (globally) s-sparse observable if it is still (globally) observable after removing any s measurements from the set [24], [25].”
Distributed recursive filtering for stochastic systems under uniform quantizations and deception attacks through sensor networks (2017, methodology): “…context of networked control systems, so far, much progress has been made on the security control/ﬁltering problems by employing the techniques of dynamic programming or Lyapunov stability theory, see e.g. [1 , 21] for denial-of-service (DoS) attacks and [6, 7, 11, 16, 26] for deception attacks.”
Distributed Attack Detection and Secure Estimation of Networked Cyber-Physical Systems Against False Data Injection Attacks and Jamming Attacks (2018, background): “, [5], [6], [8]–[10] and references therein), which renders the secure estimation algorithms therein inapplicable in WSN-based CPSs.”
Optimal Denial-of-Service Attack Scheduling With Energy Constraint Over Packet-Dropping Networks (2018, background): “Researchers have devoted efforts in studying security issues in CPS to avoid large losses due to attacks recently [5]–[7].”
RoboADS: Anomaly Detection Against Sensor and Actuator Misbehaviors in Mobile Robots (2018, background): “Processing and measurement noises rooted in actuators and sensors are not considered [19], [21] or considered with bounded support [17], [18].”
A Survey on Security Communication and Control for Smart Grids Under Malicious Cyber Attacks (2019, background): “[93] considered the following system dynamics:”
Secure State Estimation and Control of Cyber-Physical Systems: A Survey (2021, background): “On the other hand, it should be noted that stealthy attacks are correctable via suitable strategies if the systems are strongly observable [28], [80], and become detectable if only partial sensors are attacked [83] or some critical sensors are protected [4].”
Control-Theoretic Methods for Cyberphysical Security: Geometric Principles for Optimal Cross-Layer Resilient Control Systems (2015, methodology): “Recently, the problem of estimating the state of a linear system with corrupted measurements has been studied [21].”