Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving
Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada

Citation
Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada. "Sound and Complete State Estimation for Linear Dynamical Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving". American Control Conference (ACC), 3818-3823, 1, July, 2015.

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.

Electronic downloads

Internal. This publication has been marked by the author for TerraSwarm-only distribution, so electronic downloads are not available without logging in.

Citation formats

• HTML

  Yasser Shoukry, Alberto  Puggelli, Pierluigi Nuzzo, Alberto
  Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada. <a
  href="http://www.terraswarm.org/pubs/514.html"
  >Sound and Complete State Estimation for Linear Dynamical
  Systems Under Sensor Attacks Using Satisfiability Modulo
  Theory Solving</a>, American Control Conference (ACC),
  3818-3823, 1, July, 2015.

• Plain text

  Yasser Shoukry, Alberto  Puggelli, Pierluigi Nuzzo, Alberto
  Sangiovanni-Vincentelli, Sanjit Seshia, Paulo Tabuada.
  "Sound and Complete State Estimation for Linear
  Dynamical Systems Under Sensor Attacks Using Satisfiability
  Modulo Theory Solving". American Control Conference
  (ACC), 3818-3823, 1, July, 2015.

• BibTeX

  @inproceedings{ShoukryPuggelliNuzzoSangiovanniVincentelliSeshiaTabuada15_SoundCompleteStateEstimationForLinearDynamicalSystems,
      author = {Yasser Shoukry and Alberto  Puggelli and Pierluigi
                Nuzzo and Alberto Sangiovanni-Vincentelli and
                Sanjit Seshia and Paulo Tabuada},
      title = {Sound and Complete State Estimation for Linear
                Dynamical Systems Under Sensor Attacks Using
                Satisfiability Modulo Theory Solving},
      booktitle = {American Control Conference (ACC)},
      pages = {3818-3823},
      day = {1},
      month = {July},
      year = {2015},
      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.},
      URL = {http://terraswarm.org/pubs/514.html}
  }
  

Posted by Barb Hoversten on 17 Mar 2015.
Groups: tools