Secure State Estimation Against Sensor Attacks in the Presence of Noise

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:IEEE transactions on control of network systems Jg. 4; H. 1; S. 49 - 59
Hauptverfasser: Mishra, Shaunak, Shoukry, Yasser, Karamchandani, Nikhil, Diggavi, Suhas N., Tabuada, Paulo
Format: Journal Article
Sprache:Englisch
Veröffentlicht: Piscataway IEEE 01.03.2017
The Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Schlagworte:
Combinatorial analysis
Control systems
Covariance matrices
Dynamical systems
Economic models
Encoding
Error detection
Kalman filters
Noise measurement
Secure cyber-physical systems
secure state reconstruction
sensor attacks
Sensors
State estimation
Symmetric matrices
ISSN:2325-5870, 2372-2533
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung: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.
Bibliographie:ObjectType-Article-1
SourceType-Scholarly Journals-1
ObjectType-Feature-2
content type line 14
ISSN:2325-5870
2372-2533
DOI:10.1109/TCNS.2016.2606880