Learning and detecting emergent behavior in networks of cardiac myocytes
Top Cited Papers
- 1 March 2009
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 52 (3), 97-105
- https://doi.org/10.1145/1467247.1467271
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.Funding Information
- Division of Computing and Communication Foundations (CCR-0133583CNS-0509230CCF-0523863)
- Division of Computer and Network Systems (CCR-0133583CNS-0509230CCF-0523863)
- National Science Foundation (CCR-0133583CNS-0509230CCF-0523863)
This publication has 13 references indexed in Scilit:
- CellExcite: an efficient simulation environment for excitable cellsBMC Bioinformatics, 2008
- Safety Verification of an Aircraft Landing Protocol: A Refinement ApproachPublished by Springer Science and Business Media LLC ,2007
- Computationally efficient cardiac bioelectricity models toward whole-heart simulation2018 40th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC), 2007
- A Classification Model: Syntax and Semantics for ClassificationLecture Notes in Computer Science, 2005
- A spatial logic for concurrency—IITheoretical Computer Science, 2004
- Coordinated Control of Networked Vehicles: An Autonomous Underwater SystemAutomation and Remote Control, 2004
- A spatial logic for concurrency (part I)Information and Computation, 2003
- A dynamic model of the cardiac ventricular action potential. I. Simulations of ionic currents and concentration changes.Circulation Research, 1994
- Image compression via improved quadtree decomposition algorithmsIEEE Transactions on Image Processing, 1994
- A quantitative description of membrane current and its application to conduction and excitation in nerveJournal Of Physiology-London, 1952