Supervisory control of discrete-event systems under attacks
From MaRDI portal
Publication:2292112
DOI10.1007/s13235-018-0285-3zbMath1431.91080arXiv1701.00881OpenAlexW2585833112WikidataQ129265389 ScholiaQ129265389MaRDI QIDQ2292112
João P. Hespanha, Masashi Wakaiki, Paulo Tabuada
Publication date: 3 February 2020
Published in: Dynamic Games and Applications (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1701.00881
Applications of game theory (91A80) Control/observation systems involving computers (process control, etc.) (93C83) Discrete event control/observation systems (93C65)
Related Items (12)
Discrete-event systems subject to unknown sensor attacks ⋮ A Framework for the Analysis of Supervised Discrete Event Systems Under Attack ⋮ Synthesis of covert actuator and sensor attackers ⋮ Secret inference and attacktability analysis of discrete event systems ⋮ On decidability of existence of nonblocking supervisors resilient to smart sensor attacks ⋮ Design and implementation of robust corrective control systems with permanent sensor faults ⋮ Synthesis of covert actuator attackers for free ⋮ Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems ⋮ Observation-assisted heuristic synthesis of covert attackers against unknown supervisors ⋮ Robust input/output model matching of asynchronous sequential machines under intermittent actuator faults ⋮ Dealing with sensor and actuator deception attacks in supervisory control ⋮ Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
Uses Software
Cites Work
- Synthesis of insertion functions for enforcement of opacity security properties
- Active fault tolerant control of discrete event systems using online diagnostics
- Safe supervisory control under observability failure
- On the control of discrete-event dynamical systems
- A general architecture for decentralized supervisory control of discrete-event systems
- Decentralized supervisory control of discrete-event systems
- Robust supervisory control of a class of timed discrete event systems under partial observation
- A secure control framework for resource-limited adversaries
- Robust nonblocking supervisory control of discrete-event systems under partial observation
- 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
- Introduction to Discrete Event Systems
- Robust and adaptive supervisory control of discrete event systems
- Supervisory Control for Opacity
- Diagnosability of stochastic discrete-event systems
- Supervisor Synthesis for Mealy Automata With Output Functions: A Model Transformation Approach
- Formal Methods for Components and Objects
- Opacity-Enforcing Supervisory Strategies via State Estimator Constructions
This page was built for publication: Supervisory control of discrete-event systems under attacks
