Hybrid Reductions of Computational Models of Ion Channels Coupled to Cellular Biochemistry

Computational models of cellular physiology are often too complex to be analyzed with currently available tools. By model reduction we produce simpler models with less variables and parameters, that can be more easily simulated and analyzed. We propose a reduction method that applies to ordinary differential equations models of voltage and ligand gated ion channels coupled to signaling and metabolism. These models are used for studying various biological functions such as neuronal and cardiac activity, or insulin production by pancreatic beta-cells. Models of ion channels coupled to cell biochemistry share a common structure. For such models we identify fast and slow sub-processes, driving and slaved variables, as well as a set of reduced models. Various reduced models are valid locally and can change on a trajectory. The resulting reduction is hybrid, implying transitions from one reduced model (mode) to another one.

[1]  Aurélien Naldi,et al.  Symbolic Dynamics of Biochemical Pathways as Finite States Machines , 2015, CMSB.

[2]  Irit Gat-Viks,et al.  A minimum-labeling approach for reconstructing protein networks across multiple conditions , 2013, Algorithms for Molecular Biology.

[3]  R. G. Casten,et al.  Basic Concepts Underlying Singular Perturbation Techniques , 1972 .

[4]  H G Othmer,et al.  Simplification and analysis of models of calcium dynamics based on IP3-sensitive calcium channel kinetics. , 1996, Biophysical journal.

[5]  L. Philipson,et al.  Ion channels and regulation of insulin secretion in human β-cells , 2013, Islets.

[6]  F. Fenton,et al.  Minimal model for human ventricular action potentials in tissue. , 2008, Journal of theoretical biology.

[7]  M. Holmes Introduction to Perturbation Methods , 1995 .

[8]  Neil Fenichel Geometric singular perturbation theory for ordinary differential equations , 1979 .

[9]  R Suckley,et al.  Asymptotic properties of mathematical models of excitability , 2005, Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences.

[10]  A. Hodgkin,et al.  Propagation of electrical signals along giant nerve fibres , 1952, Proceedings of the Royal Society of London. Series B - Biological Sciences.

[11]  James P Keener,et al.  Invariant manifold reductions for Markovian ion channel dynamics , 2009, Journal of mathematical biology.

[12]  Dima Grigoriev,et al.  Tropicalization and tropical equilibration of chemical reactions , 2012, 1303.3963.

[13]  Holger Fröhlich,et al.  A Geometric Method for Model Reduction of Biochemical Networks with Polynomial Rate Functions , 2015, Bulletin of Mathematical Biology.

[14]  Vadim N. Biktashev,et al.  The asymptotic Structure of the Hodgkin-huxley Equations , 2003, Int. J. Bifurc. Chaos.

[15]  Dima Grigoriev,et al.  Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models , 2011, SASB.

[16]  Ezio Bartocci,et al.  From Cardiac Cells to Genetic Regulatory Networks , 2011, CAV.

[17]  Louis H Philipson,et al.  Pancreatic Beta Cell G-Protein Coupled Receptors and Second Messenger Interactions: A Systems Biology Computational Analysis , 2016, PloS one.

[18]  Alexander N Gorban,et al.  Reduction of dynamical biochemical reactions networks in computational biology , 2012, Front. Gene..

[19]  Dima Grigoriev,et al.  Model reduction of biochemical reactions networks by tropical analysis methods , 2015, 1503.01414.

[20]  John Rinzel,et al.  Canard theory and excitability , 2013 .

[21]  Robert Clewley,et al.  A Computational Tool for the Reduction of Nonlinear ODE Systems Possessing Multiple Scales , 2005, Multiscale Model. Simul..

[22]  Ezio Bartocci,et al.  Approximate Bisimulations for Sodium Channel Dynamics , 2012, CMSB.

[23]  A. Kuznetsov,et al.  A model of action potentials and fast Ca2+ dynamics in pancreatic beta-cells. , 2009, Biophysical journal.

[24]  François Fages,et al.  A constraint solving approach to model reduction by tropical equilibration , 2014, Algorithms for Molecular Biology.

[25]  B. Hille,et al.  Ionic channels of excitable membranes , 2001 .

[26]  R. Winslow,et al.  A computational model of the human left-ventricular epicardial myocyte. , 2004, Biophysical journal.