An SMT-Based Approach to Secure State Estimation under Sensor and Actuator Attacks

Submitted by grigby1 on Mon, 03/19/2018 - 1:48pm

Title	An SMT-Based Approach to Secure State Estimation under Sensor and Actuator Attacks
Publication Type	Conference Paper
Year of Publication	2017
Authors	Showkatbakhsh, M., Shoukry, Y., Chen, R. H., Diggavi, S., Tabuada, P.
Conference Name	2017 IEEE 56th Annual Conference on Decision and Control (CDC)
Date Published	dec
Keywords	actuator attacks, actuator security, actuators, adversarial agent, adversarial attack, composability, computability, Fault tolerance, Human Behavior, Linear systems, linear time-invariant system, Mathematical model, Metrics, Observability, pubcrawl, resilience, Resiliency, satisfiability modulo theory, secure state estimator, security, sensor attacks, Sensors, SMT-based approach, sparse strong observability, state estimation
Abstract	This paper addresses the problem of state estimation of a linear time-invariant system when some of the sensors or/and actuators are under adversarial attack. In our set-up, the adversarial agent attacks a sensor (actuator) by manipulating its measurement (input), and we impose no constraint on how the measurements (inputs) are corrupted. We introduce the notion of ``sparse strong observability'' to characterize systems for which the state estimation is possible, given bounds on the number of attacked sensors and actuators. Furthermore, we develop a secure state estimator based on Satisfiability Modulo Theory (SMT) solvers.
URL	http://ieeexplore.ieee.org/document/8263659/
DOI	10.1109/CDC.2017.8263659
Citation Key	showkatbakhsh_smt-based_2017

Groups:

Science of Security VO