{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,11]],"date-time":"2026-03-11T14:58:16Z","timestamp":1773241096175,"version":"3.50.1"},"reference-count":25,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCR-0133583CNS-0509230CCF-0523863"],"award-info":[{"award-number":["CCR-0133583CNS-0509230CCF-0523863"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000144","name":"Division of Computer and Network Systems","doi-asserted-by":"publisher","award":["CCR-0133583CNS-0509230CCF-0523863"],"award-info":[{"award-number":["CCR-0133583CNS-0509230CCF-0523863"]}],"id":[{"id":"10.13039\/100000144","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCR-0133583CNS-0509230CCF-0523863"],"award-info":[{"award-number":["CCR-0133583CNS-0509230CCF-0523863"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Commun. ACM"],"published-print":{"date-parts":[[2009,3]]},"abstract":"<jats:p>We address the problem of specifying and detecting emergent behavior in networks of cardiac myocytes, spiral electric waves in particular, a precursor to atrial and ventricular fibrillation. To solve this problem we: (1) apply discrete mode abstraction to the cycle-linear hybrid automata (CLHA) we have recently developed for modeling the behavior of myocyte networks; (2) introduce the new concept of spatial superposition of CLHA modes; (3) develop a new spatial logic, based on spatial superposition, for specifying emergent behavior; (4) devise a new method for learning the formulae of this logic from the spatial patterns under investigation; and (5) apply bounded model checking to detect the onset of spiral waves. We have implemented our methodology as the EMERALD tool suite, a component of our EHA framework for specification, simulation, analysis, and control of excitable hybrid automata. We illustrate the effectiveness of our approach by applying EMERALD to the scalar electrical fields produced by our CELLEXCITE simulation environment for excitable-cell networks.<\/jats:p>","DOI":"10.1145\/1467247.1467271","type":"journal-article","created":{"date-parts":[[2009,2,25]],"date-time":"2009-02-25T14:44:30Z","timestamp":1235573070000},"page":"97-105","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":64,"title":["Learning and detecting emergent behavior in networks of cardiac myocytes"],"prefix":"10.1145","volume":"52","author":[{"given":"Radu","family":"Grosu","sequence":"first","affiliation":[{"name":"Stony Brook University, Stony Brook, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Scott A.","family":"Smolka","sequence":"additional","affiliation":[{"name":"Stony Brook University, Stony Brook, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Flavio","family":"Corradini","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino (MC), Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anita","family":"Wasilewska","sequence":"additional","affiliation":[{"name":"Stony Brook University, Stony Brook, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emilia","family":"Entcheva","sequence":"additional","affiliation":[{"name":"Stony Brook University, Stony Brook, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[{"name":"Stony Brook University, Stony Brook, NY"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3]]},"reference":[{"key":"e_1_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/13.6.889"},{"key":"e_1_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1186\/1471-2105-9-S2-S3"},{"key":"e_1_2_2_3_1","series-title":"Adv. in Comp.","volume-title":"Highly Depend. Software. Acad","author":"Biere A.","year":"2003","unstructured":"Biere , A. , Cimatti , A. , Clarke , E. , Strichman , O. , and Zhu , Y . Bounded model checking . In Adv. in Comp. vol. 58 : Highly Depend. Software. Acad . Press , 2003 . Biere, A., Cimatti, A., Clarke, E., Strichman, O., and Zhu, Y. Bounded model checking. In Adv. in Comp. vol. 58: Highly Depend. Software. Acad. Press, 2003."},{"key":"e_1_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1046\/j.1540-8167.2001.00716.x"},{"key":"e_1_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00137-8"},{"key":"e_1_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.10.041"},{"key":"e_1_2_2_7_1","volume-title":"Proceedings of SAFECOMP 2002","author":"deOliveira I.","year":"2002","unstructured":"deOliveira , I. , and Cugnasca , P . Checking safe trajectories of aircraft using hybrid automata . In Proceedings of SAFECOMP 2002 . Springer-Verlag , Sept. 2002 . deOliveira, I., and Cugnasca, P. Checking safe trajectories of aircraft using hybrid automata. In Proceedings of SAFECOMP 2002. Springer-Verlag, Sept. 2002."},{"key":"e_1_2_2_8_1","volume-title":"The Data Mining and Knowledge Discovery Handbook, 1305--1314","author":"Frank E.","year":"2005","unstructured":"Frank , E. , Hall , M.A. , Holmes , G. , Kirkby , R. , Pfahringer , B. Witten , I.H. , and Trigg , L . WEKA: A machine learning workbench for data mining . In The Data Mining and Knowledge Discovery Handbook, 1305--1314 . Springer , 2005 . Frank, E., Hall, M.A., Holmes, G., Kirkby, R., Pfahringer, B. Witten, I.H., and Trigg, L. WEKA: A machine learning workbench for data mining. In The Data Mining and Knowledge Discovery Handbook, 1305--1314. Springer, 2005."},{"key":"e_1_2_2_9_1","volume-title":"HSCC, 233--248","author":"Ghosh R.","year":"2003","unstructured":"Ghosh , R. , Tiwari , A. , and Tomlin , C . Automated symbolic reachability analysis: with application to Delta-Notch signaling automata . In HSCC, 233--248 , 2003 . Ghosh, R., Tiwari, A., and Tomlin, C. Automated symbolic reachability analysis: with application to Delta-Notch signaling automata. In HSCC, 233--248, 2003."},{"key":"e_1_2_2_10_1","unstructured":"Grosu R. Bartocci E. Corradini F. Entcheva E. Smolka S.A. and Ye P. EHA: An environment for the specification simulation analysis and control of networks of excitable hybrid automata. http:\/\/www.cs.sunysb.edu\/~eha 2009.  Grosu R. Bartocci E. Corradini F. Entcheva E. Smolka S.A. and Ye P. EHA: An environment for the specification simulation analysis and control of networks of excitable hybrid automata. http:\/\/www.cs.sunysb.edu\/~eha 2009."},{"key":"e_1_2_2_11_1","series-title":"LNCS","volume-title":"Proceedings of HSCC'07, the 10th International Conference on Hybrid Systems: Computation and Control","author":"Grosu R.","year":"2007","unstructured":"Grosu , R. , Mitra , S. , Ye , P. , Entcheva , E. , Ramakrishnan , I.V. , and Smolka , S.A . Learning cycle-linear hybrid automata for excitable cells . In Proceedings of HSCC'07, the 10th International Conference on Hybrid Systems: Computation and Control , volume 4416 of LNCS , Pisa, Italy, April 2007 . Springer Verlag , 245--258. Grosu, R., Mitra, S., Ye, P., Entcheva, E., Ramakrishnan, I.V., and Smolka, S.A. Learning cycle-linear hybrid automata for excitable cells. In Proceedings of HSCC'07, the 10th International Conference on Hybrid Systems: Computation and Control, volume 4416 of LNCS, Pisa, Italy, April 2007. Springer Verlag, 245--258."},{"key":"e_1_2_2_12_1","first-page":"293","article-title":"The theory of hybrid automata. In Proceedings of 11th IEEE Symposium on Logic","volume":"278","author":"Henzinger T.A","year":"1996","unstructured":"Henzinger , T.A . The theory of hybrid automata. In Proceedings of 11th IEEE Symposium on Logic in Computer Science , 1996 , 278 -- 293 . Henzinger, T.A. The theory of hybrid automata. In Proceedings of 11th IEEE Symposium on Logic in Computer Science, 1996, 278--293.","journal-title":"Computer Science"},{"key":"e_1_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1113\/jphysiol.1952.sp004764"},{"key":"e_1_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2006.39"},{"key":"e_1_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/850924.851523"},{"key":"e_1_2_2_16_1","volume-title":"Concept hierarchy in data mining: Specification, generation and implementation. Master's thesis","author":"Lu Y.","year":"1997","unstructured":"Lu , Y. Concept hierarchy in data mining: Specification, generation and implementation. Master's thesis , Simon Fraser University , Dec. 1997 . Lu, Y. Concept hierarchy in data mining: Specification, generation and implementation. Master's thesis, Simon Fraser University, Dec. 1997."},{"key":"e_1_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1161\/01.RES.74.6.1071"},{"key":"e_1_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/128869"},{"key":"e_1_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:AURC.0000038711.03622.09"},{"key":"e_1_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/83.277901"},{"key":"e_1_2_2_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_43"},{"key":"e_1_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11548706_7"},{"key":"e_1_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/IEMBS.2004.1403857"},{"key":"e_1_2_2_24_1","volume-title":"Proceedings of CMSB'05","author":"Ye P.","year":"2005","unstructured":"Ye , P. , Entcheva , E. , Grosu , R. , and Smolka , S . Efficient modeling of excitable cells using hybrid automata . In Proceedings of CMSB'05 , the Third Workshop on Computational Methods in Systems Biology, Edinburgh, Scotland , April 2005 , 216--227. Ye, P., Entcheva, E., Grosu, R., and Smolka, S. Efficient modeling of excitable cells using hybrid automata. In Proceedings of CMSB'05, the Third Workshop on Computational Methods in Systems Biology, Edinburgh, Scotland, April 2005, 216--227."},{"key":"e_1_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/1925781"}],"container-title":["Communications of the ACM"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1467247.1467271","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1467247.1467271","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:29:41Z","timestamp":1750253381000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1467247.1467271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":25,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["10.1145\/1467247.1467271"],"URL":"https:\/\/doi.org\/10.1145\/1467247.1467271","relation":{},"ISSN":["0001-0782","1557-7317"],"issn-type":[{"value":"0001-0782","type":"print"},{"value":"1557-7317","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]},"assertion":[{"value":"2009-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}