Supervisor synthesis to thwart cyber attack with bounded sensor reading alterations
From MaRDI portal
Publication:1797083
DOI10.1016/j.automatica.2018.04.006zbMath1400.93189arXiv1608.04103OpenAlexW2963076019MaRDI QIDQ1797083
Publication date: 17 October 2018
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1608.04103
controllabilitysupervisory controldiscrete-event systemspartial observationcyber securityattack under bounded sensor reading alterations
Controllability (93B05) Hierarchical systems (93A13) Discrete event control/observation systems (93C65) Synthesis problems (93B50) Cellular automata (computational aspects) (68Q80) Authentication, digital signatures and secret sharing (94A62)
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, Deterministic supervisory control with flexible upper-bounds on observation delay and control delay, Leaderless consensus control of uncertain multi-agents systems with sensor and actuator attacks, Performance safety enforcement in stochastic event graphs against boost and slow attacks, Synthesis of covert actuator and sensor attackers, An efficient simulation procedure for the expected opportunity cost using metamodels, Hybrid-triggered interval type-2 fuzzy control for networked systems under attacks, Secret inference and attacktability analysis of discrete event systems, Robust corrective control against fundamental and non-fundamental mode attacks with application to an asynchronous digital system, Synthesis of optimal covert sensor-actuator attackers for 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, 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, Adaptive control of cyber-physical systems under deception and injection attacks, Observation-assisted heuristic synthesis of covert attackers against unknown supervisors, Dealing with sensor and actuator deception attacks in supervisory control, Synthesis of winning attacks on communication protocols using supervisory control theory: two case studies
Cites Work
- Maximally permissive coordinated distributed supervisory control of nondeterministic discrete-event systems
- Synthesis of insertion functions for enforcement of opacity security properties
- Verification of initial-state opacity in security applications of discrete event systems
- Active fault tolerant control of discrete event systems using online diagnostics
- Solvability of centralized supervisory control under partial observation
- On observability of discrete-event systems
- On the control of discrete-event dynamical systems
- Decentralized supervisory control of discrete-event systems
- Discrete-event modeling of multi-agent systems with broadcasting-based parallel composition
- Control protocol synthesis for multi-agent systems with similar actions instantiated from agent and requirement templates
- A Supervisory Control Approach to Dynamic Cyber-Security
- Synthesis of Maximally Permissive Supervisors for Partially-Observed Discrete-Event Systems
- Secure Estimation and Control for Cyber-Physical Systems Under Adversarial Attacks
- Supervisory Control of a Class of Discrete Event Processes
- Diagnosability of discrete-event systems
- Supervisory Control for Opacity
- Aggregative Synthesis of Distributed Supervisors Based on Automaton Abstraction
