Title | ||
---|---|---|
Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving |
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. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1109/ACC.2015.7171925 | ACC |
Field | DocType | ISSN |
Linear dynamical system,Observability,Mathematical optimization,Upper and lower bounds,Modulo,Control theory,Computer science,Satisfiability,Algorithm,Combinatorial complexity | Conference | 0743-1619 |
ISBN | Citations | PageRank |
978-1-4799-8685-9 | 12 | 0.68 |
References | Authors | |
13 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Yasser Shoukry | 1 | 104 | 12.27 |
Alberto Puggelli | 2 | 132 | 10.13 |
Pierluigi Nuzzo | 3 | 305 | 33.35 |
Alberto L. Sangiovanni-Vincentelli | 4 | 11385 | 1881.40 |
Sanjit A. Seshia | 5 | 2226 | 168.09 |
Paulo Tabuada | 6 | 4281 | 264.80 |