An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices
暂无分享,去创建一个
[1] Zhihao Jiang,et al. Cyber–Physical Modeling of Implantable Cardiac Medical Devices , 2012, Proceedings of the IEEE.
[2] A. J. Pullan,et al. Mathematical models and numerical methods for the forward problem in cardiac electrophysiology , 2002 .
[3] Partha S. Roop,et al. Modular code generation for emulating the electrical conduction system of the human heart , 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[4] H. Mond,et al. The 11th World Survey of Cardiac Pacing and Implantable Cardioverter‐Defibrillators: Calendar Year 2009–A World Society of Arrhythmia's Project , 2011, Pacing and clinical electrophysiology : PACE.
[5] Zhihao Jiang,et al. Real-Time Heart Model for Implantable Cardiac Device Validation and Verification , 2010, 2010 22nd Euromicro Conference on Real-Time Systems.
[6] Taolue Chen,et al. Quantitative verification of implantable cardiac pacemakers over hybrid heart models , 2014, Inf. Comput..
[7] Partha S. Roop,et al. Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications , 2016, 2016 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC).
[8] Charles D. Swerdlow,et al. 4 – Sensing and Detection With Cardiac Implantable Electronic Devices , 2017 .
[9] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[10] Partha S. Roop,et al. Requirements-centric closed-loop validation of implantable cardiac devices , 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
[11] F. N. Wilson,et al. THE DISTRIBUTION OF THE ACTION CURRENTS PRODUCED BY HEART MUSCLE AND OTHER EXCITABLE TISSUES IMMERSED IN EXTENSIVE CONDUCTING MEDIA , 1933, The Journal of general physiology.
[12] W Irnich,et al. Intracardiac Electrograms and Sensing Test Signals: Electrophysiological, Physical, and Technical Considerations , 1985, Pacing and clinical electrophysiology : PACE.
[13] G. Kay,et al. Reduction of Pacing Output Coupling Capacitance for Sensing the Evoked Response , 2001, Pacing and clinical electrophysiology : PACE.
[14] D. Krikler,et al. Heart disease: A textbook of cardiovascular medicine , 1992 .
[15] Partha S. Roop,et al. Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing , 2016, ArXiv.
[16] H. Burri. 37 – Pacemaker Programming and Troubleshooting , 2016 .
[17] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[18] MOHAMMED ALMEHAIRI,et al. An Unusual Cause of Automatic Mode Switching in the Absence of an Atrial Tachyarrhythmia , 2014, Pacing and clinical electrophysiology : PACE.