Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach.
Yasser ShoukryPierluigi NuzzoAlberto PuggelliAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaPaulo TabuadaPublished in: IEEE Trans. Autom. Control. (2017)
Keyphrases
- state estimation
- cyber physical systems
- dynamic systems
- kalman filtering
- particle filter
- kalman filter
- cyber physical
- visual tracking
- sensor data
- real time
- sensor networks
- multi sensor
- particle filtering
- computational complexity
- mean shift
- dynamic programming
- physical world
- search space
- cyber security
- information systems