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.

Event-Triggered Secure Estimation For Large-Scale Interconnected Systems Based On Intermediate Estimator

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

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

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

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

Event-triggered interval estimation method for cyber–physical systems with unknown inputs

Event-triggered Distributed Dynamic State Estimation with Imperfect Measurements over a Finite Horizon

Dynamic‐event‐based state estimation of complex networks against attacks and innovation outliers: The probability constraint case

Event-Based Attack Against Remote State Estimation

Joint State Estimation Under Attack of Discrete Event Systems

Software Defined Event-Triggering Control for Large-Scale Networked Systems Subject to Stochastic Cyber Attacks

An Event-Based Stealthy Attack on Remote State Estimation

Secure State Estimation with Asynchronous Measurements against Malicious Measurement-data and Time-stamp Manipulation

Input-Based Event-Triggering Consensus of Multiagent Systems under Denial-of-Service Attacks

Event-Triggered Security Output Feedback Control for Networked Interconnected Systems Subject to Cyber-Attacks

Simultaneous State and Unknown Input Estimation for Complex Networks With Redundant Channels Under Dynamic Event-Triggered Mechanisms

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

Secure State Estimation against Sparse Attacks on a Time-varying Set of Sensors

Event-Triggered Secure Control of Nonlinear Multi-agent Systems under Sensor Attacks

Distributed Secure State Estimation for Cyber-Physical Systems Under False Data Injection Attacks

Stealthy Attack Against Distributed State Estimation for Cyber‐Physical Systems