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>

Secure Recovery Procedure for Manufacturing Systems using Synchronizing Automata and Supervisory Control Theory

Liveness Problem of Petri Nets Supervisory Control Theory for Discrete Event Systems

Petri-net-based Robust Supervisory Control of Automated Manufacturing Systems

Deadlock and Blockage Control for Manufacturing Systems with Failure-Prone Workstations

A Hybrid Approach to Design Deadlock-Free Petri Net Controller for Discrete Event Systems

Resource Failure and Buffer Space Allocation Control for Automated Manufacturing Systems

Strong Controllable Siphon Basis-Based Robust Deadlock Control for Manufacturing Systems with Multiple Unreliable Resources

Synthesis of logical controllers and discrete-event systems supervisory control theory

Distributed Nonblocking Supervisory Control of Timed Discrete-Event Systems with Communication Delays and Losses

Uncertainty-Inflicted Event-Driven Resilient Recovery for Distribution Systems: A Semi-Markov Decision Process Approach

Supervisory control of discrete-event systems under external attacks

Exploiting Symmetry of Discrete-Event Systems by Relabeling and Reconfiguration.

Networked Supervisory Control Synthesis of Timed Discrete-Event Systems

Synthesis of resilient fallback control system under cyber-attacks via supervisory control

Resilient Control for Serial Manufacturing Networks with Advance Notice of Disruptions.

Attack-Resilient Supervisory Control of Discrete-Event Systems: A Finite-State Transducer Approach

Distributed Supervisory Control of Discrete-Event Systems with Communication Delay

Nonblocking Supervisory Control of Flexible Manufacturing Systems Based on State Tree Structures

The Development of a Malleable Model for Critical System Supervision Integration

Supervisor Synthesis for Multi-Agent Systems with Mutually Exclusive Resources.

Online State Estimation for Supervisor Synthesis in Discrete-Event Systems With Communication Delays and Losses