SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks
| Title | SMT-Based Observer Design for Cyber-Physical Systems Under Sensor Attacks |
| Publication Type | Journal Article |
| Year of Publication | 2017 |
| Authors | Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto Sangiovanni-Vincentelli, Sanjit A. Seshia, João P. Hespanha, Paulo Tabuada |
| Journal | ACM Trans. Cyber-Physical Systems |
| Keywords | 1329650 |
| Citation Key | ShoukryChongWakaikiNuzzoVincentelliSeshiaHespanhaTabuadaJul16 |