Secure State Estimation for Cyber Physical Systems Under...

  • Main
  • 2017
  • Secure State Estimation for Cyber Physical Systems Under...

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
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2017
Language:
english
Journal:
IEEE Transactions on Automatic Control
DOI:
10.1109/TAC.2017.2676679
File:
PDF, 2.59 MB
english, 2017
Conversion to is in progress
Conversion to is failed