Hybrid automata as a unifying framework for modeling excitable cells

Annual International Conference of the IEEE Engineering in Medicine and Biology - Proceedings

Volumn , Issue , 2006, Pages 4151-4154

  Ye, P ^b   Entcheva, E ^a,c   Smolka, S A ^a,b   True, M R ^b   Grosu, R ^a,b  

^a IEEE

^b Stony Brook University   (United States)

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

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; COMPUTATIONAL METHODS; GRAPH THEORY; MATHEMATICAL MODELS; NONLINEAR ANALYSIS;

BIOLOGICAL PROCESSES; COMPUTATIONAL MODELS; DISCRETE TRANSITION GRAPHS; EXCITABLE-CELL MODEL;

CELL CULTURE;

ALGORITHM; ANIMAL; ARTICLE; ARTIFICIAL INTELLIGENCE; AUTOMATION; BIOLOGICAL MODEL; CYTOLOGY; GUINEA PIG; HEART MUSCLE CELL; HEART VENTRICLE; NONLINEAR SYSTEM; OSCILLOMETRY; PHYSIOLOGY;

ALGORITHMS; ANIMALS; ARTIFICIAL INTELLIGENCE; AUTOMATION; GUINEA PIGS; HEART VENTRICLES; MODELS, BIOLOGICAL; MODELS, CARDIOVASCULAR; MYOCYTES, CARDIAC; NONLINEAR DYNAMICS; OSCILLOMETRY;

EID: 34047182112     PISSN: 05891019     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IEMBS.2006.259294     Document Type: Conference Paper

References (13)

1. R. Ghosh and C.J. Tomlin, Lateral inhibition through Delta-Notch signaling: a piecewise affine hybrid model, Lecture Notes in Computer Science, vol 2034, 2001, pp 232-246.
2. T.A. Henzinger, "The theory of hybrid automata",in Proceedings of the 11th IEEE Symposium on Logic in Computer Science, 1996, pp. 278-293.
3. V.N. Biktashev, A simplified model of propagation and dissipation of excitation fronts, Int. J. Bifurcation and Chaos, vol. 13, 2003, pp 3605-3620.
4. F. Fenton and A. Karma, Vortex dynamics in 3D continous myocardium with fiber rotation: filament instability and fibrillation,CHAOS, vol. 8, 1998, pp 20-47.
5. R. Milner, Communication and Concurrency, Prentice Hall, International Series in Computer Science, 1989.
6. M. Antoniotti and C. Piazza and A. Policriti and M. Simeoni and B. Mishra, Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice. Theor. Comput. Sci, vol. 325, 2004, pp 45-67.
7. J.G. Dumas and A. Rondepierre, "Modeling the electrical activity of a neuron by a continuous and piecewise affine hybrid system", Hybrid Systems: Computation and Control, 2003, pp 156-171.
8. C. Belta and J. Schug and T. Dang, "Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium Vibrio fischeri", In proceeding of 40th IEEE conference on Decision and Control, vol. 1, 2001, pp 869-874.
9. R. Alur and T. Dang and F. Ivancic, Reachability analysis of hybrid systems via predicate abstraction. In the preceeding of HSCC, 2002, pp 35-48.
10. 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, IEE Tansactions on Systems Biology, Vol. 1, 2004, pp 170-183.
11. C.H. Luo and Y. Rudy, A model of the ventricular cardiac action potential - depolarisation, repolarisation and their interaction, Circulation Research, vol. 68, 1991, pp 1501-1526.
12. C.H. Luo and Y. Rudy, A dynamic model of the cardiac ventricular action potential: I. Simulations of ionic currents and concentration changes, Circulation Research, vol. 74, 1994, pp 1071-1096.
13. P. Ye and E. Entcheva and R. Grosu and S.A. Smolka, "Efficient modeling of excitable cells using hybrid automata", In Proceedings of Computational Methods in System Biology, 2005.