Modeling and simulation of cardiac tissue using hybrid I/O automata

DOI10.1016/j.tcs.2009.02.042zbMath1173.68028OpenAlexW2052600736MaRDI QIDQ2271452

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

Publication date: 7 August 2009

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2009.02.042

zbMATH Keywords

hybrid automataformal analysiscomputational systems biologyexcitable tissue

Mathematics Subject Classification ID

Formal languages and automata (68Q45) General biology and biomathematics (92B05)

Related Items (3)

Spatio-temporal averaging for a class of hybrid systems and application to conductance-based neuron models ⋮ Hybrid Automata as Coalgebras ⋮ Quantitative verification of implantable cardiac pacemakers over hybrid heart models

Uses Software

• HyTech
• d/dt
• Charon

Cites Work

• Hybrid I/O automata.
• HyTech: A model checker for hybrid systems
• Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue
• The Theory of Timed I/O Automata, Second Edition
• A Cellular Automaton Model of Excitable Media Including Curvature and Dispersion
• Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
• Learning Cycle-Linear Hybrid Automata for Excitable Cells
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modeling and simulation of cardiac tissue using hybrid I/O automata