TY  - RPRT
TI  - A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks
AU  - Yasser Shoukry
AU  - Pierluigi Nuzzo
AU  - Nicola Bezzo
AU  - Alberto L. Sangiovanni-Vincentelli
AU  - Sanjit A. Seshia
AU  - Paulo Tabuada
PY  - 2015
UR  - https://arxiv.org/abs/1509.03262
ID  - 1509.03262
ER  -