Skip to main navigation Skip to search Skip to main content

Formal analysis of abnormal excitation in cardiac tissue

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Scopus citations

Abstract

We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhythmic events, namely Early Afterdepolarizations (EADs). The goal is to quantify (for the first time) the contribution of the overall sodium (Na∈+∈), potassium (K ∈+∈) and calcium (Ca2∈+∈) currents to the occurrence of EADs during the plateau phase of the cardiac action potential (AP). Our analysis yields exact mathematical criteria for the separation of the parameter space for normal and EAD-producing APs, which is validated by simulations with classical AP models based on complex systems of nonlinear differential equations. Our approach offers a simple formal technique for the prediction of conditions leading to arrhythmias (EADs) from a limited set of experimental measurements, and can be invaluable for devising new anti-arrhythmic strategies.

Original languageEnglish
Title of host publicationComputational Methods in Systems Biology - 6th International Conference, CMSB 2008, Proceedings
Pages141-155
Number of pages15
DOIs
StatePublished - 2008
Event6th International Conference on Computational Methods in Systems Biology, CMSB 2008 - Rostock, Germany
Duration: Oct 12 2008Oct 15 2008

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume5307 LNBI

Conference

Conference6th International Conference on Computational Methods in Systems Biology, CMSB 2008
Country/TerritoryGermany
CityRostock
Period10/12/0810/15/08

Fingerprint

Dive into the research topics of 'Formal analysis of abnormal excitation in cardiac tissue'. Together they form a unique fingerprint.

Cite this