SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks

Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João P. Hespanha, Paulo Tabuada

Department of Automatic Control
ELLIIT: the Linköping-Lund initiative on IT and mobile communication

University of California, Los Angeles
University of California, Santa Barbara
University of California, Berkeley

Research output: Chapter in Book/Report/Conference proceeding › Paper in conference proceeding › peer-review

Sort by
Weight
Alphabetically

SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks

Fingerprint

Computer Science