On decidability of existence of nonblocking supervisors resilient to smart sensor attacks

DOI10.1016/j.automatica.2023.111076zbMath1520.93321arXiv2009.02626MaRDI QIDQ6175603

Rong Su

Publication date: 24 July 2023

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2009.02626

zbMATH Keywords

discrete-event systemsdecidability of existence of resilient supervisory controlsmart sensor attacks

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Networked control (93B70)

Related Items

Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system

Cites Work

• Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
• Active fault tolerant control of discrete event systems using online diagnostics
• On observability of discrete-event systems
• Detection and mitigation of classes of attacks in supervisory control systems
• Supervisory control of discrete-event 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
• Synthesis of covert actuator attackers for free
• Supervisory control of discrete-event systems under attacks
• Synthesis of covert actuator and sensor attackers
• A Supervisory Control Approach to Dynamic Cyber-Security
• Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
• Supervisory Control of a Class of Discrete Event Processes
• Diagnosability of discrete-event systems
• Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
• Robust supervisory control of discrete event systems against intermittent loss of observations
• Synthesis of Supervisors Robust Against Sensor Deception Attacks