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 Pedro Hespanha Paulo Tabuada

Published in: ACM Trans. Cyber Phys. Syst. (2018)

Keyphrases