Impact of Limits in Pathways Between Sinoatrial Node and Atrium on Heart Rhythm by Timed Automata Model
暂无分享,去创建一个
[1] Scott A. Smolka,et al. Efficient Modeling of Excitable Cells Using Hybrid Automata , 2005 .
[2] Taolue Chen,et al. A simulink hybrid heart model for quantitative verification of cardiac pacemakers , 2013, HSCC '13.
[3] Shien-Fong Lin,et al. Mapping cardiac pacemaker circuits: methodological puzzles of the sinoatrial node optical mapping. , 2010, Circulation research.
[4] Ezio Bartocci,et al. Detecting synchronisation of biological oscillators by model checking , 2010, Theor. Comput. Sci..
[5] Piotr Podziemski,et al. A simple model of the right atrium of the human heart with the sinoatrial and atrioventricular nodes included , 2013, Journal of Clinical Monitoring and Computing.
[6] S. Smolka,et al. Modelling excitable cells using cycle-linear hybrid automata. , 2008, IET systems biology.
[7] Rafael Wisniewski,et al. Abstraction of Dynamical Systems by Timed Automata , 2011 .
[8] Jamie I Vandenberg,et al. Genes and atrial fibrillation: a new look at an old problem. , 2007, Circulation.
[9] Zbigniew R. Struzik,et al. Heart Rhythm Insights Into Structural Remodeling in Atrial Tissue: Timed Automata Approach , 2019, Front. Physiol..
[10] Rafael Wisniewski,et al. Complete Abstractions of Dynamical Systems by Timed Automata , 2013 .
[11] D. Sánchez-Quintana,et al. Sinus node revisited in the era of electroanatomical mapping and catheter ablation , 2005, Heart.