Secure estimation and control for cyber-physical systems under adversarial attacks

Abstract

The vast majority of today's critical infrastructure is supported by numerous feedback control loops and an attack on these control loops can have disastrous consequences. This is a major concern since modern control systems are becoming large and decentralized and thus more vulnerable to attacks. This paper is concerned with the estimation and control of linear systems when some of the sensors or actuators are corrupted by an attacker. In the first part we look at the estimation problem where we characterize the resilience of a system to attacks and study the possibility of increasing its resilience by a change of parameters. We then propose an efficient algorithm to estimate the state despite the attacks and we characterize its performance. Our approach is inspired from the areas of error-correction over the reals and compressed sensing. In the second part we consider the problem of designing output-feedback controllers that stabilize the system despite attacks. We show that a principle of separation between estimation and control holds and that the design of resilient output feedback controllers can be reduced to the design of resilient state estimators.

Cited by in corpus (113)

• Coding Schemes for Securing Cyber-Physical Systems Against Stealthy Data Injection Attacks
• Cyber-Physical Systems Security: a Systematic Mapping Study
• Secure State Estimation against Sensor Attacks in the Presence of Noise
• A Moving Target Defense for Securing Cyber-Physical Systems
• Detection of Sensor Attack and Resilient State Estimation for Uniformly Observable Nonlinear Systems having Redundant Sensors
• Secure Distributed Dynamic State Estimation in Wide-Area Smart Grids
• The Internet of Things: Secure Distributed Inference
• Fully Distributed Resilient State Estimation based on Distributed Median Solver
• On Redundant Observability: From Security Index to Attack Detection and Resilient State Estimation
• A Survey on Cyber-Resilience Approaches for Cyber-Physical Systems
• Resilient Distributed Parameter Estimation with Heterogeneous Data
• Actuator Security Indices Based on Perfect Undetectability: Computation, Robustness, and Sensor Placement
• Distributed Localization in Wireless Sensor Networks Under Denial-of-Service Attacks
• Binary Hypothesis Testing with Byzantine Sensors: Fundamental Trade-off Between Security and Efficiency
• A Colonel Blotto Game for Interdependence-Aware Cyber-Physical Systems Security in Smart Cities
• Resilient Containment Control of Heterogeneous Multi-Agent Systems Against Unbounded Sensor and Actuator Attacks
• Security of Distributed Parameter Cyber-Physical Systems: Cyber-Attack Detection in Linear Parabolic PDEs
• From Control System Security Indices to Attack Identifiability
• Observability Robustness under Sensor Failures: a Computational Perspective
• Exploiting Physical Dynamics to Detect Actuator and Sensor Attacks in Mobile Robots
• Byzantine Fault Tolerant Distributed Linear Regression
• Optimal Secure Control with Linear Temporal Logic Constraints
• Colonel Blotto Game for Secure State Estimation in Interdependent Critical Infrastructure
• Resilient Optimal Estimation Using Measurement Prior
• Finite-time Guarantees for Byzantine-Resilient Distributed State Estimation with Noisy Measurements
• A Game-Theoretic Approach to Secure Estimation and Control for Cyber-Physical Systems with a Digital Twin
• Stochastic defense against complex grid attacks
• Secure Estimation for Unmanned Aerial Vehicles against Adversarial Cyber Attacks
• Remote State Estimation over Packet Dropping Links in the Presence of an Eavesdropper
• Recovery from Adversarial Attacks in Cyber-physical Systems: Shallow, Deep and Exploratory Works
• Attack-Resilient H2, H-infinity, and L1 State Estimator
• Perturbation-Tolerant Structural Controllability for Linear Systems
• Attack-resilient observer pruning for path-tracking control of Wheeled Mobile Robot
• Approximate Byzantine Fault-Tolerance in Distributed Optimization
• Learning Optimal Strategies for Temporal Tasks in Stochastic Games
• LQG Reference Tracking with Safety and Reachability Guarantees under Unknown False Data Injection Attacks
• Game Theoretical Approach to Sequential Hypothesis Test with Byzantine Sensors
• Event-Triggered Control over Unreliable Networks Subject to Jamming Attacks
• Simultaneous State and Unknown Input Set-Valued Observers for Some Classes of Nonlinear Dynamical Systems
• Supervisory Control of Discrete-event Systems under Attacks
• Attack-Resilient Weighted ${\ell }_1$ Observer with Prior Pruning
• A Dynamic Watermarking Algorithm for Finite Markov Decision Problems
• Vulnerability of linear systems against sensor attacks--a system's security index
• How to Secure Distributed Filters Under Sensor Attacks
• A Secure Sensor Fusion Framework for Connected and Automated Vehicles under Sensor Attacks
• Attack-resilient Estimation for Linear Discrete-time Stochastic Systems with Input and State Constraints
• Simultaneous Mode, Input and State Set-Valued Observers with Applications to Resilient Estimation Against Sparse Attacks
• Dynamic Watermarking for General LTI Systems
• Networked Control under Random and Malicious Packet Losses
• Controller Synthesis for Linear Time-varying Systems with Adversaries
• Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks
• Quickest Bayesian and non-Bayesian detection of false data injection attack in remote state estimation
• Resilience of Electricity Distribution Networks - Part II: Leveraging Microgrids
• Resilient Linear Classification: An Approach to Deal with Attacks on Training Data
• Channels, Remote Estimation and Queueing Systems With A Utilization-Dependent Component: A Unifying Survey Of Recent Results
• Secure Sensor Design Against Undetected Infiltration: Minimum Impact-Minimum Damage
• Secure State Estimation with Byzantine Sensors: A Probabilistic Approach
• Optimal Denial-of-Service Attack Energy Management over an SINR-Based Network
• Networked Constrained Cyber-Physical Systems subject to malicious attacks: a resilient set-theoretic control approach
• A Multi-Observer Based Estimation Framework for Nonlinear Systems under Sensor Attacks
• Attack Analysis for Distributed Control Systems: An Internal Model Principle Approach
• Linear system security -- detection and correction of adversarial attacks in the noise-free case
• PTSC: a New Definition for Structural Controllability under Numerical Perturbations
• Optimal Attack against Cyber-Physical Control Systems with Reactive Attack Mitigation
• Minimum Sparsity of Unobservable Power Network Attacks
• Randomized Transmission Protocols for Protection against Jamming Attacks in Multi-Agent Consensus
• Decentralized Secure State-Tracking in Multi-Agent Systems
• A Safety Constrained Control Framework for UAVs in GPS Denied Environment
• Edge Selection in Bilinear Dynamical Networks
• SecSens: Secure State Estimation with Application to Localization and Time Synchronization
• A Moving-target Cyber-Attack Detection Strategy for Large-scale Power Systems using Dynamic Clustering
• Synthesis of Covert Sensor Attacks in Networked Discrete-Event Systems with Non-FIFO Channels
• Simultaneous Distributed Estimation and Attack Detection/Isolation in Social Networks: Structural Observability, Kronecker-Product Network, and Chi-Square Detector
• Resilient Feedback Controller Design For Linear Model of Power Grids
• Distributed control under compromised measurements:Resilient estimation, attack detection, and vehicle platooning
• The Impact of Complex and Informed Adversarial Behavior in Graphical Coordination Games
• Resilient State Estimation for Discrete-Time Linear Systems
• An Unknown Input Multi-Observer Approach for Estimation and Control under Adversarial Attacks
• Synthesizing Stealthy Reprogramming Attacks on Cardiac Devices
• Distributed L1-state-and-fault estimation for Multi-agent systems
• Stabilization of Networked Control Systems under DoS Attacks and Output Quantization
• Switching and Data Injection Attacks on Stochastic Cyber-Physical Systems: Modeling, Resilient Estimation and Attack Mitigation
• Towards a Unified Resilience Analysis: State Estimation against Integrity Attacks
• Security Assessment of Electricity Distribution Networks under DER Node Compromises
• Optimal Communication Strategies in Networked Cyber-Physical Systems with Adversarial Elements
• Secure distributed filtering for unstable dynamics under compromised observations
• Resilient Distributed Field Estimation
• Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design
• Performance and Resilience of Cyber-Physical Control Systems with Reactive Attack Mitigation
• Secure distributed adaptive optimal coordination of nonlinear cyber-physical systems with attack diagnosis
• Bias estimation in sensor networks
• V-Formation via Model Predictive Control
• An Optimal Linear Dynamic Detection Method for Replay Attack in Cyber-Physical Systems
• Constrained Attack-Resilient Estimation of Stochastic Cyber-Physical Systems
• An Observer-based Switching Algorithm for Safety under Sensor Denial-of-Service Attacks
• Data-Driven Identification of Attack-free Sensors in Networked Control Systems
• A Bilevel Optimization Framework for Adversarial Control of Gas Pipeline Operations
• State Estimation with Secrecy against Eavesdroppers
• Efficient Secure State Estimation against Sparse Integrity Attack for System with Non-derogatory Dynamics
• Attack-resilient Estimation of Switched Nonlinear Stochastic Cyber-Physical Systems
• Two Applications of Graph Minor Reduction
• Fast state estimation under sensor attacks: a senor categorization approach
• Self-Gradient Networks
• Optimal Power Control for DoS Attack over Fading Channel: A Game-Theoretic Approach
• Quickest Detection of Deception Attacks in Networked Control Systems with Physical Watermarking
• Cooperative Vehicle Speed Fault Diagnostics and Correction
• Secure Estimation and Attack Isolation for Connected and Automated Driving in the Presence of Malicious Vehicles
• An Optimal Linear Attack Strategy on Remote State Estimation
• Analysis of Recurrent Linear Networks for Enabling Compressed Sensing of Time-Varying Signals
• An Information Matrix Approach for State Secrecy
• A software-defined architecture for control of IoT Cyberphysical Systems
• Secure Minimum Time Planning Under Environmental Uncertainty: an Extended Treatment
• An Optimal Graph-Search Method for Secure State Estimation