Supervisory control of discrete-event systems under external attacks
From MaRDI portal
(Redirected from Supervisory control of discrete-event systems under external attacks)
Recommendations
- Supervisory control of discrete-event systems under attacks
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
- On decidability of existence of nonblocking supervisors resilient to smart sensor attacks
- Discrete-event systems subject to unknown sensor attacks
- Detection and mitigation of classes of attacks in supervisory control systems
Cites work
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Asynchronously switched control of a class of slowly switched linear systems
- Control of discrete-event systems. Automata and Petri net perspectives
- Detection and mitigation of classes of attacks in supervisory control systems
- Discrete event systems, manufacturing systems, and communication networks. Based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on control theory, held at the University of Minnesota, Minneapolis, MN, USA
- Event-Triggered State Observers for Sparse Sensor Noise/Attacks
- Expectation-maximization based parameter identification for HMM of urban traffic flow
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- scientific article; zbMATH DE number 1182386 (Why is no real title available?)
- Marking Estimation of Petri Nets With Silent Transitions
- Marking Observer in Labeled Petri Nets With Application to Supervisory Control
- Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Nonlinear systems.
- Observability of discrete event dynamic systems
- Observability of place/transition nets
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
- On observability of discrete-event systems
- On-line monitoring of large Petri net models under partial observation
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
- Supervisory control of discrete-event processes with partial observations
- Verification of State-Based Opacity Using Petri Nets
Cited in
(7)- Discrete-event systems subject to unknown sensor attacks
- A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
- Secret inference and attacktability analysis of discrete event systems
- A model-based deep reinforcement learning approach to the nonblocking coordination of modular supervisors of discrete event systems
- Sensor deception attacks against security in supervisory control systems
- Obfuscation mechanism for simultaneous public event information release and private event information hiding in discrete event systems
- Diagnosability and attack detection for discrete event systems under sensor attacks
This page was built for publication: Supervisory control of discrete-event systems under external attacks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6081283)
