Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 01, 2017
- Source ID
- 10.1109/tac.2017.2676679
Entities
People
- Alberto Puggelli
- Alberto Sangiovanni-Vincentelli
- Paulo Tabuada
- Pierluigi Nuzzo
- Sanjit A. Seshia
- Yasser Shoukry
Organizations
- Defense Advanced Research Projects Agency
- National Science Foundation
- Semiconductor Research Corporation