Warning: session_start() [function.session-start]: open(/var/lib/php5/sess_8dcec3ae68d65fdc952a71c8747cfa5b, O_RDWR) failed: Read-only file system (30) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cookie - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: session_start() [function.session-start]: Cannot send session cache limiter - headers already sent (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/papers_fun.php on line 13

Warning: Cannot modify header information - headers already sent by (output started at /var/www/cosy/biblio/papers_fun.php:13) in /var/www/cosy/biblio/header.php on line 2
CoSy Bibliography
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
Radu Grosu, Ezio Bartocci, Flavio Corradini, Emilia Entcheva, Scott A. Smolka, Anita Wasilewska.
In the proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC'08), St. Louis, USA, April, 2008. pp. 229-243. Lectures Notes in Computer Science vol. 4981. Springer. 2008.
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 (within milliseconds) 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 simulator.
Categories: Computational Systems Biology, CoSy Group, Formal methods for spec. and verific. of software systems, Simulation
@INPROCEEDINGS{GBCESW08,
  title = {{Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes}},
  author = {Grosu, Radu and Bartocci, Ezio and Corradini, Flavio and Entcheva, Emilia and Smolka, Scott A. and Wasilewska, Anita },
  booktitle = {In the proceedings of the 11th International Conference on Hybrid Systems: Computation and Control (HSCC'08), St. Louis, USA, April, 2008},
  pages = {229-243},
  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 (within
      milliseconds) 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 simulator. 
      },
  publisher = {Springer},
  series = {Lectures Notes in Computer Science},
  volume = {4981},
  year = {2008},
}

Warning: Unknown: open(/var/lib/php5/sess_8dcec3ae68d65fdc952a71c8747cfa5b, O_RDWR) failed: Read-only file system (30) in Unknown on line 0

Warning: Unknown: Failed to write session data (files). Please verify that the current setting of session.save_path is correct (/var/lib/php5) in Unknown on line 0