Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach - Shoukry, Yasser; Nuzzo, Pierluigi; Puggelli, Alberto; Sangiovanni-Vincentelli, Alberto L.; Seshia, Sanjit A.; Tabuada, Paulo (IEEE transactions on automatic control, 2017)
Keywords: Heuristic algorithms; Noise measurement; Process control; satisfiability modulo theories; Scalability; Secure cyber-physical systems; secure state estimation; Semiconductor device measurement; sensor attacks; State estimation; Upper bound