Sensor deception attacks against security in supervisory control systems
From MaRDI portal
Publication:6537285
Recommendations
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Dealing with sensor and actuator deception attacks in supervisory control
- Supervisory control of discrete-event systems under attacks
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
- Discrete-event systems subject to unknown sensor attacks
Cites work
- A Uniform Approach for Synthesizing Property-Enforcing Supervisors for Partially-Observed Discrete-Event Systems
- Comparative analysis of related notions of opacity in centralized and coordinated architectures
- Comparing the notions of opacity for discrete-event systems
- Current-state opacity enforcement in discrete event systems under incomparable observations
- Detection and mitigation of classes of attacks in supervisory control systems
- Initial-state detectability and initial-state opacity of unambiguous weighted automata
- Introduction to Discrete Event Systems
- Opacity of discrete event systems and its applications
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
- Optimal Secret Protections in Discrete-Event Systems
- Performance safety enforcement in strongly connected timed event graphs
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Supervisory Control for Opacity
- Supervisory control of discrete-event systems under attacks
- Supervisory control of discrete-event systems under external attacks
- Synthesis of covert actuator and sensor attackers
- Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems
- Synthesis of Supervisors Robust Against Sensor Deception Attacks
- Verification of Infinite-Step Opacity and Complexity Considerations
- Verification of initial-state opacity in security applications of discrete event systems
Cited in
(3)- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Attack-resilient corrective control of nondeterministic asynchronous sequential machines and its application to a space-borne digital system
- Enhancing sensor attack detection in supervisory control systems modeled by probabilistic automata
This page was built for publication: Sensor deception attacks against security in supervisory control systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6537285)
