A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks.
Yasser ShoukryPierluigi NuzzoNicola BezzoAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaPaulo TabuadaPublished in: CoRR (2015)