LQG Reference Tracking With Safety and Reachability Guarantees Under Unknown False Data Injection Attacks

• 成果类型: Article
• 署名作者: Li, Zhouchi; Niu, Luyao; Clark, Andrew
• 署名单位: Worcester Polytechnic Institute
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2022.3153456
• 发表日期: 2023
• 页码: 1245-1252
• 关键词: Barrier certificate; false data injection (FDI) attack; linear quadratic Gaussian (LQG) tracking; safety and reachability constraints

摘要

We investigate a linear quadratic Gaussian (LQG) tracking problem with safety and reachability constraints in the presence of an adversary who mounts a false data injection attack on an unknown set of sensors. For each possible set of compromised sensors, we maintain a state estimator disregarding the sensors in that set, and calculate the optimal LQG control input at each time based on this estimate. We propose a control policy which constrains the control input to lie within a fixed distance of the optimal control input corresponding to each state estimate. The control input is obtained at each time step by solving a quadratically constrained quadratic program. We prove that our policy can achieve a desired probability of safety and reachability using the barrier certificate method. Our control policy is evaluated via a numerical case study.