A Simulink Hybrid Heart Model for Quantitative Verification of Cardiac Pacemakers
We develop a novel hybrid heart model in Simulink that is suitable for quantitative verification of implantable cardiac pacemakers. The heart model is formulated at the level of cardiac cells, can be adapted to patient data, and incorporates stochasticity. It is inspired by the timed and hybrid auto...
Asıl Yazarlar: | , , , |
---|---|
Materyal Türü: | Conference item |
Baskı/Yayın Bilgisi: |
2013
|