Journal
IEEE TRANSACTIONS ON AUTOMATIC CONTROL
Volume 65, Issue 3, Pages 1029-1043Publisher
IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/TAC.2019.2915746
Keywords
Actuators; Switches; Security; Control theory; Cyber-physical systems; Simulation; Cyber-physical systems (CPSs); entropy; moving target and proactive defense; reactive defense; security
Funding
- ONR Minerva [N00014-18-1-2160]
- NSF CAREER [CPS-1851588]
- Army Research Office (ARO) [W911NF-19-1-0270]
- Department of Energy [DE-EE0008453]
Ask authors/readers for more resources
This paper considers the problem of efficiently and securely controlling cyber-physical systems that are operating in uncertain, and adversarial environments. To mitigate sensor, actuator attacks, and performance loss due to such attacks, we formulate a secure control algorithm that consists of a proactive and a reactive defense mechanism. The proactive mechanism, which is based on the principles of moving target defense, utilizes a stochastic switching structure to dynamically and continuously alter the parameters of the system, while hindering the attacker's ability to conduct successful reconnaissance to the system. The unpredictability of the current actuator and sensor is optimized using an information entropy measure, which is induced by probabilistic switching. The reactive mechanism on the other side, detects potentially attacked components, namely sensors and actuators, by leveraging online data to compute an integral Bellman error. A rigorous mathematical framework is presented to guarantee the stability of the equilibrium point of the closed-loop system, and provide a quantified bound on the performance loss when utilizing both reactive and proactive mechanisms. Simulation results show the efficacy of the proposed approaches on a benchmark aircraft model.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available