Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving
Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paolo Tabuada

Citation
Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto Sangiovanni-Vincentelli, Sanjit Seshia, Paolo Tabuada. "Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks Using Satisfiability Modulo Theory Solving". Conference on Decision and Control (CDC 2015), IEEE, 15, December, 2015.

Abstract
We address the problem of reconstructing the state of a differentially flat system from measurements that may be corrupted by an adversarial attack. In cyber-physical systems, malicious attacks can directly compromise the system's sensors or manipulate the communication between sensors and controllers. We consider attacks that only corrupt a subset of sensor measurements. We show that the possibility of reconstructing the state under such attacks is characterized by a suitable generalization of the notion of s-sparse observability, previously introduced by some of the authors in the linear case. We also extend our previous work on the use of Satisfiability Modulo Theory solvers to reconstruct the state under sensor attacks to the context of differentially flat systems. The effectiveness of our approach is illustrated on the problem of controlling a quadrotor under sensor attacks.

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, Pierluigi Nuzzo, Nicola Bezzo, Alberto
  Sangiovanni-Vincentelli, Sanjit Seshia, Paolo Tabuada. <a
  href="http://www.terraswarm.org/pubs/615.html"
  >Secure State Reconstruction in Differentially Flat
  Systems Under Sensor Attacks Using Satisfiability Modulo
  Theory Solving</a>, Conference on Decision and Control
  (CDC 2015), IEEE, 15, December, 2015.

• Plain text

  Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto
  Sangiovanni-Vincentelli, Sanjit Seshia, Paolo Tabuada.
  "Secure State Reconstruction in Differentially Flat
  Systems Under Sensor Attacks Using Satisfiability Modulo
  Theory Solving". Conference on Decision and Control
  (CDC 2015), IEEE, 15, December, 2015.

• BibTeX

  @inproceedings{ShoukryNuzzoBezzoSangiovanniVincentelliSeshiaTabuada15_SecureStateReconstructionInDifferentiallyFlatSystems,
      author = {Yasser Shoukry and Pierluigi Nuzzo and Nicola
                Bezzo and Alberto Sangiovanni-Vincentelli and
                Sanjit Seshia and Paolo Tabuada},
      title = {Secure State Reconstruction in Differentially Flat
                Systems Under Sensor Attacks Using Satisfiability
                Modulo Theory Solving},
      booktitle = {Conference on Decision and Control (CDC 2015)},
      organization = {IEEE},
      day = {15},
      month = {December},
      year = {2015},
      abstract = {We address the problem of reconstructing the state
                of a differentially flat system from measurements
                that may be corrupted by an adversarial attack. In
                cyber-physical systems, malicious attacks can
                directly compromise the system's sensors or
                manipulate the communication between sensors and
                controllers. We consider attacks that only corrupt
                a subset of sensor measurements. We show that the
                possibility of reconstructing the state under such
                attacks is characterized by a suitable
                generalization of the notion of s-sparse
                observability, previously introduced by some of
                the authors in the linear case. We also extend our
                previous work on the use of Satisfiability Modulo
                Theory solvers to reconstruct the state under
                sensor attacks to the context of differentially
                flat systems. The effectiveness of our approach is
                illustrated on the problem of controlling a
                quadrotor under sensor attacks.},
      URL = {http://terraswarm.org/pubs/615.html}
  }
  

Posted by Christopher Brooks on 21 Sep 2015.
Groups: tools