An SMT-based approach to secure state estimation under sensor and actuator attacks. Showkatbakhsh, M., Shoukry, Y., Chen, R. H, Diggavi, S., & Tabuada, P. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pages 157–162, 2017. IEEE.
bibtex   
@inproceedings{showkatbakhsh2017smt,
 author = {Showkatbakhsh, Mehrdad and Shoukry, Yasser and Chen, Robert H and Diggavi, Suhas and Tabuada, Paulo},
 booktitle = {2017 IEEE 56th Annual Conference on Decision and Control (CDC)},
 organization = {IEEE},
 pages = {157--162},
 tags = {conf,CPS},
 title = {An SMT-based approach to secure state estimation under sensor and actuator attacks},
 type = {4},
 year = {2017}
}

Downloads: 0