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, PauloYear:
2017
Language:
english
Journal:
IEEE Transactions on Automatic Control
DOI:
10.1109/TAC.2017.2676679
File:
PDF, 2.59 MB
english, 2017