HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Journal articles

Synthesis of Supervisors Robust Against Sensor Deception Attacks

Abstract : 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.
Document type :
Journal articles
Complete list of metadata

Contributor : Hervé Marchand Connect in order to contact the contributor
Submitted on : Friday, February 26, 2021 - 5:44:17 PM
Last modification on : Monday, April 4, 2022 - 9:28:24 AM
Long-term archiving on: : Thursday, May 27, 2021 - 6:30:57 PM


Files produced by the author(s)



Romulo Meira-Goes, Stephane Lafortune, Hervé Marchand. Synthesis of Supervisors Robust Against Sensor Deception Attacks. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2021, IEEE Transactions on Automatic Control, pp.12. ⟨10.1109/TAC.2021.3051459⟩. ⟨hal-03153391⟩



Record views


Files downloads