Scheduling smart home appliances using mixed integer linear programming KC Sou, J Weimer, H Sandberg, KH Johansson 2011 50th IEEE conference on decision and control and European control …, 2011 | 355 | 2011 |
Verisig: verifying safety properties of hybrid systems with neural network controllers R Ivanov, J Weimer, R Alur, GJ Pappas, I Lee Proceedings of the 22nd ACM International Conference on Hybrid Systems …, 2019 | 304 | 2019 |
Robustness of attack-resilient state estimators M Pajic, J Weimer, N Bezzo, P Tabuada, O Sokolsky, I Lee, GJ Pappas 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS …, 2014 | 278 | 2014 |
Design and implementation of attack-resilient cyberphysical systems: With a focus on attack-resilient state estimators M Pajic, J Weimer, N Bezzo, O Sokolsky, GJ Pappas, I Lee IEEE Control Systems Magazine 37 (2), 66-81, 2017 | 153 | 2017 |
Intelligent and dynamic ransomware spread detection and mitigation in integrated clinical environments L Fernandez Maimo, A Huertas Celdran, AL Perales Gomez, ... Sensors 19 (5), 1114, 2019 | 119 | 2019 |
Sensor attack detection in the presence of transient faults J Park, R Ivanov, J Weimer, M Pajic, I Lee Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical …, 2015 | 98 | 2015 |
Reachability for linear hybrid automata using iterative relaxation abstraction SK Jha, BH Krogh, JE Weimer, EM Clarke International Workshop on Hybrid Systems: Computation and Control, 287-300, 2007 | 95 | 2007 |
Case study: verifying the safety of an autonomous racing car with a neural network controller R Ivanov, TJ Carpenter, J Weimer, R Alur, GJ Pappas, I Lee Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 86 | 2020 |
Attack resilient state estimation for autonomous robotic systems N Bezzo, J Weimer, M Pajic, O Sokolsky, GJ Pappas, I Lee 2014 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2014 | 69 | 2014 |
Verisig 2.0: Verification of neural network controllers using taylor model preconditioning R Ivanov, T Carpenter, J Weimer, R Alur, G Pappas, I Lee International Conference on Computer Aided Verification, 249-262, 2021 | 66 | 2021 |
Verifying the safety of autonomous systems with neural network controllers R Ivanov, TJ Carpenter, J Weimer, R Alur, GJ Pappas, I Lee ACM Transactions on Embedded Computing Systems (TECS) 20 (1), 1-26, 2020 | 62 | 2020 |
Distributed event-triggered estimation in networked systems J Weimer, J Araújo, KH Johansson IFAC Proceedings Volumes 45 (9), 178-185, 2012 | 61 | 2012 |
Cyber-physical system checkpointing and recovery F Kong, M Xu, J Weimer, O Sokolsky, I Lee 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 58 | 2018 |
Distributed detection and isolation of topology attacks in power networks J Weimer, S Kar, KH Johansson Proceedings of the 1st international conference on High Confidence Networked …, 2012 | 53 | 2012 |
Calibrated prediction with covariate shift via unsupervised domain adaptation S Park, O Bastani, J Weimer, I Lee International Conference on Artificial Intelligence and Statistics, 3219-3229, 2020 | 50 | 2020 |
Active actuator fault detection and diagnostics in hvac systems J Weimer, SA Ahmadi, J Araujo, FM Mele, D Papale, I Shames, ... Proceedings of the fourth ACM workshop on embedded sensing systems for …, 2012 | 46 | 2012 |
Physiology-invariant meal detection for type 1 diabetes J Weimer, S Chen, A Peleckis, MR Rickels, I Lee Diabetes technology & therapeutics 18 (10), 616-624, 2016 | 45 | 2016 |
Multiple source detection and localization in advection-diffusion processes using wireless sensor networks J Weimer, B Sinopoli, B Krogh 2009 30th IEEE Real-Time Systems Symposium, 333-342, 2009 | 45 | 2009 |
Cloud-based secure logger for medical devices H Nguyen, B Acharya, R Ivanov, A Haeberlen, LTX Phan, O Sokolsky, ... 2016 IEEE First International Conference on Connected Health: Applications …, 2016 | 43 | 2016 |
A relaxation approach to dynamic sensor selection in large-scale wireless networks JE Weimer, B Sinopoli, BH Krogh 2008 The 28th International Conference on Distributed Computing Systems …, 2008 | 41 | 2008 |