Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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)
Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 2(126), 183–235 (1994)
Batt, G., Belta, C., Weiss, R.: Temporal logic analysis of gene networks under parameter uncertainty. IEEE Trans. of Automatic Control 53, 215–229 (2008)
Bender, C.M., Orszag, S.A.: Advanced Mathematical Methods for Scientists and Engineers: Asymptotic Methods and Perturbation Theory. Springer, Heidelberg (1999)
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)
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)
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)
de Jong, H.: Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology 9(1), 69–105 (2002)
Fenton, F.H., Cherry, E.M.: Models of cardiac cell. Scholarpedia 3, 1868 (2008)
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)
Frehse, G.: PHAVer: algorithmic verification of hybrid systems past HyTech. Springer Int. J. of Software Tools for Technology Transfer 10(3), 263–279 (2008)
Glass, L., Kauffman, S.A.: The logical analysis of continuous nonlinear biochemical control networks. Journal of Math. Biology 39(1), 103–129 (1973)
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)
Iyer, V., Mazhari, R., Winslow, R.L.: A computational model of the human leftventricular epicardial myocytes. Biophysical Journal 87(3), 1507–1525 (2004)
Keener, J., James Sneyd, J.: Mathematical Physiology. Springer, Heidelberg (2008)
Larsen, K., Pettersson, P., Yi, W.: Uppaal in a nutshell. Springer Int. Journal of Software Tools for Technology Transfer 1 (1997)
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)
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)
Michaelis, L., Menten, M.L.: Die Kinetik der Invertinwirkung. Biochemische Zeitschrift 49, 333–369 (1913)
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)
Perez, J.C., Vidal, E.: Optimum polygonal approximation of digitized curves. Pattern Recognition Letters 15, 743–750 (1994)
Priebe, L., Beuckelmann, D.J.: Simulation study of cellular electric properties in heart failure. Circulation Research 82, 1206–1223 (1998)
Segel, L.A., Slemrod, M.: The quasi-steady-state assumption: A case study in perturbation. SIAM Review 31(3), 446–477 (1989)
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)
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)
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)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Grosu, R. et al. (2011). From Cardiac Cells to Genetic Regulatory Networks. In: Gopalakrishnan, G., Qadeer, S. (eds) Computer Aided Verification. CAV 2011. Lecture Notes in Computer Science, vol 6806. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-22110-1_31
Download citation
DOI: https://doi.org/10.1007/978-3-642-22110-1_31
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-22109-5
Online ISBN: 978-3-642-22110-1
eBook Packages: Computer ScienceComputer Science (R0)