Stabilization of Linear Cyber-Physical Systems Against Attacks via Switching Defense

• 成果类型: Article
• 署名作者: Liu, Shenyu; Martinez, Sonia; Cortes, Jorge
• 署名单位: University of California System; University of California San Diego; Beijing Institute of Technology; University of California System; University of California San Diego
• 刊物名称: IEEE TRANSACTIONS ON AUTOMATIC CONTROL
• ISSN/ISSBN: 0018-9286
• DOI: 10.1109/TAC.2023.3277340
• 发表日期: 2023
• 页码: 7326-7341
• 关键词: Cyber-physical systems; Denial-of-service attack; STABILITY; switching systems

摘要

This article studies cyber-physical systems modeled with linear dynamics subject to attacks on the parameters. The attacker knows at all times the defense employed and injects a destabilizing piecewise Lipschitz time-varying attack signal. The defender does not know the specific attack and aims to preserve system stability. We propose a partitioning strategy for the set of possible attacks that generates a finite collection of candidate defenses such that, for each member of the partition, there is a defense that stabilizes the system with respect to all static attack signals belonging to it. The defender then implements a mechanism that switches among the candidate defenses based on the evaluation of a Lyapunov-based criterion that determines whether the current defense is stabilizing. We characterize the properties of the switched time-varying system with delay, the latter arising from the interval between the switch-triggering events and their actual implementation. Our analysis provides a tolerance on the implementation delay that prevents the defense signal from constantly switching. In addition, we also identify a condition on the switching frequency that ensures global exponential stability. Simulations of the proposed switched defense mechanism illustrate its performance and advantages over static defenses.