Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving.
Yasser ShoukryPierluigi NuzzoNicola BezzoAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaPaulo TabuadaPublished in: CDC (2015)