Mehrdad Showkatbakhsh, Yasser Shoukry, Robert H. Chen, Suhas N. Diggavi, Paulo Tabuada. An SMT-based approach to secure state estimation under sensor and actuator attacks. In 56th IEEE Annual Conference on Decision and Control, CDC 2017, Melbourne, Australia, December 12-15, 2017. pages 157-162, IEEE, 2017. [doi]
Abstract is missing.