Reachability Analysis for Safety Assurance of Cyber-Physical Systems Against Cyber Attacks
From MaRDI portal
Publication:4682279
DOI10.1109/TAC.2017.2761762zbMath1423.93054OpenAlexW2762538584MaRDI QIDQ4682279
Publication date: 18 September 2018
Published in: IEEE Transactions on Automatic Control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1109/tac.2017.2761762
Filtering in stochastic control theory (93E11) Discrete-time control/observation systems (93C55) Attainable sets, reachability (93B03)
Related Items (15)
Secure estimation based Kalman filter for cyber-physical systems against sensor attacks ⋮ Backstepping control for stochastic nonlinear strict-feedback systems based on observer with incomplete measurements ⋮ Sliding mode-based adaptive resilient control for Markovian jump cyber-physical systems in face of simultaneous actuator and sensor attacks ⋮ Secure state estimation for cyber-physical systems under sparse data injection attacks: a switched counteraction approach ⋮ Worst-case \(\varepsilon \)-stealthy false data injection attacks in cyber-physical systems ⋮ A zonotopic characterization of cyber‐physical system vulnerabilities ⋮ Sparse attack reconstruction for cyber-physical systems via descriptor reduced-order observer ⋮ Binary observation‐based FIR system identification under sequence denial of service attacks ⋮ Decentralized event-triggered \(H_\infty\) control for neural networks subject to cyber-attacks ⋮ Fuzzy-based adaptive event-triggered control for nonlinear cyber-physical systems against deception attacks via a single parameter learning method ⋮ Optimal stealthy false data injection attacks for networked linear quadratic Gaussian control systems with two channels ⋮ Optimal stealthy false data injection attacks in cyber-physical systems ⋮ Nonfragile integral-based event-triggered control of uncertain cyber-physical systems under cyber-attacks ⋮ Malicious adversaries against secure state estimation: Sparse sensor attack design ⋮ Observer-based backstepping control for nonlinear cyber-physical systems with incomplete measurements
This page was built for publication: Reachability Analysis for Safety Assurance of Cyber-Physical Systems Against Cyber Attacks
