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 …
江智浩, AT Connolly, R Mangharam
引用 项目 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 …
江智浩, M Pajic, AT Connolly, S Dixit, R Mangharam
引用 项目 DOI
Real Time Heart Model for Implantable Cardiac Device Validation and Verification