Modeling

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 …
Zhihao Jiang, AT Connolly, R Mangharam
Cite Project DOI
Using the Virtual Heart Model to validate the mode switch pacemaker operation
Real Time Heart Model for Implantable Cardiac Device Validation and Verification
This work introduces a real-time Virtual Heart Model for validating and verifying implantable cardiac device software. The model …
Zhihao Jiang, M Pajic, AT Connolly, S Dixit, R Mangharam
Cite Project DOI
Real Time Heart Model for Implantable Cardiac Device Validation and Verification