Abstract:<p>Resilience is a critical criterion to evaluate a networked system including discrete-event systems (DESs). This research touches upon the supervisory control problem of a DES modeled with labeled Petri nets under malicious attacks. Attacks on a system can be categorized into actuator attacks and sensor attacks. The former may cause an actuator to fail to execute the commands issued from a supervisor that enforces a specification. The latter may attack a sensor to corrupt an observation (i.e., a sequence of observable transition labels) by different types of attacks such as insertion, removal, and replacement of transition labels. For actuator attacks, if we can detect them and disable some particular controllable transition labels before reaching a state that does not satisfy the specification, then we can find a modified supervisor to enforce the specification. For sensor attacks, we assume that, once a time, only one attack can be carried out, i.e., the attacker does not change the attack during an observation corruption. Given a specification, we consider in a plant model any two feasible transition sequences that share the same corrupted observation under attacks. It is shown that there exists a supervisor to enforce the specification if the one-step controllable extensions of the two transition sequences either satisfy or violate the specification simultaneously. To this end, a novel structure, namely a product observation reachability graph constructed from a plant and its specification, is proposed to decide the existence of such a supervisor by checking whether each state in the graph satisfies a particular condition. The application of the reported methods is demonstrated through examples.</p>

Sensor Network Attack Synthesis against Fault Diagnosis of Discrete Event Systems

Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels

Robust Predictability in Discrete Event Systems under Sensor Attacks

SoK: A Minimalist Approach to Formalizing Analog Sensor Security.

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

Jamming Sensor Networks: Attack and Defense Strategies

Sensor Deception Attacks Against Initial-State Privacy in Supervisory Control Systems

Supervisory control of discrete-event systems under external attacks

Joint State Estimation Under Attack of Discrete Event Systems

Event-Based Fault Detection for Networked Switched Systems Subject to Hybrid Attacks

Adversarial Attacks on Neural-Network-Based Soft Sensors: Directly Attack Output

Attack-resilient fault detection for interconnected systems under DoS attack

Detection and Mitigation of Classes of Attacks in Supervisory Control Systems

Optimal Attack Strategy Against Fault Detectors for Linear Cyber-Physical Systems

Sensor attack detection based on active excitation response with uncertain delays

Non-fragile distributed state estimation over sensor networks subject to DoS attacks: the almost sure stability

Sensor Attack Detection Using History Based Pairwise Inconsistency.

A Genetic Algorithm-Assisted Fault Detection Observer for Networked Systems under Denial-of-Service Attacks

A Uniform Framework for Diagnosis of Discrete-Event Systems with Unreliable Sensors using Linear Temporal Logic

Event‐triggered fault estimation and nonfragile synchronization control for multiweighted complex dynamical networks with deception attacks

Event-Based Security Control for Stochastic Networked Systems Subject to Attacks