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>

Study on relabeling observer property in symmetric discrete-event systems

Combined Controller Synthesis for a Class of Discrete Event Systems

Supervisory Control Of Boolean Discrete Event Systems

On DES supervisor synthesis under partial observation

Observer-Based Asynchronous Control of Nonlinear Systems with Dynamic Event-Based Try-Once-Discard Protocol

Formulae of the Infimal Controllable and Observable Sub‐language and Synthesis of Its Supervisor

Supervisory Control of Multi-Agent Discrete-Event Systems with Partial Observation

Observer-Based Asynchronous Control of Discrete-Time Semi-Markov Switching Power Systems under DoS Attacks

Supervisory control of discrete-event systems under external attacks

Designing Observer-Type Controller for Containment of Discrete-Time Linear MASs over Signed Graph

On Reductions Among Observation Properties of Discrete Event Systems

Supervisor Synthesis of Petri Net with Uncontrollable Transitions

Outlier-Resistant Observer-Based Control for a Class of Networked Systems Under Encoding–Decoding Mechanism

Retrofit Self-Optimizing Control: A Step Forward Toward Real Implementation.

Observability is sufficient for the design of globally exponentially stable state observers for state-affine nonlinear systems

Similarity-Based Supervisory Control of Discrete Event Systems

Relationships between State Feedbacks of Completely and Partially Observable Discrete Event Systems

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

Observability and Decentralized Control of Fuzzy Discrete Event Systems

Two New Optimal Models for Controlling Discrete Event Systems

Stochastic Observability and Convergent Analog State Estimation of Randomly Switched Linear Systems with Unobservable Subsystems