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

Eleftherios Vlahakis, Gregory Provan, Gordon Werner +2

We propose a novel framework for modelling attack scenarios in cyber-physical control systems: we represent a cyber-physical system as a constrained switching system, where a singl…