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

Institutionen för reglerteknik
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

Forskningsoutput: Kapitel i bok/rapport/Conference proceeding › Konferenspaper i proceeding › Peer review

Sortera efter
Vikt
Alfabetisk ordning

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

Fingeravtryck

Computer Science