SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada. SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. TCPS, 2(1), 2018. [doi]

This author has not been identified. Look up 'Yasser Shoukry' in GoogleThis author has not been identified. Look up 'Michelle Chong' in GoogleThis author has not been identified. Look up 'Masashi Wakaiki' in GoogleThis author has not been identified. Look up 'Pierluigi Nuzzo' in GoogleThis author has not been identified. Look up 'Alberto L. Sangiovanni-Vincentelli' in GoogleThis author has not been identified. Look up 'Sanjit A. Seshia' in GoogleThis author has not been identified. Look up 'João Pedro Hespanha' in GoogleThis author has not been identified. Look up 'Paulo Tabuada' in Google

runs on WebDSL