DeepAI AI Chat
Log In Sign Up

Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design

by   Mehrdad Showkatbakhsh, et al.
University of Maryland

This paper discusses the problem of estimating the state of a linear time-invariant system when some of its sensors and actuators are compromised by an adversarial agent. In the model considered in this paper, the malicious agent attacks an input (output) by manipulating its value arbitrarily, i.e., we impose no constraints (statistical or otherwise) on how control commands (sensor measurements) are changed by the adversary. In the first part of this paper, we introduce the notion of sparse strong observability and we show that is a necessary and sufficient condition for correctly reconstructing the state despite the considered attacks. In the second half of this work, we propose an estimator to harness the complexity of this intrinsically combinatorial problem, by leveraging satisfiability modulo theory solving. Numerical simulations demonstrate the effectiveness and scalability of our estimator.


page 1

page 2

page 3

page 4


Resilient Set-based State Estimation for Linear Time-Invariant Systems Using Zonotopes

This paper considers the problem of set-based state estimation for linea...

A Scalable and Optimal Graph-Search Method for Secure State Estimation

The growing complexity of modern Cyber-Physical Systems (CPS) and the fr...

Remote State Estimation of Multiple Systems over Multiple Markov Fading Channels

We consider remote state estimation of multiple discrete-time linear tim...

Connecting Lyapunov Control Theory to Adversarial Attacks

Significant work is being done to develop the math and tools necessary t...

Design of multiplicative watermarking against covert attacks

This paper addresses the design of an active cyberattack detection archi...

Error- and Tamper-Tolerant State Estimation for Discrete Event Systems under Cost Constraints

This paper deals with the state estimation problem in discrete-event sys...