Learning and detecting emergent behavior in networks of cardiac myocytes

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

Volumn 4981 LNCS, Issue , 2008, Pages 229-243

  Grosu, R ^a   Bartocci, E ^a,b   Corradini, F ^b   Entcheva, E ^c   Smolka, S A ^a   Wasilewska, A ^a  

^a Stony Brook University   (United States)

^b UNIVERSITY OF CAMERINO   (Italy)

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

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATA THEORY; ELECTROMAGNETIC WAVES; HYBRID SYSTEMS; ROBOTS;

ANALYSIS AND CONTROLS; BOUNDED MODEL CHECKING; CARDIAC MYOCYTES; ELECTRICAL FIELD; EMERGENT BEHAVIORS; HYBRID AUTOMATONS; LINEAR HYBRID AUTOMATA; VENTRICULAR FIBRILLATION;

MODEL CHECKING;

EID: 67650067836     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78929-1_17     Document Type: Conference Paper

References (20)

1. Aiello, M., Benthem, J., Bezhanishvili, G.: Reasoning about space: The modal way. J. Log. Comput. 13(6), 889-920 (2003).
2. Bartocci, E., Corradini, F., Entcheva, E., Grosu, R., Smolka, S.A.: CellExcite: A tool for simulating in-silico excitable cells. BMC Bioinformatics (to appear, 2007).
3. Biere, A., Cimatti, A., Clarke, E., Strichman, O., Zhu, Y.: Bounded model checking. In: Adv. in Comp., Highly Depend. Software, vol.58, Academic Press, London (2003).
4. Bray, M.A., Lin, S.F., Aliev, R.R., Roth, B.J., Wikswo, J.P.J.: Experimental and theoretical analysis of phase singularity dynamics in cardiac tissue. J Cardiovasc Electrophysiol 12(6), 716-722 (2001).
5. Caires, L., Cardelli, L.: A spatial logic for concurrency (part I). Inf. Comput. 186(2), 194-235 (2003).
6. Caires, L., Cardelli, L.: A spatial logic for concurrency (part II. Theor. Comput. Sci. 322(3), 517-565 (2004).
7. deOliveira, I., Cugnasca, P.: Checking safe trajectories of aircraft using hybrid automata. In: Anderson, S., Bologna, S., Felici, M. (eds.) SAFECOMP 2002. LNCS, vol.2434, Springer, Heidelberg (2002).
8. Frank, E., Hall, M.A., Holmes, G., Kirkby, R., Pfahringer, B., Witten, I.H., Trigg, L.: WEKA - a machine learning workbench for data mining. In: The Data Mining and Knowledge Discovery Handbook, pp. 1305-1314. Springer, Heidelberg (2005).
9. Ghosh, R., Tiwari, A., Tomlin, C.: Automated symbolic reachability analysis; with application to delta-notch signaling automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.2623, pp. 233-248. Springer, Heidelberg (2003).
10. Grosu, R., Bartocci, E., Corradini, F., Entcheva, E., Smolka, S., True, M., Wasilewska, A., Ye, P.: EHA: An environment for the specification, simulation, analysis and control of networks of excitable hybrid automata (2007), http://www.cs.sunysb.edu/~eha
11. Grosu, R., Mitra, S., Ye, P., Entcheva, E., Ramakrishnan, I.V., Smolka, S.A.: Learning cycle-linear hybrid automata for excitable cells. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, pp. 245-258. Springer, Heidelberg (2007).
12. Kwon, Y., Agha, G.: Scalable modeling and performance evaluation of wireless sensor networks. In: IEEE RT Tech. and App. Symp., pp. 49-58 (2006).
13. Lu, Y.: Concept hierarchy in data mining: Specification, generation and implementation. Master's thesis, Simon Fraser University (December 1997).
14. Pereira, F.L., deSousa, J.B.: Coordinated control of networked vehicles: An autonomous underwater system. Aut. and Remote Ctrl. 65(7), 1037-1045 (2004).
15. Shusterman, E., Feder, M.: Image compression via improved quadtree decomposition algorithms. IEEE Trans. on Image Processing 3(2), 207-215 (1994).
16. Umeno, S., Lynch, N.: Safety verification of an aircraft landing protocol: A re- .nement approach. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol.4416, Springer, Heidelberg (2007).
17. Wasilewska, A., Ruiz, E.M.: A classification model: Syntax and semantics for classification. In: ́Slezak, D., Yao, J., Peters, J.F., Ziarko, W., Hu, X. (eds.) RSFDGrC 2005. LNCS (LNAI), vol.3642, pp. 59-68. Springer, Heidelberg (2005).
18. Wedge, N.A., Branicky, M.S., Cavusoglu, M.C.: Computationally Efficient cardiac biolectricity models toward whole-heart simulation. In: Proc.of Intl. Conf. IEEE Engineering in Medicine and Biology Society, pp. 1-4 (2004).
19. Ye, P., Entcheva, E., Grosu, R., Smolka, S.: Efficient modeling of excitable cells using hybrid automata. In: Proc. of CMSB 2005, the 3rdWorkshop on Computational Methods in Systems Biology, Edinburgh, Scotland, pp. 216-227 (April 2005).
20. Ye, P., Entcheva, E., Smolka, S., Grosu, R.: A cycle-linear hybrid-automata model for excitable cells. The IET J. of Systems Biology (SYB) (accepted, 2007).