Learning cycle-linear hybrid automata for excitable cells

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

Volumn 4416 LNCS, Issue , 2007, Pages 245-258

  Grosu, R ^a   Mitra, S ^b   Ye, P ^a   Entcheva, E ^c   Ramakrishnan, I V ^a   Smolka, S A ^a  

^a Stony Brook University

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^c St Francis Hospital The Heart Center

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; HYBRID COMPUTERS; LEARNING ALGORITHMS; LINEAR SYSTEMS; MATLAB;

CYCLE-LINEAR HYBRID AUTOMATA (CLHA); GEOMETRIC ANALYSIS; HYBRID AUTOMATA;

LEARNING SYSTEMS;

EID: 38049108519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71493-4_21     Document Type: Conference Paper

References (26)

1. R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. Pappas, H. Rubin, and J. Schug. Hybrid modeling and simulation of biomolecular networks. In Hybrid Systems: Computation and Control, HSCC 2001, volume 2034 of LNCS, pages 1932, 2001.
2. R. Alur, C. Coucoubetis, N. Halbwachs, T.A. Henzinger, P.H. Ho, X. Nicolin, A. Olivero, J. Sifakis, and S. Yovine. The altorithmic analysis of hybrid systems. Theoretical Computer Siences, 138:334, 1995.
3. P. Barbano, M. Spivak, J. Feng, M. Antoniotti, and B. Misra. A coherent framework for multi-resolution analysis of biological networks with memory: Ras pathway, cell cycle and immune system. In Proc. National Academy of Science, volume 102, pages 62456250, 2005.
4. C. Belta, P. Finin, L. Habets, A. Halasz, M. Imielinski, V. Kumar, and H. Rubin. Understanding the bacterial stringent response using reachability analysis of hybrid systems. In Hybrid Systems:Computation and Control, HSCC 2004, volume 2993 of LNCS, pages 111126, 2004.
5. A. Bemporad, A. Garulli, S. Paoletti, and A. Vicino. A bounded-error approach to piecewise affine system identification. IEEE Transactions on Automatic Control, 50(10):14731634, 2005.
6. V. N. Biktashev. A simplified model of propagation and dissipation of excitation fronts. International Journal of Bifurcation and Chaos, 13:36053619, 2003.
7. H. de Jong, J.-L. Gouz, C Hernandez, M. Page, T. Sari, and J. Geiselmann. Hybrid modeling and simulation of genetic regulatory networks: A qualitative approach. In Hybrid Systems: Computation and Control, HSCC 2003, volume 2623 of LNCS, pages 267282, 2003.
8. T. Erbes. Stochastic learning feedback hybrid automata for dynamic power management in embedded systems, 2004.
9. F. Fenton and A. Karma, Vortex dynamics in 3d continous myocardium with fiber rotation: Filament instability and fibrillation. CHAOS, 8:2047, 1998.
10. G.C. Rigatos, I.P Vlahavas, and CD. Spyropoulos. Fuzzy stochastic automata for reactive learning and hybrid control. In Methods and Applications of Artificial Intelligence, pages 366377. LNCS, Vol. 2308, Springer-Verlag, 2002.
11. R. Ghosh and C.J. Tomlin. Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modeling: Delta-notch protein signaling. IEEE Transactions on Systems Biology, 1(1):170183, 2004.
12. M. M. Henry. Model-based estimation of probabilistic hybrid automata, 2002.
13. A. L. Hodgkin and A. F. Huxley. A quantitative description of membrane currents and its application to conduction and excitation in nerve. J Physiol, 117:500544, 1952.
14. M. Huber and R.A. Grupen. A hybrid architecture for learning robot control tasks. Robotics Today, 13(4), 2000.
15. K. Joshi, N. Neogi, and W. Sanders. Dynamic partitioning of large discrete event biological systems for hybrid simulation and analysis. In Hybrid Systems: Computation and Control, HSCC 2004, volume 2993 of LNCS, 2004.
16. D.K. Kaynar, N. Lynch, R. Segala, and F. Vaandrager. The Theory of Timed I/O Automata. Synthesis Lectures on Computer Science. Morgan Claypool, November 2005. Also available as Technical Report MIT-LCS-TR-917.
17. P. Lincoln and A. Tiwari. Symbolic systems biology: Hybrid modeling and analysis of biological networks. In Hybrid Systems: Computation and Control, HSCC 2004, volume 2993 of LNCS, pages 660672, 2004.
18. C H. Luo and Y. Rudy. A dymanic model of the cardiac ventricular action potential: I. simulations of ionic currents and concentration changes. Circ Res, 74:1071 1096, 1994.
19. N. Lynch, R. Segala, and F. Vaandrager. Hybrid I/O automata. Information and Computation, 185(1):103157, 2003.
20. S. Mitra, D. Liberzon, and N. Lynch. Verifying average dwell time by solving optimization problems. In Ashish Tiwari and Joao P. Hespanha, editors, Hybrid Systems: Computation and Control (HSCC 06), LNCS, Santa Barbara, CA, March 2006. Springer.
21. M.R. Osborne and G.K. Smyth. A modified Prony algorithm for exponential function fitting. SIAM J. Sci. Comput., 16(1):119138, 1995.
22. V. Pavlovic, J.M. Rehg, T.-J. Cham, and K.P. Murphy. A dynamic bayesian network approach to figure tracking using learned dynamic models. InProc. of 7th IEEE Int. Conf. on Computer Vision, 1999.
23. A. Singh and J. Hespanha. Models for generegulatory networks using polynomial stochastic hybrid systems. In CDC05, 2005.
24. R. Vidal, S. Soatto, Y. Ma, and S. Sastry. An algebraic geometric approach to the identification of a class of linear hybrid systems. In Proc. of 42nd IEEE Conf. on Decision and Control, 2003.
25. P. Ye, E. Entcheva, R. Grosu, and S.A. Smolka. Efficient modeling of excitable cells using hybrid automata. In CMSB05, Computational Methods in Systems Biology Workshop, Edinburgh, UK, April 2005.
26. P. Ye, E. Entcheva, S.A. Smolka, M.R. True, and R. Grosu. A cycle-linear approach to modeling action potentials. In EMBC06, the IEEE International Conference of the Engineering in Medicine and Biology Society, IEEE, New York City, NY, September 2006. IEEE.