Dealing with sensor and actuator deception attacks in supervisory control

[1]  Stephane Lafortune,et al.  A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems , 2021, IEEE Transactions on Automatic Control.

[2]  Raymond H. Kwong,et al.  Synthesis of Optimal Multiobjective Attack Strategies for Controlled Systems Modeled by Probabilistic Automata , 2021, IEEE Transactions on Automatic Control.

[3]  Romulo Meira-G'oes,et al.  Synthesis of Supervisors Robust Against Sensor Deception Attacks , 2020, IEEE Transactions on Automatic Control.

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

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

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

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

[8]  Rong Su,et al.  Synthesis of Supremal Successful Normal Actuator Attackers on Normal Supervisors , 2019, 2019 American Control Conference (ACC).

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

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

[11]  Qi Zhang,et al.  Stealthy Attacks for Partially-Observed Discrete Event Systems , 2018, 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA).

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

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

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

[15]  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.

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

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

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

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

[20]  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..

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

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

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

[24]  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..

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