Open Access. Powered by Scholars. Published by Universities.®

Engineering Commons

Open Access. Powered by Scholars. Published by Universities.®

2019

Series

PDF

Computer Engineering

CPS Medical

Articles 1 - 3 of 3

Full-Text Articles in Engineering

Electroanatomic Mapping To Determine Scar Regions In Patients With Atrial Fibrillation, Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam Apr 2019

Electroanatomic Mapping To Determine Scar Regions In Patients With Atrial Fibrillation, Jiyue He, Kuk Jin Jang, Katie Walsh, Jackson Liang, Sanjay Dixit, Rahul Mangharam

Real-Time and Embedded Systems Lab (mLAB)

Left atrial voltage maps are routinely acquired during electroanatomic mapping in patients undergoing catheter ablation for atrial fibrillation (AF). For patients, who have prior catheter ablation when they are in sinus rhythm (SR), the voltage map can be used to identify low voltage areas (LVAs) using a threshold of 0.2 - 0.45 mV. However, such a voltage threshold for maps acquired during AF has not been well established. A prerequisite for defining a voltage threshold is to maximize the topologically matched LVAs between the electroanatomic mapping acquired during AF and SR. This paper demonstrates a new technique to improve ...


Synthesizing Stealthy Reprogramming Attacks On Cardiac Devices, Nicola Paoletti, Zhihao Jiang, Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka Apr 2019

Synthesizing Stealthy Reprogramming Attacks On Cardiac Devices, Nicola Paoletti, Zhihao Jiang, Ariful Islam, Houssam Abbas, Rahul Mangharam, Shan Lin, Zachary Gruber, Scott A. Smolka

Real-Time and Embedded Systems Lab (mLAB)

An Implantable Cardioverter Defibrillator (ICD) is a medical device used for the detection of potentially fatal cardiac arrhythmias and their treatment through the delivery of electrical shocks intended to restore normal heart rhythm. An ICD reprogramming attack seeks to alter the device’s parameters to induce unnecessary therapy or prevent required therapy. In this paper, we present a formal approach for the synthesis of ICD reprogramming attacks that are both effective, i.e., lead to fundamental changes in the required therapy, and stealthy, i.e., are hard to detect. We focus on the discrimination algorithm underlying Boston Scientific devices (one ...


Robustness Evaluation Of Computer-Aided Clinical Trials For Medical Devices, Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam Mar 2019

Robustness Evaluation Of Computer-Aided Clinical Trials For Medical Devices, Kuk Jin Jang, Yash Vardhan Pant, Bo Zhang, James Weimer, Rahul Mangharam

Real-Time and Embedded Systems Lab (mLAB)

Medical cyber-physical systems, such as the implantable cardioverter defibrillator (ICD), require evaluation of safety and efficacy in the context of a patient population in a clinical trial. Advances in computer modeling and simulation allow for generation of a simulated cohort or virtual cohort which mimics a patient population and can be used as a source of prior information. A major obstacle to acceptance of simulation results as a source of prior information is the lack of a framework for explicitly modeling sources of uncertainty in simulation results and quantifying the effect on trial outcomes.

In this work, we formulate the ...