Security for Cyber Physical Systems


alt text 

The connection between cyber part and the physical part heavily relies on sensor and communication networks. We use supervisor synthesis to deal with thwart attack in cyber physical systems. One special type of attacks in discrete event system framework, where attacker can arbitrarily alter sensor readings after intercepting them from a target system, then trick a given supervisor to issue improper commands to an undesirable state. From an attacker’s point of view, the cyber attack problem formulates an attack-with-bounded-sensor-reading-alterations (ABSRA) problem. Upon the synthesis of the supremal ABSRA, we present a synthesis algorithm, which computes a supervisor that is ABSRA-robust in the sense that any ABSRA will either be detectable or inflict no damage to the system.


  1. Su, R.*, (2017). “Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations.” Automatica, major revision, April 2017