Abstract:This paper addresses the problems of estimation and prevention of actuator attacks in the framework of discrete-event systems under supervisory control, where an attack estimation helps an intruder evaluate whether a controlled system can be driven to an undesirable state after being attacked based on partial observation before an actual attack is enforced. The intruder implements an actuator enablement attack by enabling a vulnerable actuator event that has been disabled by a supervisor. To solve this problem, from the intruder's viewpoint, we first introduce a concept of strong actuator enablement estimability (AE-estimability) that allows the intruder to definitely decide that a controlled system can reach an undesirable state after receiving attacks. Then, a concept of weak AE-estimability is proposed to make the intruder incapable of accurately deciding whether an undesirable state in the controlled system subject to attacks is reached even if it has already been reached. We then construct an estimator for assisting the intruder to verify these two estimabilities. From the perspective of prevention, to protect a controlled system from attacks without changing the original behavior of the system, we design a prevention module to mislead an intruder's attack estimation by using the reverse sensor functions to modify sensor readings. Finally, an information construct called a reverse sensor structure is presented to characterize the interaction among an intruder, an estimator, and a prevention module. An algorithm is given to synthesize reverse sensor functions based on the proposed structure.

Estimation and Prevention of Actuator Enablement Attacks in Discrete-Event Systems under Supervisory Control

Secure Estimation And Event-Triggered Control For Cyber-Physical Systems Based On Intermediate Estimator

A Dynamic Event-Triggered Secure Monitoring and Control for a Class of Discrete-Time Markovian Jump Systems: A Plug-and-Play Architecture

Stealthy Actuator Signal Attacks in Stochastic Control Systems: Performance and Limitations.

Event-triggered Fault Estimation for Stochastic State-Delay Systems Against Adversaries with Application to a DC Motor System

Detection and Mitigation of Classes of Attacks in Supervisory Control Systems

Optimal Stealthy Attack to Remote Estimator for Estimation Error Regulation.

State estimation and self-triggered control of CPSs against joint sensor and actuator attacks

Supervisor Obfuscation Against Actuator Enablement Attack

Switching and Data Injection Attacks on Stochastic Cyber-Physical Systems: Modeling, Resilient Estimation and Attack Mitigation

Synthesis of Successful Actuator Attackers on Supervisors

Attack-Resilient Supervisory Control under Energy-Bounded Attacks

Secure Interval Estimation for Event-Triggered Cyber-Physical Systems Under Stealthy Attacks

Sensor attack detection based on active excitation response with uncertain delays

Data-Driven Undetectable Attack Against State Estimation in Distributed Control Systems

Model-based adaptive security control strategy against false data injection attacks in cyber–physical systems

ADP-Based Remote Secure Control for Networked Control Systems under Unknown Nonlinear Attacks in Sensors and Actuators

Injection attack estimation of networked control systems subject to hidden DoS attack

Coordination Control of Discrete Event Systems under Cyber Attacks

Event‐based adaptive resilient control for networked nonlinear systems against unknown deception attacks and actuator saturation

Joint State Estimation Under Attack of Discrete Event Systems