Supervisory control of discrete-event systems under external attacks
From MaRDI portal
Publication:6081283
DOI10.1016/j.ins.2021.03.033zbMath1526.93003OpenAlexW3137612455MaRDI QIDQ6081283
No author found.
Publication date: 25 October 2023
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2021.03.033
Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Attainable sets, reachability (93B03)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Control of discrete-event systems. Automata and Petri net perspectives
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- On-line monitoring of large Petri net models under partial observation
- On observability of discrete-event systems
- 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
- Asynchronously switched control of a class of slowly switched linear systems
- Event-Triggered State Observers for Sparse Sensor Noise/Attacks
- Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions
- Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
- Observability of discrete event dynamic systems
- Supervisory control of discrete-event processes with partial observations
- An Efficient Approach for Online Diagnosis of Discrete Event Systems
- Observability of place/transition nets
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
- Marking Estimation of Petri Nets With Silent Transitions
- Marking Observer in Labeled Petri Nets With Application to Supervisory Control
- Predicates and predicate transformers for supervisory control of discrete event dynamical systems
- Verification of State-Based Opacity Using Petri Nets
This page was built for publication: Supervisory control of discrete-event systems under external attacks
