ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Temporal Logic Resilience for Cyber-Physical Systems

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.

[img] PDF
pro_iee_con_dec_con_2023.pdf. - Published Version
Restricted to Registered users only

Download (427kB) | Request a copy
Official URL: https://doi.org/10.1109/CDC49753.2023.10384033

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 View Item