A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
From MaRDI portal
Publication:5054282
DOI10.1007/978-3-030-85318-1_31zbMath1504.93231arXiv2005.00212OpenAlexW3023544629MaRDI QIDQ5054282
No author found.
Publication date: 29 November 2022
Published in: Lecture Notes in Control and Information Sciences - Proceedings (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2005.00212
Uses Software
Cites Work
- Fault detection for discrete event systems using Petri nets with unobservable transitions
- Detection and mitigation of classes of attacks in supervisory control systems
- Guaranteed model-based fault detection in cyber-physical systems: a model invalidation approach
- Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
- Supervisory control of discrete-event systems under attacks
- Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
- Introduction to Discrete Event Systems
- Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
- Distributed Function Calculation via Linear Iterative Strategies in the Presence of Malicious Agents
- Verification of State-Based Opacity Using Petri Nets
- A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets
- Attack Detection and Identification in Cyber-Physical Systems
This page was built for publication: A Framework for the Analysis of Supervised Discrete Event Systems Under Attack
