Medical Cyber-Physical Systems (MCPS) are complex, safety-critical, intelligent systems of interconnected medical devices. An MCPS brings together monitoring devices, such as heart-rate monitors, and delivery devices, such as medication infusion pumps. By coordinating the operation of the system based on data supplied by monitoring devices, the MCPS can provide more intelligent information to the caregiver, detect failures of individual devices, and in general improve patient safety and treatment effectiveness.

Follow

Submissions from 2016

PDF

Towards Model Checking of Implantable Cardioverter Defibrillators, Houssam Abbas, Kuk Jin Jang, Zhihao Jiang, and Rahul Mangharam

PDF

Benchmark: Nonlinear Hybrid Automata Model of Excitable Cardiac Tissue, Houssam Abbas, Kuk Jin Jang, and Rahul Mangharam

PDF

Computer Aided Clinical Trials for Implantable Cardiac Devices, Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, and Rahul Mangharam

PDF

High-Level Modeling for Computer-Aided Clinical Trials of Medical Devices, Houssam Abbas, Zhihao Jiang, Kuk Jin Jang, Marco Beccani, Jackson Liang, Sanjay Dixit, and Rahul Mangharam

PDF

Data-driven Adaptive Safety Monitoring using Virtual Subjects in Medical Cyber-Physical Systems: A Glucose Control Case Study, Sanjian Chen, Oleg Sokolsky, James Weimer, and Insup Lee

PDF

Estimation of Blood Oxygen Content Using Context-Aware Filtering, Radoslav Ivanov, Nikolay Atanasov, James Weimer, Miroslav Pajic, Allan F. Simpao, Mohamed A. Rehman, George Pappas, and Insup Lee

PDF

Automated Closed-Loop Model Checking of Implantable Pacemakers using Abstraction Trees, Zhihao Jiang, Houssam Abbas, Pieter Mosterman, and Rahul Mangharam

PDF

Clinician-in-the-Loop Annotation of ICU Bedside Alarm Data, Alexander Roederer, Joseph Dimartino, Jacob Gutsche, Margaret Mullen-Fortino, Sachin Shah, C. William Hanson III, and Insup Lee

Papers from 2015

PDF

A Data-Driven Behavior Modeling and Analysis Framework for Diabetic Patients on Insulin Pumps, Sanjian Chen, Lu Feng, Michael R. Rickels, Amy Peleckis, Oleg Sokolsky, and Insup Lee

PDF

An Intraoperative Glucose Control Benchmark for Formal Verification, Sanjian Chen, Matthew O'Kelly, James Weimer, Oleg Sokolsky, and Insup Lee

PDF

Towards a Model-Based Meal Detector for Type I Diabetics, Sanjian Chen, James Weimer, Michael R. Rickels, Amy Peleckis, and Insup Lee

PDF

Early Detection of Critical Pulmonary Shunts in Infants, Radoslav Ivanov, James Weimer, Allan F. Simpao, Mohamed A. Rehman, and Insup Lee

PDF

The Challenges of High-Confidence Medical Device Software, Zhihao Jiang, Houssam Abbas, Kuk Jin Jang, and Rahul Mangharam

PDF

Technical Report: Abstraction-Tree For Closed-loop Model Checking of Medical Devices, Zhihao Jiang, Houssam Abbas, Pieter J. Mosterman, and Rahul Mangharam

PDF

High-Confidence Medical Device Software Development, Zhihao Jiang and Rahul Mangharam

PDF

Platform-Specific Code Generation from Platform-Independent Timed Models, BaekGyu Kim, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

Towards Assurance for Plug & Play Medical Systems, Andrew L. King, Lu Feng, Sam Procter, Sanjian Chen, Oleg Sokolsky, John Hatcliff, and Insup Lee

PDF

Robust Monitoring of Hypovolemia in Intensive Care Patients Using Photoplethysmogram Signals, Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee

PDF

Towards Non-Invasive Monitoring of Hypovolemia in Intensive Care Patients, Alexander Roederer, James Weimer, Joseph Dimartino, Jacob Gutsche, and Insup Lee

PDF

Requirement Engineering for Functional Alarm System for Interoperable Medical Devices, Krishna Venkatasubramanian, Eugene Vasserman, Vasiliki Sfyrla, Oleg Sokolsky, and Insup Lee

PDF

A Hybrid Approach to Causality Analysis, Shaohui Wang, Yoann Geoffroy, Gregor Gössler, Oleg Sokolsky, and Insup Lee

PDF

Parameter-Invariant Design of Medical Alarms, James Weimer, Radoslav Ivanov, Alexander Roederer, Sanjian Chen, and Insup Lee

PDF

Executing Model-Based Tests on Platform-Specific Implementations, Dongjiang You, Sanjai Rayadurgam, Mats Heimdahl, John Komp, BaekGyu Kim, and Oleg Sokolsky

Papers from 2014

PDF

A Safety Argument Strategy for PCA Closed-Loop Systems: A Preliminary Proposal, Lu Feng, Andrew L. King, Sanjian Chen, Anaheed Ayoub, Junkil Park, Nicola Bezzo, Oleg Sokolsky, and Insup Lee

PDF

Requirement-Guided Model Refinement, Zhihao Jiang, Pieter Mosterman, and Rahul Mangharam

PDF

The MIDdleware Assurance Substrate: Enabling Strong Real-Time Guarantees in Open Systems With OpenFlow, Andrew L. King, Sanjian Chen, and Insup Lee

PDF

From Requirements to Code: Model Based Development of a Medical Cyber Physical System, Anitha Murugesan, Mats Heimdahl, Michael Whalen, Sanjai Rayadurgam, John Komp, Lian Duan, BaekGyu Kim, Oleg Sokolsky, and Insup Lee

PDF

Safety-Critical Medical Device Development Using the UPP2SF Model, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam

PDF

Functional Alarms for Systems of Interoperable Medical Devices, Krishna Venkatasubramanian, Eugene Vasserman, Oleg Sokolsky, and Insup Lee

Submissions from 2013

PDF

Model-Based Conformance Testing for Implantable Pacemakers, George Chen, Zhihao Jiang, and Rahul Mangharam

PDF

A Modal Specification Approach for On-Demand Medical Systems, Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

Assuring the Safety of On-Demand Medical Cyber-Physical Systems, Andrew L. King, Lu Feng, Oleg Sokolsky, and Insup Lee

PDF

Evaluation and Enhancement of an Intraoperative Insulin Infusion Protocol via In-Silico Simulation, Benjamin A. Kohl, Sanjian Chen, Margaret Mullen-Fortino, and Insup Lee

PDF

Model-Based Development of the Generic PCA Infusion Pump User Interface Prototype in PVS, Paolo Masci, Anaheed Ayoub, Paul Curzon, Insup Lee, Oleg Sokolsky, and Harold Thimbleby

PDF

A Causality Analysis Framework for Component-Based Real-Time Systems, Shaohui Wang, Anaheed Ayoub, BaekGyu Kim, Gregor Gössler, Oleg Sokolsky, and Insup Lee

Papers from 2012

PDF

The Medical Device Dongle: An Open-Source Standards-Based Platform for Interoperable Medical Device Connectivity, Philip Asare, Danyang Cong, Santosh G. Vattam, BaekGyu Kim, Andrew King, Oleg Sokolsky, Insup Lee, Shan Lin, and Margaret Mullen-Fortino

PDF

Rationale and Architecture Principles for Medical Application Platforms, John Hatcliff, Andrew King, Insup Lee, Alasdair MacDonald, Anura Fernando, Michael Robkin, Eugene Vasserman, Sandy Weininger, and Julian M. Goldman

PDF

Modeling and Verification of a Dual Chamber Implantable Pacemaker, Zhihao Jiang, Miroslav Pajic, Salar Moarref, Rajeev Alur, and Rahul Mangharam

PDF

Evaluation of a Smart Alarm for Intensive Care Using Clinical Data, Andrew King, Kelsea Fortino, Nicholas Stevens, Sachin Shah, Margaret Fortino-Mullen, and Insup Lee

PDF

