Secure State Estimation against Sensor Attacks in the Presence of Noise

Abstract

We consider the problem of estimating the state of a noisy linear dynamical system when an unknown subset of sensors is arbitrarily corrupted by an adversary. We propose a secure state estimation algorithm, and derive (optimal) bounds on the achievable state estimation error given an upper bound on the number of attacked sensors. The proposed state estimator involves Kalman filters operating over subsets of sensors to search for a sensor subset which is reliable for state estimation. To further improve the subset search time, we propose Satisfiability Modulo Theory based techniques to exploit the combinatorial nature of searching over sensor subsets. Finally, as a result of independent interest, we give a coding theoretic view of attack detection and state estimation against sensor attacks in a noiseless dynamical system.

Submitted to IEEE TCNS special issue on secure control of cyber physical systems. A preliminary version of this work appeared in the proceedings of ISIT 2015. arXiv admin note: text overlap with arXiv:1504.05566

References in corpus (1)

• Secure State Estimation against Sensor Attacks in the Presence of Noise

Cited by in corpus (17)

• Cyber-Physical Systems Security: a Systematic Mapping Study
• Secure State Estimation against Sensor Attacks in the Presence of Noise
• A Survey on Cyber-Resilience Approaches for Cyber-Physical Systems
• Binary Hypothesis Testing with Byzantine Sensors: Fundamental Trade-off Between Security and Efficiency
• High-Confidence Attack Detection via Wasserstein-Metric Computations
• Challenges and Opportunities in CPS Security: A Physics-based Perspective
• Efficient Cyber Attacks Detection in Industrial Control Systems Using Lightweight Neural Networks and PCA
• Approximate Byzantine Fault-Tolerance in Distributed Optimization
• A Dynamic Watermarking Algorithm for Finite Markov Decision Problems
• Secure State Estimation with Byzantine Sensors: A Probabilistic Approach
• Quickest Bayesian and non-Bayesian detection of false data injection attack in remote state estimation
• Decentralized Secure State-Tracking in Multi-Agent Systems
• Asynchronous Distributed Optimization with Redundancy in Cost Functions
• Distributed Error-Identification and Correction using Block-Sparse Optimization
• Resilient State Estimation for Discrete-Time Linear Systems
• Efficient Secure State Estimation against Sparse Integrity Attack for System with Non-derogatory Dynamics
• Performance and Resilience of Cyber-Physical Control Systems with Reactive Attack Mitigation