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, 江智浩
引用 项目 DOI
Model-based Clinical Assist System for Cardiac Ablation
Computer Aided Clinical Trials for Implantable Cardiac Devices
This paper develops a computer-aided clinical-trial framework for implantable cardiac devices by combining physiological models, prior …
K Jang, J Weimer, H Abbas, 江智浩, J Liang, S Dixit, R Mangharam
引用 项目 DOI
Computer Aided Clinical Trials for Implantable Cardiac Devices
In silico pre clinical trials for implantable cardioverter defibrillators
This paper presents in-silico pre-clinical trials for implantable cardioverter defibrillators using large cohorts of synthetic patients …
江智浩, H Abbas, K Jang, M Beccani, J Liang, S Dixit, R Mangharam
引用 项目 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, 江智浩, R Mangharam
引用 项目 项目 DOI
Towards Model Checking of Implantable Cardioverter Defibrillators
Closed-loop verification of medical devices with model abstraction and refinement
This paper studies closed-loop verification of medical devices in stochastic physiological environments using a dual-chamber pacemaker …
江智浩, M Pajic, R Alur, R Mangharam
引用 项目 项目 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 …
江智浩, M Pajic, S Moarref, R Alur, R Mangharam
引用 项目 项目 DOI
Modeling and Verification of a Dual Chamber Implantable Pacemaker
Modeling cardiac pacemaker malfunctions with the Virtual Heart Model
This work studies pacemaker malfunctions caused by imperfect sensing assumptions, such as lead displacement or cross-chamber …
江智浩, R Mangharam
引用 项目 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 …
江智浩, M Pajic, R Mangharam
引用 项目 项目 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 …
江智浩, M Pajic, R Mangharam
引用 项目 DOI
Model Based Closed-Loop Testing of Implantable Pacemakers
Using the Virtual Heart Model to validate the mode switch pacemaker operation
This paper uses a timed-automata Virtual Heart Model to validate complex mode-switch pacemaker behavior in closed loop. Through …
江智浩, AT Connolly, R Mangharam
引用 项目 DOI
Using the Virtual Heart Model to validate the mode switch pacemaker operation