Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations

摘要: Abstract One of the major challenges about cyber–physical systems is how to protect system integrity from cyber attacks. There has been a large number different types attacks discussed in literature. In this paper we aim investigate one special type discrete-event framework, where an attacker can arbitrarily alter sensor readings after intercepting them target system, aiming trick given supervisor issue improper control commands, which drive undesirable state. We first consider attack problem attacker’s point view, and formulate attack-with-bounded-sensor-reading-alterations (ABSRA) problem. then show that supremal (or least restrictive) ABSRA exists be computed, as long plant model are regular, i.e., representable by finite-state automata. Upon synthesis ABSRA, present algorithm, computes ABSRA-robust sense any will either detectable or inflict no damage system.