Efficient event-driven simulation of excitable hybrid automata

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

Volumn , Issue , 2006, Pages 3150-3153

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

^a IEEE   (United States)

^b Stony Brook University   (United States)

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

Author keywords

[No Author keywords available]

Indexed keywords

EXCITABLE HYBRID AUTOMATA (EHA); LARGE SCALE NETWORKS; LINEAR DIFFERENTIAL EQUATIONS; TIME STEP INTEGRATION METHOD;

COMPUTATION THEORY; COMPUTER SIMULATION; DIFFERENTIAL EQUATIONS; INTEGRATION; LINEAR EQUATIONS; MATHEMATICAL MODELS;

AUTOMATA THEORY;

ARTICLE; BIOLOGICAL MODEL; BIOMEDICAL ENGINEERING; CELL FUNCTION; STATISTICAL MODEL;

BIOMEDICAL ENGINEERING; CELL PHYSIOLOGICAL PHENOMENA; LINEAR MODELS; MODELS, BIOLOGICAL;

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

References (6)

1. T. H. Cormen and C. E. Leiserson and R. L. Rivest and C. Stein, Introduction to Algorithms. 2nd ed. Boston, MA: McGraw-Hill; 2001:138-142.
2. C. Edwards and D. Penney, Differential Equations and Boundary Value Problems. 3rd ed. Upper Saddle River, NJ: Pearson Education; 2004:110-143.
3. R. Ghosh and C. J. Tomlin. Hybrid system models of biological cell network signaling and differentiation. In Proceedings of the 39th Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, October 2001.
4. T. A. Henzinger, "The theory of hybrid automata", in Proceedings of the 11th IEEE Symposium on Logic in Computer Science, 1996, pp. 278-293.
5. 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.
6. 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.