Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
From MaRDI portal
Publication:2003816
DOI10.1016/j.automatica.2020.109172zbMath1448.93207arXiv2008.01497OpenAlexW3048888572MaRDI QIDQ2003816
Eunsuk Kang, Rômulo Meira-Góes, Stéphane Lafortune, Raymond H. Kwong
Publication date: 5 October 2020
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2008.01497
Feedback control (93B52) Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65) Networked control (93B70)
Related Items (18)
Discrete-event systems subject to unknown sensor attacks ⋮ Stochastic detection against deception attacks in CPS: performance evaluation and game-theoretic analysis ⋮ Deterministic supervisory control with flexible upper-bounds on observation delay and control delay ⋮ Synthesis of covert actuator and sensor attackers ⋮ Observer-based event-triggered non-PDC control for networked T-S fuzzy systems under actuator failures and aperiodic DoS attacks ⋮ Synthesis of optimal covert sensor-actuator attackers for discrete-event systems ⋮ On decidability of existence of nonblocking supervisors resilient to smart sensor attacks ⋮ H∞ static output feedback control for singularly perturbed persistent dwell‐time switched systems with time‐varying delay and deception attacks ⋮ Event‐triggered control of Takagi‐Sugeno fuzzy systems under deception attacks ⋮ Finite time secure state estimation for linear cyber‐physical systems with actuator and sensor attacks ⋮ Design and implementation of robust corrective control systems with permanent sensor faults ⋮ Hybrid event-triggered control for networked switched Takagi-Sugeno fuzzy systems with aperiodic DoS attacks ⋮ Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems ⋮ Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach ⋮ Observation-assisted heuristic synthesis of covert attackers against unknown supervisors ⋮ Neural network-based control for RRP-based networked systems under DoS attacks with power interval ⋮ Dealing with sensor and actuator deception attacks in supervisory control ⋮ Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
Uses Software
Cites Work
- Synthesis of opaque systems with static and dynamic masks
- Active fault tolerant control of discrete event systems using online diagnostics
- Synthesis of obfuscation policies to ensure privacy and utility
- Opacity of discrete event systems and its applications
- Detection and mitigation of classes of attacks in supervisory control systems
- 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
- Safe diagnosability for fault-tolerant supervision of discrete-event systems
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Introduction to Discrete Event Systems
- Supervisory Control of a Class of Discrete Event Processes
- Synthesis of Maximally-Permissive Supervisors for the Range Control Problem
- Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
- Control of Networked Discrete Event Systems: Dealing with Communication Delays and Losses
This page was built for publication: Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems