Journal Publications

  1. Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, and Insup Lee. “Verifying the Safety of Autonomous Systems with Neural Network Controllers.” ACM Transactions on Embedded Computing Systems (TECS), 2020.

  2. Susan Kohl Malone, Amy J. Peleckis, Laura Grunin, Gary Yu, Sooyong Jang, James Weimer, Insup Lee, Michael R. Rickels, and Namni Goel. “Characterizing Glycemic Control and Sleep in Adults with Long-Standing Type 1 Diabetes and Hypoglycemia Unawareness Initiating Hybrid Closed Loop Insulin Delivery..” Journal of Diabetes Research, 2021.

  3. Insup Lee, Oleg Sokolsky, James Weimer. “Medical Cyber-Physical Systems: Challenges and Future Directions.” Encyclopedia of Systems and Controls, 2020.

  4. Emily K. Presseller, Megan N. Parker, Mandy Lin, James Weimer, and Adrienne S. Juarascio. “The application of continuous glucose monitoring technology to eating disorders research: An idea worth researching.” International Journal of Eating Disorders, 2020.

  5. Esen Yel, Taylor Carpenter, Carmelo Di Franco, Radoslav Ivanov, Yiannis Kantaros, Insup Lee, James Weimer, Nicola Bezzo. “Assured Run-time Monitoring and Planning: Towards Verification of Neural Networks for Safe Autonomous Operations.” IEEE Robotics & Automation Magazine, 2020.

  6. Ivan Ruchkin, Oleg Sokolsky, James Weimer, Tushar Hedaoo, Insup Lee. “Compositional Probabilistic Analysis of Temporal Properties Over Stochastic Detectors.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2020.

  7. Radoslav Ivanov, Nikolay Atanasov, Miroslav Pajic, James Weimer, George J. Pappas, and Insup Lee. “Continuous Estimation Using Context-Dependent Discrete Measurements.” IEEE Transactions on Automatic Control, 2019.

  8. Lorenzo Fernandez Maimo, Alberto Huertas Celdran, Ángel L Perales Gomez, Garcia Clemente, J Felix, James Weimer, Insup Lee. “Intelligent and Dynamic Ransomware Spread Detection and Mitigation in Integrated Clinical Environments.” Sensors, 2019.

  9. Hung Nguyen, Sooyong Jang, Radoslav Ivanov, Christopher Bonafide, James Weimer, and Insup Lee. “Reducing pulse oximetry false alarms without missing life-threatening events.” Smart Health, 2019.

  10. James Weimer, Radoslav Ivanov, Sanjian Chen, Alexander Roederer, Oleg Sokolsky, and Insup Lee. “Parameter Invariant Monitor Design for Cyber-Physical Systems.” Proceedings of IEEE, 2018.

  11. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, Insup Lee, and Sang H. Son. “Security of Cyber-Physical Systems in the Presence of Transient Sensor Faults.” ACM Transactions on Cyber Physical Systems, 2017.

  12. Miroslav Pajic, James Weimer, Nicola Bezzo, Oleg Sokolsky, George J. Pappas, and Insup Lee. “Design and Implementation of Attack-Resilient Cyber Physical Systems: With a Focus on Attack-Resilient State Estimators.” IEEE Control Systems Magazine, 2017.

  13. James Weimer, Sanjian Chen, Amy Peleckis, Michael R. Rickels, and Insup Lee. “Physiology-Invariant Meal Detection for Type I Diabetes.” Diabetes Technology and Therapeutics, 2016.

  14. Sanjian Chen, Oleg Sokolsky, James Weimer, and Insup Lee. “Data-driven Adaptive Safety Monitoring using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study.” Journal of Computing Science and Engineering, 2016.

  15. Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman, and Insup Lee. “Prediction of Critical Pulmonary Shunts in Infants.” IEEE Transactions on Control Systems Technology, 2016.

  16. James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, and Insup Lee. “Parameter Invariant Design of Medical Alarms.” IEEE Design and Test, 2015.

  17. James Weimer, Bruce H. Krogh, Mitchell Small, and Bruno Sinopoli. “An Approach to Leak Detection Using Wireless Sensor Networks at Carbon Sequestration Sites.” International Journal of Greenhouse Gas Control, 2012.

Book Chapters

  1. Mauricio Novelo, Nalaka Gooneratne, and James Weimer. “Digital Health: Software as a Medical DeviceAcademic Entrepreneurship for Medical and Health Scientists, 2019.

  2. James Weimer, Jose Araujo, Mani Amoozadeh, Seyed Alireza Ahmadi, Henrik Sandberg, and Karl Henrik Johansson. “Parameter-Invariant Actuator Fault Diagnostics in Cyber-Physical Systems with Application to Building Automation.” Control of Cyber Physical Systems, 2013.

  3. James Weimer, Nicola Bezzo, Miroslav Pajic, George J. Pappas, Oleg Sokolsky, and Insup lee. “Resilient Parameter-Invariant Control with Application to Vehicular Cruise Control.” Control of Cyber Physical Systems, 2013.

Conference Publications

  1. Amanda Watson, Pengyuan Lu, Elliot Greenberg, J. Todd R. Lawrence, Theodore J. Ganley, Insup Lee, and James Weimer. “RT-ACL: Identification of High-Risk Youth Patients and their Most Significant Risk Factors to Reduce Anterior Cruciate Ligament Reinjury Risk.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2021. (Best Paper Award Finalist)

  2. Sydney Pugh, Ivan Ruchkin, Christopher Bonafide, Sara DeMauro, Oleg Sokolsky, Insup Lee, and James Weimer. “High-Confidence Data Programming for Evaluating Suppression of Physiological Alarms.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2021.

  3. Hyonyoung Choi, Amanda Lor, Mike Megonegal, Xiayan Ji, Amanda Watson, James Weimer, and Insup Lee. “VitalCore: Analytics and Support Dashboard for Medical Device Integration.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2021.

  4. Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee. “Verisig 2.0: Verification of neural network controllers using taylor model preconditioning.” International Conference on Computer Aided Verification, 2021.

  5. Yinjun Wu, James Weimer, and Susan B. Davidson. “CHEF: a cheap and fast pipeline for iteratively cleaning label uncertainties.” Proceedings of the VLDB Endowment, 2021.

  6. Yiannis Kantaros, Taylor Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee and James Weimer. “Real-Time Detectors for Digital and Physical Adversarial Inputs to Perception Systems.” International Conference of Cyber Physical Systems (ICCPS), 2021.

  7. Sooyong Jang, Insup Lee, and James Weimer. “Improving Classifier Confidence using Lossy Label-Invariant Transformations.” In International Conference on Artificial Intelligence and Statistics (AISTATS), 2021.

  8. Taylor Carpenter, Radoslav Ivanov, Insup Lee, James Weimer. “ModelGuard: Runtime Validation of Lipschitz-continuous Models.” Analysis and Design of Hybrid Systems (ADHS), 2021.

  9. Sangdon Park, Osbert Bastani, James Weimer, Insup Lee. “Calibrated Predictions with Covariate Shift via Unsupervised Domain Adaptation.” International Conference on Artificial Intelligence and Statistics (AISTATS), 2020.

  10. Radoslav Ivanov, Taylor Carpenter, James Weimer, Rajeev Alur, George Pappas, and Insup Lee. “Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller.” Hybrid Systems Computation and Control (HSCC), 2020.

  11. Luan Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee and Rajeev Alur. “Detecting Security Leaks in Hybrid Systems with Information Flow Analysis.” 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), 2019.

  12. Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas and Insup Lee. “Verisig: verifying safety properties of hybrid systems with neural network controllers.” Hybrid Systems: Computation and Control (HSCC), 2019.

  13. Kuk Jang, Yash Pant, B Zhang, James Weimer, Rahul Mangharam. “Robustness Evaluation of Computer-aided Clinical Trials for Medical Devices.” International Conference of Cyber Physical Systems (ICCPS), 2019.

  14. Radoslav Ivanov, Hung Nguyen, James Weimer, Oleg Sokolsky, and Insup Lee. “OpenICE-lite: Towards a Connectivity Platform for the Internet of Medical Things21st IEEE International Symposium on Real-Time Computing (ISORC), 2018.

  15. Hung Nguyen, Sooyong Jang, Radoslav Ivanov, Christopher P. Bonafide, James Weimer, and Insup Lee. “Reducing Pulse Oximetry False Alarms Without Missing Life-Critical Events.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2018.

  16. Hung Nguyen, Radoslav Ivanov, Linh T.X. Phan, Oleg Sokolsky, James Weimer, and Insup Lee. “LogSafe: Secure and Scalable Data Logger for IoT Devices.” ACM/IEEE International Conference on Internet of Things Design and Implementation (IoTDI), 2018.

  17. Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, and Insup Lee. “Parameter Invariant Monitoring for Signal Temporal LogicHybrid Systems Computation and Control (HSCC), 2018.

  18. Fanxin Kong, Meng Xu, James Weimer, Oleg Sokolsky, and Insup Lee. “Cyber-Physical System Checkpointing and RecoveryInternational Conference of Cyber Physical Systems (ICCPS), 2018.

  19. Radoslav Ivanov, James Weimer, and Insup Lee. “Context-Aware Detection in Medical Cyber-Physical SystemsInternational Conference of Cyber Physical Systems (ICCPS), 2018.

  20. Kuk Jin Jang, James Weimer, Houssam Abbas, Zhihao Jiang, Jackson Liang, Sanjay Dixit, and Rahul Mangharam. “Computer Aided Clinical Trials for Implantable Cardiac Devices.” International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2018.

  21. Alberto Huertas Celdran, Felix J. Garcia Clemente, James Weimer, and Insup Lee. “ICE++: Improving Security, QoS, and High Availability of Medical Cyber-Physical Systems through Mobile Edge Computing.” IEEE International Conference on E-health Networking, Application & Services (HealthCom), 2018.

  22. Sangdon Park, James Weimer, and Insup Lee. “Resilient Linear Classification: An Approach to Deal with Attacks on Training Data.” International Conference of Cyber Physical Systems (ICCPS), 2017.

  23. Minsu Jo, Junkil Park, Yungmi Baek, Radoslav Ivanov, James Weimer, Sanghyuk Son, and Insup Lee. “Adaptive Transient Fault Model for Sensor Attack Detection.” Cyber-Physical Systems, Networks, and Applications (CPSNA), 2016. (Best Paper Award)

  24. Nicola Bezzo, James Weimer, Yanwei Du, Oleg Sokolsky, Sang H. Son, and Insup Lee. “A Stochastic Approach for Attack Resilient UAV Motion Planning.” American Control Conference (ACC), 2016.

  25. Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan Simpao, Mohamed Rehman, George J. Pappas, and Insup Lee. “Estimation of Blood Oxygen Content Using Context-Aware Filtering.” International Conference of Cyber Physical Systems (ICCPS), 2016.

  26. Sanjian Chen, Matthew O’Kelly, James Weimer, Oleg Sokolsky, and Insup Lee. “An Intraoperative Glucose Control Benchmark for Formal Verification5th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS), 2015.

  27. Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee. “Robust Monitoring of Hypovolemia in Intensive Care Patients Using Photoplethysmogram Signals37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015.

  28. Radoslav Ivanov, James Weimer, Allan Simpao, Mohamed Rehman, and Insup Lee. “Early Detection of Critical Pulmonary Shunts in Infants.” International Conference of Cyber Physical Systems (ICCPS), 2015. (Best Paper Award Finalist)

  29. Junkil Park, Radoslav Ivanov, James Weimer, Miroslav Pajic, and Insup Lee. “Sensor Attack Detection in the Presence of Transient FaultsInternational Conference of Cyber Physical Systems (ICCPS), 2015.

  30. Nicola Bezzo, James Weimer, Miroslav Pajic, Oleg Sokolsky, George J. Pappas, and Insup Lee. “Attack Resilient State Estimation for Autonomous Robotic Systems.” Intelligent Robots and Systems (IROS), 2014.

  31. James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee. “Towards Assurance Cases for Resilient Control Systems.” Cyber-Physical Systems, Networks, and Applications (CPSNA), 2014.

  32. James Weimer, Nicola Bezzo, Miroslav Pajic, Oleg Sokolsky, and Insup lee. “Attack-Resilient Minimum Mean-Squared Error Estimation.” American Control Conference (ACC), 2014.

  33. Miroslav Pajic, James Weimer, Nicola Bezzo, Paulo Tabuada, Oleg Sokolsky, Insup Lee, and George J. Pappas. “Robustness of Attack-Resilient State Estimators.” International Conference of Cyber Physical Systems (ICCPS), 2014 (Best Paper Award)

  34. James Weimer, Damiano Varagnolo, and Karl Henrik Johansson. “Distributed Model-Invariant Detection of Unknown Inputs in Networked Systems.” 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), 2013

  35. James Weimer, Damiano Varagnolo, Miroslav Stankovic, and Karl Henrik Johansson. “Parameter-Invariant Detection of Unknown Inputs in Networked Systems.” 52nd Annual Conference on Decision and Control (CDC), 2013

  36. James Weimer, Yuzhe Xu, Carlos Fischione, Karl Henrik Johansson, Per Ljungberg, Craig Donovan, Ariana Sutor, and Lennart Fahlen. “Virtual Laboratory for Micro-Grid Information and Communication Infrastructures.” 3rd IEEE PES Innovative Smart Grid Technologies in Europe Conference (ISGT-Europe), 2012.

  37. James Weimer, Soummya Kar, and Karl Henrik Johansson. “Distributed Event-Triggered Estimation in Networked Systems.” 4th IFAC conference on Analysis and Design of Hybrid Systems (ADHS), 2012.

  38. James Weimer, Jose Araujo, Aitor Hernandez, and Karl Henrik Johansson. “Periodic Constraint-Based Control Using Dynamic Wireless Sensor Scheduling.” IEEE Conference on Decision and Control (CDC), 2011.

  39. Kin Cheong Sou, James Weimer, Henrik Sandberg, and Karl Henrik Johansson. “Scheduling Smart Home Appliances Using Mixed Integer Linear Programming.” IEEE Conference on Decision and Control (CDC), 2011.

  40. James Weimer, Bruno Sinopoli, and Bruce H. Krogh. “Large-Scale Source Localization with a Wireless Sensor Network Application.” 18th International Federation on Automatic Control (IFAC) World Congress, 2011.

  41. James Weimer, Bruno Sinopoli, and Bruce H. Krogh. “Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks.” IEEE Real-Time Systems Symposium (RTSS), 2009.

  42. James Weimer, Bruno Sinopoli, and Bruce H. Krogh. “A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks.” IEEE International Conference on Distributed Computing Systems (ICDCS), 2008.

  43. James Weimer and Bruce H. Krogh. “Hierarchical Modeling of Mode-Switching Systems.” Summer Computer Simulation Conference (SCSC), 2007.

  44. Summit Jha, Bruce H. Krogh, James Weimer, and Edmund Clarke. “Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction.” Hybrid Systems : Computation and Control (HSCC), 2007.

