@inbook{85aa66ed034643ce8b51b95e05dc3957,
title = "Quantifying Impact on Safety from Cyber-Attacks on Cyber-Physical Systems",
abstract = "We propose a novel framework for modeling attack scenarios in cyber-physical control systems: we represent a cyber-physical system as a constrained switching system, where a single model embeds the dynamics of the physical process, the attack patterns, and the attack detection schemes. We show that this is compatible with established results in hybrid automata, namely, constrained switching linear systems. The proposed attack modeling approach admits a large class of non-deterministic attack policies and enables the characterization of system safety as an asymptotic property. By calculating the maximal safe set, the resulting new impact metrics intuitively quantify the degradation of safety and the impact of cyber attacks on the safety properties of the system under attack. We showcase our results via an illustrative example.",
keywords = "attack modeling, constrained switching systems, cyber-physical systems, cyber-security, regular language representation, safety",
author = "Eleftherios Vlahakis and Gregory Provan and Gordon Werner and Shanchieh Yang and Nikolaos Athanasopoulos",
note = "Publisher Copyright: Copyright {\textcopyright} 2023 The Authors. This is an open access article under the CC BY-NC-ND license (https://creativecommons.org/licenses/by-nc-nd/4.0/); 22nd IFAC World Congress ; Conference date: 09-07-2023 Through 14-07-2023",
year = "2023",
month = jul,
day = "1",
doi = "10.1016/j.ifacol.2023.10.1576",
language = "English",
series = "IFAC-PapersOnLine",
publisher = "Elsevier B.V.",
number = "2",
pages = "246--251",
editor = "Hideaki Ishii and Yoshio Ebihara and Jun-ichi Imura and Masaki Yamakita",
booktitle = "IFAC-PapersOnLine",
address = "Netherlands",
edition = "2",
}