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

• Published in: IEEE transactions on automatic control Vol. 59; no. 6; pp. 1454 - 1467
• Main Authors: Fawzi, Hamza, Tabuada, Paulo, Diggavi, Suhas
• Format: Journal Article
• Language: English
• Published: New York IEEE 01.06.2014; The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
• Subjects: Actuators; Algorithms; Control systems; Decoding; Estimation; Loops; Sensor systems; Vectors; Algorithm; feedback controller
• ISSN: 0018-9286; 1558-2523
• DOI: 10.1109/TAC.2014.2303233

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.