From Cardiac Cells to Genetic Regulatory Networks

  • Radu Grosu
  • Gregory Batt
  • Flavio H. Fenton
  • James Glimm
  • Colas Le Guernic
  • Scott A. Smolka
  • Ezio Bartocci
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6806)


A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to this question, we develop a multiaffine hybrid automaton (MHA) cardiac-cell model, and restate the original question as one of identification of the parameter ranges under which the MHA model accurately reproduces the disorder. The MHA model is obtained from the minimal cardiac model of one of the authors (Fenton) by first bringing it into the form of a canonical, genetic regulatory network, and then linearizing its sigmoidal switches, in an optimal way. By leveraging the Rovergene tool for genetic regulatory networks, we are then able to successfully identify the parameter ranges of interest.


Cardiac Cell Action Potential Duration Linear Temporal Logic Spiral Wave Cardiac Disorder 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Alur, R., Courcoubetis, C., Henzinger, T.A., Ho, P.H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The algorithmic analysis of hybrid systems. In: Proc. of the 11th Int. Conf. on Analysis and optimization of systems: Discrete Event Systems. LNCIS, vol. 199, pp. 331–351. Springer, Heidelberg (1994)Google Scholar
  2. 2.
    Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 2(126), 183–235 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  3. 3.
    Batt, G., Belta, C., Weiss, R.: Temporal logic analysis of gene networks under parameter uncertainty. IEEE Trans. of Automatic Control 53, 215–229 (2008)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Bender, C.M., Orszag, S.A.: Advanced Mathematical Methods for Scientists and Engineers: Asymptotic Methods and Perturbation Theory. Springer, Heidelberg (1999)CrossRefzbMATHGoogle Scholar
  5. 5.
    Bueno-Orovio, A., Cherry, M.E., Fenton, F.H.: Minimal model for human ventricular action potentials in tissue. J. of Theor. Biology 253(3), 544–560 (2008)MathSciNetCrossRefGoogle Scholar
  6. 6.
    Cherry, E.M., Fenton, F.H.: A tale of two dogs: Analyzing two models of canine ventricular electrophysiology. American Journal of Physiology - Heart and Circulatory Physiology 292, 43–55 (2007)CrossRefGoogle Scholar
  7. 7.
    Cherry, E.M., Fenton, F.H.: Visualization of spiral and scroll waves in simulated and experimental cardiac tissue. New Journal of Physics 10, 125016 (2008)CrossRefGoogle Scholar
  8. 8.
    de Jong, H.: Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology 9(1), 69–105 (2002)Google Scholar
  9. 9.
    Fenton, F.H., Cherry, E.M.: Models of cardiac cell. Scholarpedia 3, 1868 (2008)CrossRefGoogle Scholar
  10. 10.
    Fenton, F.H., Cherry, E.M., Hastings, H.M., Evans, S.J.: Real-time computer simulations of excitable media: Java as a scientific language and as a wrapper for C and Fortran programs. BioSystems 64(1-3), 73–96 (2002)CrossRefGoogle Scholar
  11. 11.
    Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. Springer Int. J. of Software Tools for Technology Transfer 10(3), 263–279 (2008)CrossRefzbMATHGoogle Scholar
  12. 12.
    Glass, L., Kauffman, S.A.: The logical analysis of continuous nonlinear biochemical control networks. Journal of Math. Biology 39(1), 103–129 (1973)Google Scholar
  13. 13.
    Grosu, R., Smolka, S.A., Corradini, F., Wasilewska, A., Entcheva, E., Bartocci, E.: Learning and detecting emergent behavior in networks of cardiac myocytes. Communications of the ACM (CACM) 52(3), 1–10 (2009)CrossRefzbMATHGoogle Scholar
  14. 14.
    Iyer, V., Mazhari, R., Winslow, R.L.: A computational model of the human leftventricular epicardial myocytes. Biophysical Journal 87(3), 1507–1525 (2004)CrossRefGoogle Scholar
  15. 15.
    Keener, J., James Sneyd, J.: Mathematical Physiology. Springer, Heidelberg (2008)zbMATHGoogle Scholar
  16. 16.
    Larsen, K., Pettersson, P., Yi, W.: Uppaal in a nutshell. Springer Int. Journal of Software Tools for Technology Transfer 1 (1997)Google Scholar
  17. 17.
    Luo, C.H., Rudy, Y.: A dynamic model of the cardiac ventricular action potential. I. Simulations of ionic currents and concentration changes. Circulation Research 74(6), 1071–1096 (1994)CrossRefGoogle Scholar
  18. 18.
    Mestl, T., Plahte, E., Omholt, S.W.: A mathematical framework for describing and analysing gene regulatory networks. Journal of Theoretical Biology 176(2), 291–300 (1995)CrossRefzbMATHGoogle Scholar
  19. 19.
    Michaelis, L., Menten, M.L.: Die Kinetik der Invertinwirkung. Biochemische Zeitschrift 49, 333–369 (1913)Google Scholar
  20. 20.
    Morgan, J.M., Cunningham, D., Rowland, E.: Dispersion of monophasic action potential duration: Demonstrable in humans after premature ventricular extrastimulation but not in steady state. Journal of Am. Coll. Cardiol. 19, 1244–1253 (1992)CrossRefGoogle Scholar
  21. 21.
    Perez, J.C., Vidal, E.: Optimum polygonal approximation of digitized curves. Pattern Recognition Letters 15, 743–750 (1994)CrossRefzbMATHGoogle Scholar
  22. 22.
    Priebe, L., Beuckelmann, D.J.: Simulation study of cellular electric properties in heart failure. Circulation Research 82, 1206–1223 (1998)CrossRefGoogle Scholar
  23. 23.
    Segel, L.A., Slemrod, M.: The quasi-steady-state assumption: A case study in perturbation. SIAM Review 31(3), 446–477 (1989)MathSciNetCrossRefzbMATHGoogle Scholar
  24. 24.
    Ten Tusscher, K.H., Noble, D., Noble, P.J., Panfilov, A.V.: A model for human ventricular tissue. American Journal of Physiology 286, 1573–1589 (2004)Google Scholar
  25. 25.
    Yagil, G., Yagil, E.E.: On the relation between effector concentration and the rate of induced enzyme synthesis. Biophysical Journal 11(1), 11–27 (1971)CrossRefzbMATHGoogle Scholar
  26. 26.
    Ye, P., Grosu, R., Smolka, S.A., Entcheva, E.: Formal analysis of abnormal excitation in cardiac tissue. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 141–155. Springer, Heidelberg (2008)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Radu Grosu
    • 1
  • Gregory Batt
    • 2
  • Flavio H. Fenton
    • 3
  • James Glimm
    • 4
  • Colas Le Guernic
    • 5
  • Scott A. Smolka
    • 1
  • Ezio Bartocci
    • 1
    • 4
  1. 1.Dept. of Comp. Sci.Stony Brook UniversityStony BrookUSA
  2. 2.INRIALe Cesnay CedexFrance
  3. 3.Dept. of Biomed. Sci.Cornell UniversityIthacaUSA
  4. 4.Dept. of Appl. Math. and Sta.Stony Brook UniversityStony BrookUSA
  5. 5.Dept. of Comp. Sci.New York UniversityNew YorkUSA

Personalised recommendations