IEEE - Institute of Electrical and Electronics Engineers, Inc. - Secure State Estimation for Cyber Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach

Author(s): Yasser Shoukry ; Pierluigi Nuzzo ; Alberto Puggelli ; Alberto L. Sangiovanni-Vincentelli ; Sanjit A. Seshia ; Paulo Tabuada
Sponsor(s): IEEE Control Systems Society
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Volume: PP
Page(s): 1
ISSN (Paper): 0018-9286
ISSN (Online): 1558-2523
DOI: 10.1109/TAC.2017.2676679
Regular:

Secure state estimation is the problem of estimating the state of a dynamical system from a set of noisy and adversarially-corrupted measurements. Intrinsically a combinatorial problem,... View More

Advertisement