Quantifying impact on safety from cyber-attacks on cyber-physical systems

Eleftherios Vlahakis, Gregory Provan, Gordon Werner, Shanchieh Yang, Nikolaos Athanasopoulos

Research output: Contribution to journalArticlepeer-review

35 Downloads (Pure)

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.

Original languageEnglish
Pages (from-to)246-251
Number of pages6
JournalIFAC-PapersOnline
Volume56
Issue number2
DOIs
Publication statusPublished - 22 Nov 2023
Event22nd World Congress of the International Federation of Automatic Control 2023 - Yokohama, Japan
Duration: 09 Jul 202314 Jul 2023
https://www.ifac2023.org/

Fingerprint

Dive into the research topics of 'Quantifying impact on safety from cyber-attacks on cyber-physical systems'. Together they form a unique fingerprint.

Cite this