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. Zhu, Y., Lin, L., & Su, R. (2018).“ Supervisor Obfuscation Against Actuator Enablement Attack. ” European Control Conference(2019), Accepted

  2. Aida Rashidinejad*, Liyong Lin, Bart Wetzels, Yuting Zhu, Michel Reniers, Rong Su. ” Supervisory Control of Discrete-Event Systems under Attacks: An Overview and Outlook. ” European Control Conference(2019), Accepted

  3. Lin, L., Thuijsman, S., Zhu, Y., Ware, S., Su, R., & Reniers, M. (2018), “ Synthesis of successful actuator attackers on supervisors. ” American Control Conference (2019), Accepted

  4. Liyong Lin*, Rong Su, Bertil Brandin, Simon Ware, Yuting Zhu, “ Synchronous Composition of Finite Interval Automata. ” 15th IEEE International Conference on Control & Automation (ICCA, 2019), Accepted

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