Challenges and Research Directions in Medical Cyber-Physical Systems, Insup Lee, Oleg Sokolsky, Sanjian Chen, John Hatcliff, Eunkyoung Jee, BaekGyu Kim, Andrew King, Margaret Mullen-Fortino, Soojin Park, Alexander Roederer, and Krishna Venkatasubramanian

PDF

From Verification to Implementation: A Model Translation Tool and a Pacemaker Case Study, Miroslav Pajic, Zhihao Jiang, Insup Lee, Oleg Sokolsky, and Rahul Mangharam

PDF

Model-Driven Safety Analysis of Closed-Loop Medical Systems, Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, and Insup Lee

PDF

Clinical Decision Support for Integrated Cyber-Physical Systems: A Mixed Methods Approach, Alex Roederer, Andrew R. Hicks, Enny Oyeniran, Insup Lee, and Soojin Park

PDF

Smart Alarms: Multivariate Medical Alarm Integration for Post CABG Surgery Patients, Nicholas Stevens, Ana Rosa Giannareas, Vanessa Kern, Adrian Viesca Trevino, Margaret Fortino-Mullen, Andrew King, and Insup Lee

PDF

Security and Interoperable Medical Device Systems, Part 2: Failures, Consequences and Classifications, Eugene Vasserman, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee

PDF

Security and Interoperable Medical Device Systems: Part 1, Krishna K. Venkatasubramanian, Eugene Vasserman, Oleg Sokolsky, and Insup Lee

Papers from 2011

PDF

Biomedical Devices and Systems Security, David Arney, Krishna Venkatasubramanian, Oleg Sokolsky, and Insup Lee

PDF

Modeling Cardiac Pacemaker Malfunctions With the Virtual Heart Model, Zhihao Jiang and Rahul Mangharam

PDF

Cyber-Physical Modeling of Implantable Cardiac Medical Devices, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam

PDF

Model-Based Closed-Loop Testing of Implantable Pacemakers, Zhihao Jiang, Miroslav Pajic, and Rahul Mangharam

PDF

Safety-Assured Development of the GPCA Infusion Pump Software, BaekGyu Kim, Anaheed Ayoub, Oleg Sokolsky, Insup Lee, Paul Jones, Yi Zhang, and Raoul Jetley

PDF

On Effective Testing of Health Care Simulation Software, Christian Murphy, M. S. Raunak, Andrew King, Sanjian Chen, Christopher Imbriano, Gail Kaiser, Insup Lee, Oleg Sokolsky, Lori Clarke, and Leon Osterweil

PDF

Model-Driven Safety Analysis of Closed-Loop Medical Systems, Miroslav Pajic, Rahul Mangharam, Oleg Sokolsky, David Arney, Julian M. Goldman, and Insup Lee

PDF

Challenges in the Regulatory Approval of Medical Cyber-Physical Systems, Oleg Sokolsky, Insup Lee, and Mats Heimdahl

Papers from 2010

PDF

Toward Patient Safety in Closed-Loop Medical Device Systems, David Arney, Miroslav Pajic, Julian M. Goldman, Insup Lee, Rahul Mangharam, and Oleg Sokolsky

PDF

Prototyping Closed Loop Physiologic Control With the Medical Device Coordination Framework, Andrew King, Dave Arney, Insup Lee, Oleg Sokolsky, John Hatcliff, and Sam Procter

PDF

GSA: A Framework for Rapid Prototyping of Smart Alarm Systems, Andrew King, Alex Roederer, David Arney, Sanjian Chen, Margaret Fortino-Mullen, Ana Giannareas, C. William Hanson III, Vanessa Kern, Nicholas Stevens, Jonathan Tannen, Adrian Viesca Trevino, Soojin Park, Oleg Sokolsky, and Insup Lee

PDF

Medical Cyber Physical Systems, Insup Lee and Oleg Sokolsky

Papers from 2009

Link

Plug-and-Play for Medical Devices: Experiences From a Case Study, David Arney, Sebastian Fischmeister, Julian M. Goldman, Insup Lee, and Robert Trausmuth

PDF

Improving Patient Safety With X-Ray and Anesthesia Machine Ventilator Synchronization: A Medical Device Interoperability Case Study, David Arney, Julian M. Goldman, Susan F. Whitehead, and Insup Lee