Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada. Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Automat. Contr., 62(10):4917-4932, 2017. [doi]
@article{ShoukryNPSST17,
title = {Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach},
author = {Yasser Shoukry and Pierluigi Nuzzo and Alberto Puggelli and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia and Paulo Tabuada},
year = {2017},
doi = {10.1109/TAC.2017.2676679},
url = {https://doi.org/10.1109/TAC.2017.2676679},
researchr = {https://researchr.org/publication/ShoukryNPSST17},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Automat. Contr.},
volume = {62},
number = {10},
pages = {4917-4932},
}