TY - GEN
T1 - Compositionality results for cardiac cell dynamics
AU - Islam, Md Ariful
AU - Murthy, Abhishek
AU - Bartocci, Ezio
AU - Girard, Antoine
AU - Smolka, Scott A.
AU - Grosu, Radu
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84885978119
M3 - Conference contribution
SN - 9783642407079
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 242
EP - 244
BT - Computational Methods in Systems Biology - 11th International Conference, CMSB 2013, Proceedings
T2 - 11th International Conference on Computational Methods in Systems Biology, CMSB 2013
Y2 - 22 September 2013 through 24 September 2013
ER -