Detection and mitigation of classes of attacks in supervisory control systems
From MaRDI portal
Publication:1716512
DOI10.1016/j.automatica.2018.07.017zbMath1406.93006arXiv1807.04889OpenAlexW2884397601MaRDI QIDQ1716512
Yi-Chin Wu, Lilian Kawakami Carvalho, Stéphane Lafortune, Raymond H. Kwong
Publication date: 5 February 2019
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1807.04889
Controllability (93B05) Communication networks in operations research (90B18) Formal languages and automata (68Q45) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Authentication, digital signatures and secret sharing (94A62) Software, source code, etc. for problems pertaining to systems and control theory (93-04)
Related Items
Robust decentralized diagnosability of networked discrete event systems against DoS and deception attacks, Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection, Discrete-event systems subject to unknown sensor attacks, A Framework for the Analysis of Supervised Discrete Event Systems Under Attack, Performance safety enforcement in stochastic event graphs against boost and slow attacks, Synthesis of covert actuator and sensor attackers, Supervisory control of discrete-event systems under external attacks, Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system, 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, Robust corrective control against a class of actuator attacks in input/state asynchronous sequential machines, Synthesis of sensor deception attacks at the supervisory layer of cyber-physical systems, Performance safety enforcement in strongly connected timed event graphs, Three kinds of coprognosability for partially-observed discrete event systems via a matrix approach, Analysis of strong and strong periodic detectability of bounded labeled Petri nets, Usability aware secret protection with minimum cost, 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, Robust supervisory control of discrete event systems against intermittent loss of observations, Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
Uses Software
Cites Work
- Active fault tolerant control of discrete event systems using online diagnostics
- Decentralized supervisory control of discrete-event systems
- Robust diagnosis of discrete event systems against intermittent loss of observations
- State Attraction Under Language Specification for the Reconfiguration of Discrete Event Systems
- Introduction to Discrete Event Systems
- A polynomial algorithm for testing diagnosability of discrete-event systems
- Diagnosability of discrete-event systems
- Polynomial-time verification of diagnosability of partially observed discrete-event systems
- Polynomial Time Verification of Decentralized Diagnosability of Discrete Event Systems