Towards resilient supervisors against sensor deception attacks

We consider feedback control systems where sensor readings may be compromised by a malicious attacker intent on causing damage to the system. We study this problem at the supervisory layer of the control system, using discrete event systems techniques. We assume that the attacker can edit the outputs from the sensors of the system before they reach the supervisory controller. In this context, we formulate the problem of synthesizing a supervisor that is robust against a large class of edit attacks on the sensor readings. We solve this problem using a new methodology that improves upon prior work on this topic. The solution methodology is based on the solution of a partially observed supervisory control problem with arbitrary control patterns. We also provide results on the existence of a supremal robust supervisor.

[1]  Karl Henrik Johansson,et al.  Attack models and scenarios for networked control systems , 2012, HiCoNS '12.

[2]  Rong Su,et al.  Supervisor Synthesis to Thwart Cyber Attack with Bounded Sensor Reading Alterations , 2016, Autom..

[3]  S. Lafortune.  Supervisory Control Of Discrete Event Systems , 2011 .

[4]  Nejib Ben Hadj-Alouane,et al.  Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation , 1996, Discret. Event Dyn. Syst..

[5]  Marcos V. Moreira,et al.  Detectable and Undetectable Network Attack Security of Cyber-physical Systems , 2018 .

[6]  Rong Su,et al.  Synthesis of Successful Actuator Attackers on Supervisors , 2018, ArXiv.

[7]  Stéphane Lafortune,et al.  Stealthy deception attacks for cyber-physical systems , 2017, 2017 IEEE 56th Annual Conference on Decision and Control (CDC).

[8]  Stéphane Lafortune,et al.  Synthesis of Sensor Deception Attacks for Systems Modeled as Probabilistic Automata , 2019, 2019 American Control Conference (ACC).

[9]  C. Golaszewski,et al.  Control of discrete event processes with forced events , 1987, 26th IEEE Conference on Decision and Control.

[10]  Stéphane Lafortune,et al.  Synthesis of Sensor Deception Attacks at the Supervisory Layer of Cyber-Physical Systems , 2020, Autom..

[11]  S. Shankar Sastry,et al.  Secure Control: Towards Survivable Cyber-Physical Systems , 2008, 2008 The 28th International Conference on Distributed Computing Systems Workshops.

[12]  Paulo Tabuada,et al.  Supervisory Control of Discrete-Event Systems Under Attacks , 2017, Dynamic Games and Applications.

[13]  Rong Su,et al.  Supervisor Obfuscation Against Actuator Enablement Attack , 2018, 2019 18th European Control Conference (ECC).

[14]  Stéphane Lafortune,et al.  Detection and Mitigation of Classes of Attacks in Supervisory Control Systems , 2018, Autom..

[15]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[16]  Shigemasa Takai,et al.  Supervisory control of partially observed discrete event systems with arbitrary control patterns , 2000, Int. J. Syst. Sci..

[17]  Christos G. Cassandras,et al.  Introduction to Discrete Event Systems , 1999, The Kluwer International Series on Discrete Event Dynamic Systems.