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...

Ful tanımlama

Detaylı Bibliyografya
Asıl Yazarlar: Chen, T, Diciolla, M, Kwiatkowska, M, Mereacre, A
Materyal Türü: Conference item
Baskı/Yayın Bilgisi: 2013