Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue

Electronic Notes in Theoretical Computer Science

Volumn 194, Issue 3, 2008, Pages 51-67

  Bartocci, Ezio ^a,b   Corradini, Flavio ^a   Di Berardini, Maria Rita ^a   Entcheva, Emilia ^c   Grosu, Radu ^b   Smolka, Scott A ^b  

^a UNIVERSITY OF CAMERINO   (Italy)

^b Stony Brook University   (United States)

^c St Francis Hospital The Heart Center   (United States)

Author keywords

Computational Systems Biology; excitable cell; excitable tissue; Spatial Networks of Hybrid I O Automata

Indexed keywords

AUTOMATA THEORY; COMPUTER SIMULATION; WAVE PROPAGATION;

COMPUTATIONAL SYSTEMS BIOLOGY; EXCITABLE TISSUE; SPATIAL LATTICE;

BIOLOGICAL SYSTEMS;

EID: 38649112598     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.12.005     Document Type: Article

References (25)

1. Alur R., Grosu R., Hur Y., Kumar V., and Lee I. Modular specifications of hybrid systems in charon. Hybrid Systems: Computation and Control, Third International Workshop. LNCS 1790 (2001) 6-19
2. Amonlirdviman, K., R. Ghosh, J. Axelrod and C. Tomlin, A hybrid systems approach to modelling and analyzing planar cell polarity., in: Proceedings of the International Conference on Systems Biology, 2002
3. Antoniotti M., Mishra B., Piazza C., Policriti A., and Simeoni M. Modeling cellular behavior with hybrid automata: Bisimulation and collapsing. Computational Methods in Systems Biology, First International Workshop, Proceedings. CMSB 2003, Rovereto, Italy, February 24-26, 2003. LNCS 2602 (2003) 57-74
4. Asarin, E., T. Dang and O. Maler, The d/dt tool for verification of hybrid systems., in: CAV, 2002, pp. 365-370
5. Barkley D. A model for fast computer-simulation of waves in excitable media. Physica D 49 (1991) 61-70
6. Barkley D., Knees M., and Tuckerman L. Spiral-wave dynamics in a simple-model of excitable media - the transition from simple to compound rotation. Physica Review A 42 (1990) 2489-2492
7. Bartocci, E., F. Corradini, E. Entcheva, R. Grosu and S. A. Smolka, Cellexcite: A tool for simulating in-silico excitable cells, BMC Bioinformatics (2007), p. submitted
8. Bub G., Glass L., Publicover N.G., and Shrier A. Bursting calcium rotors in cultured cardiac myocyte monolayers. Proc. Natl. Acad. Sci. U.S.A. 95 (1998) 10283-10287
9. Bub G., and Shrier A. Propagation through heterogeneous substrates in simple excitable media models. Chaos 12 (2002) 747-753
10. Deshpande A., Godbole D., Gollu A., and Varaiya P. Design and evaluation of tools for automated highway systems. Hybrid Systems III: Verification and Control. LNCS 1066 (1996) 138-148
11. Di Francesco D., and Noble D. A model of cardiac electrical activity incorporating ionic pumps and concentration changes. Philos. Trans. R. Soc. Lond. B Biol. Sci. 307 (1985) 353-398
12. Gerhardt M., Schuster H., and Tyson J.J. A cellular automation model of excitable media including curvature and dispersion. Science 247 (1990) 1563-1566
13. Ghosh, R., A. Tiwari and C. Tomlin, Automated symbolic reachability analysis; with application to delta-notch signaling automata., in: Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings, 2003, pp. 233-248
14. Grosu, R., S. Mitra, P. Ye, E. Entcheva, I.V. Ramakrishnan and S.A. Smolka, Learning cycle-linear hybrid automata for excitable cells., in: HSCC, 2007, pp. 245-258
15. Henzinger, T., P. Ho and W. Howard, Hytech: A model checker for hybrid systems., in: CAV, 1997, pp. 460-463
16. Henzinger, T.A., The theory of hybrid automata., in: In Proceedings of the 11th IEEE Symposium on Logic in Computer Science, 1996, pp. 278-293
17. Hodgkin A.L., and Huxley A.F. A quantitative description of membrane currents and its application to conduction and excitation in nerve. J. Physiol. 117 (1952) 500-544
18. Karma A. New paradigm for drug therapies of cardiac fibrillation. Proc. Natl. Acad. Sci. U.S.A. 97 (2000) 5687-5689
19. Kitano H. Computational systems biology. Nature 420 (2003) 206-210
20. Lividas, C., J. Lygeros and N.A. Lynch, High-level modeling and analysis of tcas., in: In IEEE Real-Time Systems Symposium, 1999, pp. 115-125
21. Luo C.H., and Rudy Y. A dynamic model of the cardiac ventricular action potential. i. simulations of ionic currents and concentration changes. Circ. Res. 74 (1994) 1071-1096
22. Lynch N., Segala R., and V. F.W. Hybrid i/o automata. Information and Computation 185 (2003) 105-157
23. Ye, P., E. Entcheva, R. Grosu and S.A. Smolka, Efficient modeling of excitable cells using hybrid automata., Computational Methods in Systems Biology (2005), p. (Sumbitted)
24. Ye, P., E. Entcheva, R. Grosu and S.A. Smolka, Efficient modeling of excitable cells using hybrid automata., in: In Proc. of CMSB'05, Computational Methods in Systems Biology Workshop, Edinburgh, UK, 2005
25. Ye P., Entcheva E., True M., Grosu R., and Smolka S.A. A cycle-linear approach to modeling action potentials. EMBC06, the IEEE International Conference of the Engineering in Medicine and Biology Society (2006), IEEE, New York City, NY