Login / Signup
SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks.
Yasser Shoukry
Michelle Chong
Masashi Wakaiki
Pierluigi Nuzzo
Alberto L. Sangiovanni-Vincentelli
Sanjit A. Seshia
João Pedro Hespanha
Paulo Tabuada
Published in:
ICCPS (2016)
Keyphrases
</>
real time
user interface
artificial intelligence
social networks
decision making
low cost
sensor data
energy consumption
embedded systems
cyber physical systems