Patents

  1. Sanjian Chen, James Erich Weimer, and Insup Lee. “Methods, systems, and computer readable media for physiology parameter-invariant meal detection.” U.S. Patent 10,792,423, issued October 6, 2020.

Workshop Publications and Abstracts

  1. Pengyuan Lu, Xian Li, Sooyong Jang, Alexander Lee, Sydney Pugh, Amanda Watson, Ragnhildur I. Bjarnadottir, Robert Lucero, George Demiris, Ani Nenkova, James Weimer, and Insup Lee. “FRED: Fall Risk Evaluation Database Based on Electronic Health Record Data.” IEEE/ACM Conference on Connected Health: Applications, Systems, and Engineering Technologies (CHASE), 2021.

  2. Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, and Insup Lee. “ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.” EPiC Series in Computing 80, 2021.

  3. Amanda Watson, Hyonyoung Choi, Insup Lee, James Weimer. “Raproto: An Open Source Platform for Rapid Prototyping of Wearable Medical Devices.” Medical Cyber Physical Systems and Internet of Medical Things Workshop (MCPS), CPS Week 2021.

  4. Radoslav Ivanov, James Weimer, Oleg Sokolsky, Insup Lee. “Demo: Verisig – Verifying Safety Properties of Hybrid Systems with Neural Network ControllersThe First Workshop on Design Automation for CPS and IoT (DESTION), 2019.

  5. Fanxin Kong, Oleg Sokolsky, James Weimer, Insup Lee. “State Consistencies for Cyber-Physical System RecoveryThe Second Workshop on Cyber-Physical Systems Security and Resiliency (CPS-SR), 2019.

  6. Hung Nguyen, Radoslav Ivanov, Sara B. DeMauro, and James Weimer. “RePulmo: A Remote Pulmonary Monitoring System8th Medical Cyber-Physical Systems Workshop (MCPS), 2018.

  7. Rajeev Alur, Insup Lee, Rahul Mangharam, Mayur Naik, Oleg Sokolsky, James Weimer, Houssam Abbas. “Towards Scenario-Based Design and Verification of Resilient Cyber-Physical Systems - Extended Abstract1st Workshop on Cyber-Physical System Security and Resilience (CPS-SR), 2018.

  8. Shivani Agarwal, James Weimer, Jack Eiel, Amy Peleckis, Insup Lee, Michael Rickels. “Use of a Novel Insulin Pump Algorithm as an Objective Measure of Bolus Adherence in Type 1 Diabetes.” American Diabetes Association: 77th Scientific Sessions, 2017.

  9. Hung Nguyen, Bipeen Acharya, Radoslav Ivanov, Andreas Haeberlen and Linh Thi Xuan Phan, Oleg Sokolsky, Jesse Walker, James Weimer, C. William Hanson, and Insup Lee. “Cloud-Based Secure Logger for Medical Devices.” The First International Workshop on Security, Privacy, and Trustworthiness in Medical Cyber Physical System (MedSPT), 2016.

  10. Sanjian Chen, James Weimer, Michael R. Rickels, Amy Peleckis, and Insup Lee. “Towards a Model-Based Meal Detector for Type I Diabetics.” 6th Medical Cyber-Physical Systems Workshop (MedicalCPS), 2015.

  11. Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee. “Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients.” 6th Medical Cyber-Physical Systems Workshop (MedicalCPS), 2015.

  12. Miroslav Pajic, Nicola Bezzo, James Weimer, Rajeev Alur, Rahul Mangharam, Nathan Michael, George J. Pappas, Oleg Sokolsky, Paulo Tabuada, Stephanie Weirich, and Insup Lee. “Towards Synthesis of Platform-Aware Attack-Resilient Control Systems.” 2nd ACM International Conference on High Confidence Networked Systems (HiCoNS), 2013.

  13. James Weimer, Seyed Alireza Ahmadi, Jose Araujo, Francesca Madia Mele, Dario Papale, Iman Shames, Henrik Sandberg, and Karl Henrik Johansson. “Active Actuator Fault Detection and Diagnostics in HVAC Systems.” 4th ACM Workshop on Embedded Sensing Systems for Energy-Efficiency in Buildings (BuildSys), 2012.

