• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving.

Yasser ShoukryPierluigi NuzzoNicola BezzoAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaPaulo Tabuada
Published in: CDC (2015)
Keyphrases
  • network security
  • computer systems
  • three dimensional
  • satisfiability problem
  • countermeasures
  • computational complexity
  • sensor networks
  • digital images
  • sensor data
  • phase transition