Please use this identifier to cite or link to this item:
http://elibrary.gci.edu.np/handle/123456789/1340
Title: | Secure state estimation against sensor attacks in the presence of noise |
Authors: | Mishra S. Shoukry Y. Karamchandani N. Diggavi S.N. Tabuada P. |
Keywords: | Dynamical systems Embedded systems Estimation Linear control systems Set theory Attack detection Linear dynamical systems Satisfiability modulo Theories State estimation algorithms State Estimators State reconstruction Subset searches Upper Bound State estimation |
Issue Date: | 2017 |
Publisher: | Institute of Electrical and Electronics Engineers Inc. |
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. © 2014 IEEE. |
URI: | http://elibrary.gci.edu.np/handle/123456789/1340 |
Appears in Collections: | Articles |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Article2.pdf | 479.98 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.