Technical Reports

  1. Somali Chaterji, Parinaz Naghizadeh, Muhammad Ashraful Alam, Saurabh Bagchi,Mung Chiang, David Corman, Brian Henz, Suman Jana, Na Li, Shaoshuai Mou, MeekoOishi, Chunyi Peng, Tiark Rompf, Ashutosh Sabharwal, Shreyas Sundaram, James Weimer, Jennifer Weller. “Resilient Cyberphysical Systems and Their Application Drivers: A Technology Roadmap.” Arxiv, 2019.

  2. Luan Nguyen, Guatam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur. “REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.” arXiv, 2018.

  3. Radoslav Ivanov, James Weimer, Rajeev Alur, George Pappas, Insup Lee. “Verisig: verifying safety properties of hybrid systems with neural network controllers.” arXiv, 2018.

  4. Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, and Insup Lee. “Self-driving vehicle verification towards a benchmarkarXiv, 2018.

  5. James Weimer. “Large-scale Multiple-Source Detection Using Wireless Sensor Networks.” Ph.D Dissertation, Carnegie Mellon University, Pittsburgh, PA, USA, 2010.

Tutorials and Demos

  1. James Weimer, Oleg Sokolsky, and Insup Lee. “Tutorial Abstract: Parameter-Invariant Monitor Design for Cyber-Physical SystemsCyber Physical Systems Week (CPSweek), 2016.

  2. James Weimer, Oleg Sokolsky, and Insup Lee. “Tutorial Abstract: Robust Medical Monitor Design.” International Conference on Health Care Informatics (ICHI), 2015.

  3. James Weimer, Oleg Sokolsky, and Insup Lee. “Tutorial Abstract: Parameter-Invariant Monitor Design for Cyber-Physical SystemsEmbedded Systems Week (ESweek), 2015.

  4. Miroslav Pajic, Nicola Bezzo, James Weimer, Oleg Sokolsky, George J. Pappas, Paulo Tabuada, and Insup Lee. “Demo Abstract: Synthesis of Platform-Aware Attack-Resilient Vehicular SystemsInternational Conference of Cyber Physical Systems (ICCPS), 2013.