A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
From MaRDI portal
(Redirected from Publication:5054282)
Abstract: This paper focuses on the problem of cyber attacks for discrete event systems under supervisory control. In more detail, the goal of the supervisor, who has a partial observation of the system evolution, is that of preventing the system from reaching a set of unsafe states. An attacker may act in two different ways: he can corrupt the observation of the supervisor editing the sensor readings, and can enable events that are disabled by the supervisor. This is done with the aim of leading the plant to an unsafe state, and keeping the supervisor unaware of that before the unsafe state is reached. A special automaton, called attack structure is constructed as the parallel composition of two special structures. Such an automaton can be used by the attacker to select appropriate actions (if any) to reach the above goal, or equivalently by the supervisor, to validate its robustness with respect to such attacks.
Recommendations
- Supervisory control of discrete-event systems under attacks
- Supervisory control of discrete-event systems under external attacks
- Discrete-event systems subject to unknown sensor attacks
- Detection and mitigation of classes of attacks in supervisory control systems
- Synthesis of optimal covert sensor-actuator attackers for discrete-event systems
- Event-Triggered Control Systems Under Denial-of-Service Attacks
- Reachability Analysis for Linear Discrete-Time Systems Under Stealthy Cyber Attacks
- Systematic classification of attackers via bounded model checking
- An event‐triggered approach to security control for networked systems using hybrid attack model
- Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks
Cites work
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Attack Detection and Identification in Cyber-Physical Systems
- Detection and mitigation of classes of attacks in supervisory control systems
- Distributed Function Calculation via Linear Iterative Strategies in the Presence of Malicious Agents
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
- Introduction to Discrete Event Systems
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
- Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Supervisory control of discrete-event systems under attacks
- Verification of State-Based Opacity Using Petri Nets
Cited in
(14)- Detection and mitigation of classes of attacks in supervisory control systems
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- A zonotopic set-invariance analysis of replay attacks affecting the supervisory layer
- Dealing with sensor and actuator deception attacks in supervisory control
- Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
- Discrete-event systems subject to unknown sensor attacks
- Supervisory control of discrete-event systems under attacks
- Performance safety enforcement in stochastic event graphs against boost and slow attacks
- A supervisory control approach to dynamic cyber-security
- Supervisory control of discrete-event systems under external attacks
- Synthesis of optimal covert sensor-actuator attackers for discrete-event systems
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Sensor deception attacks against security in supervisory control systems
- Diagnosability and attack detection for discrete event systems under sensor attacks
This page was built for publication: A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5054282)
