Dealing with sensor and actuator deception attacks in supervisory control
From MaRDI portal
Publication:2103716
DOI10.1016/J.AUTOMATICA.2022.110736zbMATH Open1505.93003OpenAlexW4309579934MaRDI QIDQ2103716FDOQ2103716
Authors: Rômulo Meira-Góes, H. Marchand, Stéphane Lafortune
Publication date: 9 December 2022
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.automatica.2022.110736
Recommendations
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Detection and mitigation of classes of attacks in supervisory control systems
- Supervisory control of discrete-event systems under attacks
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
Hierarchical systems (93A13) Feedback control (93B52) Discrete event control/observation systems (93C65)
Cites Work
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- On supremal languages of classes of sublanguages that arise in supervisor synthesis problems with partial observation
- Centralized and distributed algorithms for on-line synthesis of maximal control policies under partial observation
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Detection and mitigation of classes of attacks in supervisory control systems
- Supervisory control of partially observed discrete event systems with arbitrary control patterns
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Supervisory control of discrete-event systems under attacks
- Synthesis of Supervisors Robust Against Sensor Deception Attacks
- A Compact and Uniform Approach for Synthesizing State-Based Property-Enforcing Supervisors for Discrete-Event Systems
Cited In (15)
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Dynamic event-triggered output feedback control for networked Markovian jump systems under hybrid attacks
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Supervisory control of discrete-event systems under attacks
- Persuasion-Based Robust Sensor Design Against Attackers With Unknown Control Objectives
- Event-based fixed-time synchronization of neural networks under DoS attack and its applications
- On tolerance of discrete systems with respect to transition perturbations
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Tamper-tolerant diagnosability analysis and tampering detectability in discrete event systems under cost constraints
- Stealthy deception attacks on water SCADA systems
- Sensor deception attacks against security in supervisory control systems
- Synthesis of covert actuator attackers for free
- Detection and mitigation of classes of attacks in supervisory control systems
- Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system
- Synthesis of covert actuator and sensor attackers
Uses Software
This page was built for publication: Dealing with sensor and actuator deception attacks in supervisory control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2103716)