@COMMENT This file was generated by bib2html.pl version 0.94
@COMMENT written by Patrick Riley
@COMMENT This file came from Sanjit Seshia's publication pages at http://www.eecs.berkeley.edu/~sseshia
@inproceedings{shoukry-acc15,
author = {Yasser Shoukry and Alberto Puggelli and Pierluigi Nuzzo and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia and Paulo Tabuada},
title = {Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving},
booktitle = {Proceedings of the American Control Conference (ACC 2015)},
month = "July",
year = {2015},
pages = "3818--3823",
abstract = {We address the problem of detecting and mitigating
the effect of malicious attacks on the sensors of a linear
dynamical system. We develop a novel, efficient algorithm that
uses a Satisfiability Modulo Theory approach to isolate the
compromised sensors and estimate the system state despite the
presence of the attack, thus harnessing the intrinsic combinatorial
complexity of the problem. Simulation results show that
our algorithm compares favorably with alternative techniques,
with respect to both runtime and estimation error.},
}