Saoud, A and Jagtap, P and Soudjani, S (2023) Temporal Logic Resilience for Cyber-Physical Systems. In: 62nd IEEE Conference on Decision and Control, CDC 2023, 13 December 2023 through 15 December 2023, Singapore, pp. 2066-2071.
PDF
pro_iee_con_dec_con_2023.pdf. - Published Version Restricted to Registered users only Download (427kB) | Request a copy |
Abstract
We consider the notion of resilience for cyber-physical systems, that is, the ability of the system to withstand adverse events while maintaining acceptable functionality. We use temporal logic to express the requirements on the acceptable functionality and define the resilience metric as the maximum disturbance under which the system satisfies the temporal requirements. We fix a parameterized template for the set of disturbances and form a robust optimization problem under the system dynamics and the temporal specifications to find the maximum value of the parameter. From the computational point of view, we show how this optimization can be solved for linear systems and provide under-approximations of the resilience metric for nonlinear systems using linear programs. The computations are demonstrated on the temperature regulation of buildings and adaptive cruise control. © 2023 IEEE.
Item Type: | Conference Paper |
---|---|
Publication: | Proceedings of the IEEE Conference on Decision and Control |
Publisher: | Institute of Electrical and Electronics Engineers Inc. |
Additional Information: | The copyright for this article belongs to Institute of Electrical and Electronics Engineers Inc. |
Department/Centre: | Division of Interdisciplinary Sciences > Robert Bosch Centre for Cyber Physical Systems |
Date Deposited: | 03 Jul 2024 09:57 |
Last Modified: | 03 Jul 2024 09:57 |
URI: | http://eprints.iisc.ac.in/id/eprint/84544 |
Actions (login required)
View Item |