Access Restriction

Author Corradini, Flavio ♦ Smolka, Scott A. ♦ Entcheva, Emilia ♦ Bartocci, Ezio ♦ Wasilewska, Anita ♦ Grosu, Radu
Source ACM Digital Library
Content type Text
Publisher Association for Computing Machinery (ACM)
File Format PDF
Language English
Abstract 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.
Description Affiliation: University of Camerino, Camerino (MC), Italy (Corradini, Flavio) || Stony Brook University, Stony Brook, NY (Grosu, Radu; Smolka, Scott A.; Wasilewska, Anita; Entcheva, Emilia; Bartocci, Ezio)
Age Range 18 to 22 years ♦ above 22 year
Educational Use Research
Education Level UG and PG
Learning Resource Type Article
Publisher Date 2005-08-01
Publisher Place New York
Journal Communications of the ACM (CACM)
Volume Number 52
Issue Number 3
Page Count 9
Starting Page 97
Ending Page 105

Open content in new tab

   Open content in new tab
Source: ACM Digital Library