From cardiac cells to genetic regulatory networks

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6806 LNCS, Issue , 2011, Pages 396-411

  Grosu, Radu ^a   Batt, Gregory ^b   Fenton, Flavio H ^c   Glimm, James ^d   Le Guernic, Colas ^e   Smolka, Scott A ^a   Bartocci, Ezio ^a,d  

^a Stony Brook University   (United States)

^b INRIA   (France)

^c Department of Obstetrics Gynecology   (United States)

^d STONY BROOK UNIVERSITY   (United States)

^e POLYTECHNIC UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

CARDIAC CELL; CARDIAC DISORDERS; CARDIAC MODEL; GENETIC REGULATORY NETWORKS; HYBRID AUTOMATONS; IDENTIFICATION OF THE PARAMETERS; PARAMETER RANGE;

COMPUTER AIDED ANALYSIS;

HEART;

EID: 79960377148     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-22110-1_31     Document Type: Conference Paper

References (26)

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)
2. Alur, R., Dill, D.L.: A theory of timed automata. Theoretical Computer Science 2(126), 183-235 (1994)
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)
4. Bender, C.M., Orszag, S.A.: Advanced Mathematical Methods for Scientists and Engineers: Asymptotic Methods and Perturbation Theory. Springer, Heidelberg (1999)
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)
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)
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)
8. de Jong, H.: Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology 9(1), 69-105 (2002)
9. Fenton, F.H., Cherry, E.M.: Models of cardiac cell. Scholarpedia 3, 1868 (2008)
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)
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)
12. Glass, L., Kauffman, S.A.: The logical analysis of continuous nonlinear biochemical control networks. Journal of Math. Biology 39(1), 103-129 (1973)
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)
14. Iyer, V., Mazhari, R., Winslow, R.L.: A computational model of the human left-ventricular epicardial myocytes. Biophysical Journal 87(3), 1507-1525 (2004)
15. Keener, J., James Sneyd, J.: Mathematical Physiology. Springer, Heidelberg (2008)
16. Larsen, K., Pettersson, P., Yi, W.: Uppaal in a nutshell. Springer Int. Journal of Software Tools for Technology Transfer 1 (1997)
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)
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)
19. Michaelis, L., Menten, M.L.: Die Kinetik der Invertinwirkung. Biochemische Zeitschrift 49, 333-369 (1913)
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)
21. Perez, J.C., Vidal, E.: Optimum polygonal approximation of digitized curves. Pattern Recognition Letters 15, 743-750 (1994)
22. Priebe, L., Beuckelmann, D.J.: Simulation study of cellular electric properties in heart failure. Circulation Research 82, 1206-1223 (1998)
23. Segel, L.A., Slemrod, M.: The quasi-steady-state assumption: A case study in perturbation. SIAM Review 31(3), 446-477 (1989)
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)
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)
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)