Online optimization of LTI systems under persistent attacks: Stability, tracking, and robustness

被引:5
作者
Galarza-Jimenez, Felipe [1 ]
Bianchin, Gianluca [1 ]
Poveda, Jorge I. [1 ]
Dall'Anese, Emiliano [1 ]
机构
[1] Univ Colorado, Dept Elect Comp & Energy Engn, Boulder, CO 80309 USA
基金
美国国家科学基金会;
关键词
Switched systems; Online optimization; Cyberphysical security; Attack detection and mitigation; TO-STATE STABILITY; ALGORITHM; SEEKING;
D O I
10.1016/j.nahs.2022.101152
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We study the stability properties of a closed-loop system composed of a dynamical plant and a feedback controller, the latter generating control signals that can be compromised by a malicious attacker. We consider two classes of feedback controllers: a static output feedback controller, and a dynamical gradient-flow controller that seeks to steer the output of the plant towards the solution of a convex optimization problem. In both cases, we analyze the stability properties of the closed-loop system under a class of switching attacks that persistently modify the control inputs generated by the controllers. Our stability analysis leverages the framework of hybrid dynamical systems, Lyapunovbased arguments for switching systems with unstable modes, and singular perturbation theory. Our results reveal that, under a suitable time-scale separation between plant and controllers, the stability of the interconnected system can be preserved when the attack occurs with "sufficiently low frequency "in any bounded time interval. We present simulation results in a power-grid example that corroborate the technical findings. (C) 2022 Elsevier Ltd. All rights reserved.
引用
收藏
页数:23
相关论文
共 53 条
[31]  
Murray R.M., 1994, MATH INTRO ROBOTIC M
[32]   Freeway ramp metering: An overview [J].
Papageorgiou, M ;
Kotsialos, A .
IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2002, 3 (04) :271-281
[33]   Attack Detection and Identification in Cyber-Physical Systems [J].
Pasqualetti, Fabio ;
Doerfler, Florian ;
Bullo, Francesco .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (11) :2715-2729
[34]   Navigation Functions for Convex Potentials in a Space With Convex Obstacles [J].
Paternain, Santiago ;
Koditschek, Daniel E. ;
Ribeiro, Alejandro .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2018, 63 (09) :2944-2959
[35]  
Poveda J.I., 2021, IEEE T AUTOMATIC CON, P1
[36]   A framework for a class of hybrid extremum seeking controllers with dynamic inclusions [J].
Poveda, Jorge I. ;
Teel, Andrew R. .
AUTOMATICA, 2017, 76 :113-126
[37]  
Qi Y., 2020, ISA T
[38]   A Jamming-Resilient Algorithm for Self-Triggered Network Coordination [J].
Senejohnny, Danial ;
Tesi, Pietro ;
De Persis, Claudio .
IEEE TRANSACTIONS ON CONTROL OF NETWORK SYSTEMS, 2018, 5 (03) :981-990
[39]   On Area Control Errors, Area Injection Errors, and Textbook Automatic Generation Control [J].
Simpson-Porco, John W. .
IEEE TRANSACTIONS ON POWER SYSTEMS, 2021, 36 (01) :557-560
[40]   Byzantine-Resilient Multiagent Optimization [J].
Su, Lili ;
Vaidya, Nitin H. .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2021, 66 (05) :2227-2233