Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada. SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. In 7th ACM/IEEE International Conference on Cyber-Physical Systems, ICCPS 2016, Vienna, Austria, April 11-14, 2016. pages 1-10, IEEE Computer Society, 2016. [doi]
Abstract is missing.