UCSD

Mechanical and Aerospace Engineering

• Home
• Publications
• Group
• Teaching
• Software
• Lab

---

Stabilization of linear cyber-physical systems against attacks via switching defense
S. Liu, S. Martínez, J. Cortés
IEEE Transactions on Automatic Control 68 (12) (2023), 7326-7341

Abstract

This paper studies cyber-physical systems modeled with linear dynamics subject to attacks on its parameters. The attacker knows at all times the defense employed and injects a destabilizing 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 bound on the delay that guarantees that the switched defense sequence enjoys a minimum dwell-time guarantee. 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.

pdf

Mechanical and Aerospace Engineering, University of California, San Diego
9500 Gilman Dr, La Jolla, California, 92093-0411

Ph: 1-858-822-7930
Fax: 1-858-822-3107

cortes at ucsd.edu
Skype id: jorgilliyo