Synthesis of Supervisors Robust Against Sensor Deception Attacks

We consider feedback control systems where sensor readings may be compromised by a malicious attacker intending 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 the class of edit attacks on the sensor readings and present a solution methodology for this problem. This methodology blends techniques from games on automata with imperfect information with results from supervisory control theory of partially-observed discrete event systems. Necessary and sufficient conditions are provided for the investigated problem.

[1]  Feng Lin,et al.  Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses , 2014, SIAM J. Control. Optim..

[2]  Kurt Rohloff.  Bounded sensor failure tolerant supervisory control , 2012, WODES.

[3]  Feng Lin,et al.  Supervisor Synthesis for Networked Discrete Event Systems With Communication Delays , 2013, IEEE Transactions on Automatic Control.

[4]  D. Thorsley,et al.  Intrusion Detection in Controlled Discrete Event Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[5]  C. Desclaux,et al.  Supervisory control of discrete-event processes with partial observations , 1988 .

[6]  Tomás Masopust,et al.  On Properties and State Complexity of Deterministic State-Partition Automata , 2012, IFIP TCS.

[7]  Rong Su,et al.  Towards Bounded Synthesis of Resilient Supervisors , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[8]  Yu Wang,et al.  Attack-Resilient Supervisory Control with Intermittently Secure Communication , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[9]  Stéphane Lafortune,et al.  A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems , 2016, IEEE Transactions on Automatic Control.

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

[11]  Steven I. Marcus,et al.  On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation , 1989, Math. Control. Signals Syst..

[12]  Hervé Marchand,et al.  Synthesis of opaque systems with static and dynamic masks , 2012, Formal Methods Syst. Des..

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

[14]  Walter Murray Wonham,et al.  On observability of discrete-event systems , 1988, Inf. Sci..

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

[16]  Bruce H. Krogh,et al.  Robustness of supervisors for discrete-event systems , 1999, IEEE Trans. Autom. Control..

[17]  Marcos V. Moreira,et al.  Security Against Communication Network Attacks of Cyber-Physical Systems , 2018, Journal of Control, Automation and Electrical Systems.

[18]  Stéphane Lafortune,et al.  Mean Payoff Supervisory Control Under Partial Observation , 2018, 2018 IEEE Conference on Decision and Control (CDC).

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

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

[21]  Shigemasa Takai.  Maximizing robustness of supervisors for partially observed discrete event systems , 2004, Autom..

[22]  Antonio Eduardo Carrilho da Cunha,et al.  Robust Supervisory Control against Intermittent Loss of Observations , 2014, WODES.

[23]  Stéphane Lafortune,et al.  Towards resilient supervisors against sensor deception attacks , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[24]  R. D. Brandt,et al.  Formulas for calculating supremal controllable and normal sublanguages , 1990 .

[25]  Fag Lin,et al.  Robust and Adaptive Supervisory Control of Discrete Event Systems , 1992, 1992 American Control Conference.

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

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

[28]  Ratnesh Kumar,et al.  Discrete event control under nondeterministic partial observation , 2009, 2009 IEEE International Conference on Automation Science and Engineering.

[29]  Stéphane Lafortune,et al.  Synthesis of Optimal Insertion Functions for Opacity Enforcement , 2016, IEEE Transactions on Automatic Control.