Modelling excitable cells using cycle-linear hybrid automata

IET Systems Biology

Volumn 2, Issue 1, 2008, Pages 24-32

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

^a Stony Brook University   (United States)

^b STONY BROOK UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; MATHEMATICAL MODELS; MORPHOLOGY; PIECEWISE LINEAR TECHNIQUES;

BIKTASHEV'S MODEL; CYCLE-LINEAR HYBRID AUTOMATA; EXCITABLE CELLS;

CELLS;

ACCURACY; ACTION POTENTIAL; ADAPTATION; ARTICLE; CELL FUNCTION; CELL STRUCTURE; COMPUTER MODEL; EXCITABILITY; MATHEMATICAL COMPUTING; NONLINEAR SYSTEM; PERIODICITY; STATISTICAL MODEL;

ACTION POTENTIALS; ANIMALS; BIOLOGICAL CLOCKS; COMPUTER SIMULATION; HUMANS; LINEAR MODELS; MODELS, BIOLOGICAL; MUSCLE FIBERS; MYOCYTES, CARDIAC; NEURONS;

EID: 38949203802     PISSN: 17518849     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-syb:20070001     Document Type: Article

References (34)

1. Henzinger, T.A.: 'The theory of hybrid automata', Proc. 11th IEEE Symp. Logic in Computer Science, 1996, p. 278-293
2. Varaiya, P.: 'Smart caPs on smart roads: problems of control', IEEE Trans. Autom. Control, 1993, 38, (2), p. 195-270 0018-9286
3. Deshpande, A., Godbole, D., Göllü, A., and Varaiya, P.: 'Design and evaluation of tools for automated highway systems', Hybrid systems III', LNCS 1066 (Springer-Verlag 1996), p. 138-148
4. Livadas, C., Lygeros, J., and Lynch, N.A.: 'High-level modelling and analysis of TCAS', Proc. IEEE Real-Time Systems Symp., 1999, p. 115-125
5. Lygeros, J., Pappas, G.J., and Sastry, S.: 'An approach to the verification of the center-tracon automation system', HSCC'98 Proc. First Int. Workshop on Hybrid Systems, 1998, Springer-Verlag, London, UK p. 289-304
6. Balluchi, A., Benvenuti, L., Benedetto, M.D.D., Pinello, C., and Sangiovanni-Vincentelli, A.L.: 'Automotive engine control and hybrid systems: Challenges and opportunities', Proc. IEEE, 2000, 88, (7), p. 888-912 0018-9219
7. Alur, R., Grosu, R., Hur, Y., Kumar, V., and Lee, I.: 'Modular specifications of hybrid systems in charon', Hybrid Systems: Computation and Control, Third Int. Workshop, 2000, LNCS 1790, p. 6-19
8. Maler, O., and Yovine, S.: 'Hardware timing verification using KRONOS', 7th IEEE Israeli Conf. on Computer Systems and Software Engineering, June 1996, IEEE Computer Society Press, p. 12-13, 23-29
9. Ghosh, R., and Tomlin, C.J.: 'Lateral inhibition through delta-notch signaling: A piecewise affine hybrid model', Hybrid Systems: Computation and Control: 4th Int. Workshop, 2001, Springer-Verlag, Rome, Italy 2034, Lecture Notes in Computer Science
10. Milner, R.: 'Communication and concurrency, international series in computer science', (Prentice-Hall 1989)
11. Biktashev, V.N.: 'A simplified model of propagation and dissipation of excitation fronts', Int. J. Bifurcation Chaos, 2003, 13, p. 3605-3619
12. Fenton, F., and Karma, A.: 'Vortex dynamics in 3d continous myocardium with fiber rotation: Filament instability and fibrillation', CHAOS, 1998, 8, p. 20-47 1054-1500
13. Hodgkin, A.L., and Huxley, A.F.: 'A quantitative description of membrane currents and its application to conduction and excitation in nerve', J. Physiol, 1952, 117, p. 500-544
14. Luo, C.H., and Rudy, Y.: 'A dymanic model of the cardiac ventricular action potential: I. simulations of ionic currents and concentration changes', Circuits. Res., 1994, 74, p. 1071-1096
15. Ye, P., Entcheva, E., Grosu, R., and Smolka, S.A.: 'Efficient modeling of excitable cells using hybrid automata', Proc. 3rd International workshop on computational Methods in Systems Biology, Edinburgh, UK 2005, p. 216-227
16. Ye, P., Entcheva, E., Smolka, S.A., True, M., and Grosu, R.: 'Hybrid automata as a unifying framework for modeling cardiac cells', Proc. EMBC, 2006
17. Ye, P., Entcheva, E., Smolka, S.A., True, M., and Grosu, R.: 'A cycle-linear approach to modeling action potentials', Proc. EMBC, 2006
18. Antoniotti, M., Piazza, C., Policriti, A., Simeoni, M., and Mishra, B.: 'Taming the complexity of biochemical models through bisimulation and collapsing: Theory and practice', Theory. Comput. Sci., 2004, 325, (1), p. 45-67
19. Alur, R., Dang, T., and Ivancic, F.: 'Reachability analysis of hybrid systems via predicate abstraction', HSCC, 2002, p. 35-48
20. Ghosh, R., and Tomlin, C.J.: 'Symbolic reachable set computation of piecewise affine hybrid automata and its application to biological modeling: Delta-notch protein signaling', IEE Trans. Syst. Biol., 2004, 1, (1), p. 170-183
21. Dumas, J.G., and Rondepierre, A.: 'Modeling the electrical activity of a neuron by a continuous and piecewise affine hybrid system', Hybrid Systems: Computation and Control, 2003, p. 156-171
22. Belta, C., Schug, J., and Dang, T.: 'Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium vibrio fischeri', 40th IEEE Conf. Decision and Control, 2001, 1, p. 869-874
23. FitzHugh, R.: 'Impulses and physiological states in theoretical models of nerve membrane', Biophys. J., 1961, 1, p. 445-467 0006-3495
24. Nagumo, J., Arimoto, S., and Yoshizawa, S.: 'An active pulse transmission line simulating nerve axon', Proc of the IRE, 1962, 50, (10), p. 2061-2070
25. Mckean, H.P.: 'Nagumo's equation', Adv. Math., 1970, 4, p. 209-223
26. Tikhonov, A.N.: 'Systems of differential equations, containing small parameters at the derivatives', Mat. Sbornik, 1952, 31, (3), p. 575-586
27. Pontryagin, L.S.: 'The asymptotic behaviour of systems of differential equations with a small parameter multiplying the highest derivatives', Izv. Akad. Nauk SSSR, Ser. Mat., 1957, 21, (5), p. 107-155
28. Suckley, R., and Biktashev, V.N.: 'Comparison of asymptotics of heart and nerve excitability', Phys. Rev. E, 2003, 68, (011902), p. 1-15
29. Biktasheva, I., Simitev, R., Suckley, R., and Biktashev, V.N.: 'Asymptotic properties of mathematical models of excitability;' Phil. Trans. Roy. Soc. A: Math. Phys. Eng. Sci., 2006, 364, p. 1283-1298
30. Courtemanche, M., Ramirez, R.J., and Nattel, S.: 'Ionic mechanisms underlying human atrial action potential properties: Insights from a mathematical model', Am. J. Physiol., 1998, 275, p. 301-321
31. Simitev, R.D., and Biktashev, V.N.: 'Conditions for propagation and block of excitation in an asymptotic model of atrial tissue', Biophys. J., 2006, 90, p. 2258-2269 0006-3495
32. True, M., Entcheva, E., Smolka, S.A., Ye, P., and Grosu, R.: 'Efficient event-driven simulation of excitable hybrid automata', Proc. EMBC, 2006
33. Grosu, R., Mitra, S., Ye, P., Entcheva, E., Ramakrishnan, I., and Smolka, S.A.: 'Learning cycle-linear hybrid automata for excitable cells', Hybrid Systems: Computation and Control, Pisa, Italy 2007, Springer, 4416, p. 245-258 LNCS
34. 'MATLAB Online Reference Documentation' http://www.mathworks.com/access/ helpdesk/help/toolbox/optim/, 2007