Hierarchical reconstructions of cardiac tissue

Abstract We consider the general problem of comparing and integrating computational models of cardiac tissue at different levels of physiological detail. We use a general theory of synchronous concurrent algorithms to model spatially extended biological systems, and expand the theory to create hierarchical models by relating observable behaviour at different levels. The general concepts and methods are illustrated by a detailed case study of electrical behaviour in cardiac tissue, in which models based on coupled systems of ordinary differential equations, partial differential equations (PDEs) and cellular automata (CAs) are compared and combined.

[1]  J. Tyson,et al.  A cellular automation model of excitable media including curvature and dispersion. , 1990, Science.

[2]  F. L. Bauer.  Logic, Algebra, and Computation , 1991, NATO ASI Series.

[3]  R. FitzHugh.  Impulses and Physiological States in Theoretical Models of Nerve Membrane. , 1961, Biophysical journal.

[4]  Y. Lai,et al.  Generation and propagation of normal and abnormal pacemaker activity in network models of cardiac sinus node and atrium , 1995 .

[5]  A V Holden,et al.  Computer simulation of re-entry sources in myocardium in two and three dimensions. , 1993, Journal of theoretical biology.

[6]  J. V. Tucker,et al.  Can excitable media be considered as computational systems , 1991 .

[7]  J. V. Tucker,et al.  Computable Functions on Stream Algebras , 1995 .

[8]  J. V. Tucker,et al.  Theory of Computation and Specification over Abstract Data Types, and its Applications , 1991 .

[9]  J. V. Tucker,et al.  Theory of Computation over Stream Algebras, and its Applications , 1992, MFCS.

[10]  J. V. Tucker,et al.  AN ALGORITHMIC MODEL OF THE MAMMALIAN HEART: PROPAGATION, VULNERABILITY, RE-ENTRY AND FIBRILLATION , 1996 .

[11]  Editors , 1986, Brain Research Bulletin.

[12]  A V Holden,et al.  Re-entrant activity and its control in a model of mammalian ventricular tissue , 1996, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[13]  James P. Keener,et al.  Propagation and its failure in coupled systems of discrete excitable cells , 1987 .

[14]  Arun V. Holden,et al.  Computational biology of the heart , 1998, The Mathematical Gazette.

[15]  J. V. Tucker,et al.  Coupled map lattices as computational systems. , 1992, Chaos.

[16]  Robin Milner,et al.  Action Structures and the Pi Calculus , 1995 .

[17]  Arun V. Holden,et al.  Mathematics: The restless heart of a spiral , 1997, Nature.

[18]  J. V. Tucker,et al.  The concurrent assignment representation of synchronous systems , 1989, Parallel Comput..

[19]  Arun V. Holden,et al.  Spatiotemporal Irregularity in a Two-Dimensional Model of Cardiac Tissue , 1991 .

[20]  Henggui Zhang,et al.  Coupling CMLs and the synchronization of a multilayer neural computing system , 1994 .

[21]  Bernhard Möller,et al.  Prospects for Hardware Foundations , 2002, Lecture Notes in Computer Science.

[22]  J. V. Tucker,et al.  Hierarchies of Spatially Extended Systems and Synchronous Concurrent Algorithms , 1998, Prospects for Hardware Foundations.

[23]  R. Aliev,et al.  A simple two-variable model of cardiac excitation , 1996 .

[24]  Arun V. Holden.  Nonlinear Science - The Impact of Biology , 1997 .

[25]  P. Hunter,et al.  Mathematical model of geometry and fibrous structure of the heart. , 1991, The American journal of physiology.

[26]  Denis Noble,et al.  Simulating cardiac sinus and atrial network dynamics on the Connection Machine , 1993 .

[27]  J. V. Tucker,et al.  Reconstructing the heart , 1994 .

[28]  A V Holden,et al.  Control of re-entrant activity in a model of mammalian atrial tissue , 1995, Proceedings of the Royal Society of London. Series B: Biological Sciences.

[29]  A. Holden.  Cardiac physiology: A last wave from the dying heart , 1998, Nature.