Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada. Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. In American Control Conference, ACC 2015, Chicago, IL, USA, July 1-3, 2015. pages 3818-3823, IEEE, 2015. [doi]
Abstract is missing.