Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach.
Yasser ShoukryPierluigi NuzzoAlberto PuggelliAlberto L. Sangiovanni-VincentelliSanjit A. SeshiaPaulo TabuadaPublished in: CoRR (2014)
Keyphrases
- state estimation
- kalman filter
- security protocols
- multi sensor
- state space model
- kalman filtering
- dynamic systems
- chosen plaintext
- secure routing
- stream cipher
- cryptographic protocols
- countermeasures
- visual tracking
- particle filter
- computational complexity
- particle filtering
- estimation problems
- security measures
- information security
- three dimensional