Modeling and simulation of cardiac tissue using hybrid I/O automata
- 21 August 2009
- journal article
- Published by Elsevier BV in Theoretical Computer Science
- Vol. 410 (33-34), 3149-3165
- https://doi.org/10.1016/j.tcs.2009.02.042
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Hybrid I/O automataInformation and Computation, 2003
- High-level modeling and analysis of TCASPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- The theory of hybrid automataPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The d/dt Tool for Verification of Hybrid SystemsLecture Notes in Computer Science, 2002
- Propagation through heterogeneous substrates in simple excitable media modelsChaos: An Interdisciplinary Journal of Nonlinear Science, 2002
- Bursting calcium rotors in cultured cardiac myocyte monolayersProceedings of the National Academy of Sciences of the United States of America, 1998
- A dynamic model of the cardiac ventricular action potential. I. Simulations of ionic currents and concentration changes.Circulation Research, 1994
- Spiral-wave dynamics in a simple model of excitable media: The transition from simple to compound rotationPhysical Review A, 1990
- A Cellular Automaton Model of Excitable Media Including Curvature and DispersionScience, 1990
- A model of cardiac electrical activity incorporating ionic pumps and concentration changesPhilosophical Transactions of the Royal Society of London. B, Biological Sciences, 1985