Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue

DOI10.1016/j.entcs.2007.12.005zbMath1279.68246OpenAlexW2140126073MaRDI QIDQ2870297

Radu Grosu, Scott A. Smolka, Maria Rita Di Berardini, E. Entcheva, Ezio Bartocci, Flavio Corradini

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.12.005

zbMATH Keywords

computational systems biologyexcitable cellexcitable tissuespatial networks of hybrid I/O automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Related Items (2)

StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes ⋮ Modeling and simulation of cardiac tissue using hybrid I/O automata

Uses Software

• HyTech
• d/dt
• Charon
• CellExcite

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hybrid I/O automata.
• HyTech: A model checker for hybrid systems
• A Cellular Automaton Model of Excitable Media Including Curvature and Dispersion
• Learning Cycle-Linear Hybrid Automata for Excitable Cells

This page was built for publication: Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue