Michelle Chong

Publication Activity (10 Years)

Years Active: 2011-2019
Publications (10 Years): 4

Top Topics

Dynamic Systems

Extended Kalman Filter

Top Venues

ACM Trans. Cyber Phys. Syst.

Publications

Kazumune Hashimoto, Michelle Chong, Dimos V. Dimarogonas
Realtime l1-fault-and-state estimation for multi-agent systems. ACC (2019)
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. ACM Trans. Cyber Phys. Syst. 2 (1) (2018)
Zhanghan Tang, Margreta Kuijper, Michelle Chong, Iven Mareels, Christopher Leckie
Linear system security - detection and correction of adversarial attacks in the noise-free case. CoRR (2017)
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. ICCPS (2016)
Romain Postoyan, Michelle Chong, Dragan Nesic, Levin Kuhlmann
Parameter and state estimation for a class of neural mass models. CDC (2012)
Michelle Chong, Romain Postoyan, Dragan Nesic, Levin Kuhlmann, Andrea Varsavsky
A robust circle criterion observer with application to neural mass models. Autom. 48 (11) (2012)
Michelle Chong, Romain Postoyan, Dragan Nesic, Levin Kuhlmann, Andrea Varsavsky
A circle criterion observer for estimating the unmeasured membrane potential of neuronal populations. AuCC (2011)