Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving.
Yasser ShoukryAlberto PuggelliPierluigi NuzzoAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaPaulo TabuadaPublished in: ACC (2015)