Arrhythmia

Model-based Clinical Assist System for Cardiac Ablation
Enumerate suspected heart conditions during the procedure to provide more rigorous and intuitive interpretation of current understanding of the patient’s heart, which improves the accuracy and efficiency of the diagnosis and relieves the physicians from demanding low-level reasoning.
Yutong Wu, Renzhi Tang, Eunsuk Kang, Zhihao Jiang
Cite Project DOI
Model-based Clinical Assist System for Cardiac Ablation
Computer Aided Clinical Trials for Implantable Cardiac Devices
K Jang, J Weimer, H Abbas, Zhihao Jiang, J Liang, S Dixit, R Mangharam
Cite Project DOI
Computer Aided Clinical Trials for Implantable Cardiac Devices
In silico pre clinical trials for implantable cardioverter defibrillators
Zhihao Jiang, H Abbas, K Jang, M Beccani, J Liang, S Dixit, R Mangharam
Cite Project DOI
In silico pre clinical trials for implantable cardioverter defibrillators
Towards Model Checking of Implantable Cardioverter Defibrillators
Ventricular Fibrillation is a disorganized electrical excitation of the heart that results in inadequate blood flow to the body. It …
H Abbas, KJ Jang, Zhihao Jiang, R Mangharam
Cite Project Project DOI
Towards Model Checking of Implantable Cardioverter Defibrillators
Closed-loop verification of medical devices with model abstraction and refinement
Zhihao Jiang, M Pajic, R Alur, R Mangharam
Cite Project Project DOI
Closed-loop verification of medical devices with model abstraction and refinement
Modeling and Verification of a Dual Chamber Implantable Pacemaker
The design and implementation of software for medical devices is challenging due to their rapidly increasing functionality and the …
Zhihao Jiang, M Pajic, S Moarref, R Alur, R Mangharam
Cite Project Project DOI
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
Zhihao Jiang, R Mangharam
Cite Project DOI
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
Cyber Physical Modeling of Implantable Cardiac Medical Devices
The design of bug-free and safe medical device software is challenging, especially in complex implantable devices that control and …
Zhihao Jiang, M Pajic, R Mangharam
Cite Project Project DOI
Cyber Physical Modeling of Implantable Cardiac Medical Devices
Model Based Closed-Loop Testing of Implantable Pacemakers
The increasing complexity of software in implantable medical devices such as cardiac pacemakers and defibrillators accounts for over …
Zhihao Jiang, M Pajic, R Mangharam
Cite Project DOI
Model Based Closed-Loop Testing of Implantable Pacemakers
Using the Virtual Heart Model to validate the mode switch pacemaker operation
Zhihao Jiang, AT Connolly, R Mangharam
Cite Project DOI
Using the Virtual Heart Model to validate the mode switch pacemaker operation