Using the Virtual Heart Model to validate the mode switch pacemaker operation

Zhihao Jiang, AT Connolly, R Mangharam
August 2010
Cite Project DOI

Abstract

This paper uses a timed-automata Virtual Heart Model to validate complex mode-switch pacemaker behavior in closed loop. Through arrhythmia case studies, it shows how formal heart-device interaction models can confirm when mode switching is necessary and whether the pacemaker responds correctly.

Type
Conference paper
Publication
2010 Annual International Conference of the IEEE Engineering in Medicine and Biology
Modeling Pacemaker Arrhythmia MedicalDevice
Zhihao Jiang
Zhihao Jiang
Assistant Professor

Zhihao Jiang is the director of Human-Cyber-Physical Systems Lab at ShanghaiTech University.

Related