Compositionality results for cardiac cell dynamics

Md Ariful Islam, Abhishek Murthy, Ezio Bartocci, Antoine Girard, Scott A. Smolka, Radu Grosu

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

3 Scopus citations


We show that the 13-state sodium channel component of the Iyer et al. cardiac cell model can be replaced with a previously identified δ-bisimilar 2-state Hodgkin Huxley-type abstraction by appealing to a small gain theorem. To prove this feedback compositionality result, we construct quadratic-polynomial exponentially decaying bisimulation functions between the two sodium channel models and also for the rest of a simplified version of the Iyer et al. model using the SOSTOOLS tool-box. Our experimental results validate the analytical ones. To the best of our knowledge, this is the first application of δ-bisimilar, feedbackassisting, compositional reasoning in biological systems.

Original languageEnglish
Title of host publicationComputational Methods in Systems Biology - 11th International Conference, CMSB 2013, Proceedings
Number of pages3
StatePublished - 2013
Event11th International Conference on Computational Methods in Systems Biology, CMSB 2013 - Klosterneuburg, Austria
Duration: Sep 22 2013Sep 24 2013

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8130 LNBI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


Conference11th International Conference on Computational Methods in Systems Biology, CMSB 2013

Fingerprint Dive into the research topics of 'Compositionality results for cardiac cell dynamics'. Together they form a unique fingerprint.

Cite this