English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

We propose a novel framework for modelling attack scenarios in cyber-physicalcontrol systems: we represent a cyber-physical system as a constrainedswitching system, where a single model embeds the dynamics of the physicalprocess, the attack patterns, and the attack detection schemes. We show thatthis is compatible with established results in the analysis of hybrid automata,and, specifically, constrained switching systems. Moreover, we use thedeveloped models to compute the impact of cyber attacks on the safetyproperties of the system. In particular, we characterise system safety as anasymptotic property, by calculating the maximal safe set. The resulting newimpact metrics intuitively quantify the degradation of safety under attack. Weshowcase our results via illustrative examples.

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