Approximate bisimulation relations for constrained linear systems
Automatica (Journal of IFAC)
Communications of the ACM
FM'11 Proceedings of the 17th international conference on Formal methods
From cardiac cells to genetic regulatory networks
CAV'11 Proceedings of the 23rd international conference on Computer aided verification
Toward real-time simulation of cardiac dynamics
Proceedings of the 9th International Conference on Computational Methods in Systems Biology
An Efficient Method for Modeling Kinetic Behavior of Channel Proteins in Cardiomyocytes
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Brief paper: Controller synthesis for safety and reachability via approximate bisimulation
Automatica (Journal of IFAC)
| Hi-index | 0.00 |
We show that in the context of the Iyer et al. 67-variable cardiac myocycte model (IMW), it is possible to replace the detailed 13-state probabilistic model of the sodium channel dynamics with a much simpler Hodgkin-Huxley (HH)-like two-state sodium channel model, while only incurring a bounded approximation error. The technical basis for this result is the construction of an approximate bisimulation between the HH and IMW sodium channel models, both of which are input-controlled (voltage in this case) CTMCs. The construction of the appropriate approximate bisimulation, as well as the overall result regarding the behavior of this modified IMW model, involves: (1) Identification of the voltage-dependent parameters of the m and h gates in the HH-type channel via a two-step fitting process, carried out over more than 22,000 representative observational traces of the IMW channel. (2) Proving that the distance between observations of the two channels is bounded. (3) Exploring the sensitivity of the overall IMW model to the HH-type sodium-channel approximation. Our extensive simulation results experimentally validate our findings, for varying IMW-type input stimuli.