James Weimer
Cited by
Cited by
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
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
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
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
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
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
Distributed event-triggered estimation in networked systems
J Weimer, J Araújo, KH Johansson
IFAC Proceedings Volumes 45 (9), 178-185, 2012
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
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
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
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
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
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
An approach to leak detection using wireless sensor networks at carbon sequestration sites
J Weimer, BH Krogh, MJ Small, B Sinopoli
International Journal of Greenhouse Gas Control 9, 243-253, 2012
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
Towards a model-based meal detector for type I diabetics
S Chen, J Weimer, MR Rickels, A Peleckis, I Lee
A virtual laboratory for micro-grid information and communication infrastructures
J Weimer, Y Xu, C Fischione, KH Johansson, P Ljungberg, C Donovan, ...
2012 3rd IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe), 1-6, 2012
Early detection of critical pulmonary shunts in infants
R Ivanov, J Weimer, A Simpao, M Rehman, I Lee
Proceedings of the ACM/IEEE Sixth International Conference on Cyber-Physical …, 2015
An intraoperative glucose control benchmark for formal verification
S Chen, M O'Kelly, J Weimer, O Sokolsky, I Lee
IFAC-PapersOnLine 48 (27), 211-217, 2015
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
The system can't perform the operation now. Try again later.
Articles 1–20