Loading...
Please wait, while we are loading the content...
Similar Documents
Compositionality results for cardiac cell dynamics.
| Content Provider | CiteSeerX |
|---|---|
| Author | Islam, Ariful Murthy, Abhishek Bartocci, Ezio Girard, Antoine Smolka, Scott A. Grosu, Radu |
| Abstract | Abstract. 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 toolbox. 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. The Iyer et al. model (IMW) [3] is a physiologically detailed cardiac myocyte (ventricular) model that can be used to to simulate the change in a cell’s transmembrane potential in response to an external electrical stimulus, also known as the Action Potential (AP). In this work, we ask “assuming that the AP is (a) |
| File Format | |
| Access Restriction | Open |
| Subject Keyword | Cardiac Cell Dynamic Compositionality Result Small Gain Theorem Cardiac Cell Model Feedback Compositionality Result Simplified Version Bisimilar 2-state Hodgkin Huxley-type Abstraction Action Potential Sodium Channel Model Sostools Toolbox Detailed Cardiac Myocyte Analytical One Compositional Reasoning External Electrical Stimulus Biological System Experimental Result Cell Transmembrane Potential 13-state Sodium Channel Component First Application Bisimulation Function |
| Content Type | Text |
| Resource Type | Article |
