A simulink hybrid heart model for quantitative verification of cardiac pacemakers.

Taolue Chen Marco Diciolla Marta Z. Kwiatkowska Alexandru Mereacre

Published in: HSCC (2013)

Keyphrases

computational model
high level
probabilistic model
similarity measure
control system
mathematical model
conceptual model
qualitative and quantitative
objective function
statistical model
experimental data
magnetic resonance images