This paper presents a formal framework, experimental infrastructure, and computational environment for modeling, analyzing
and regulating the behavior of cardiac tissues. Based on the theory of hybrid automata, we aim at providing suitable tools
to be used in devising strategies for the pharmacological or other forms of treatment of cardiac electrical disturbances.
This work was supported by the Investment Funds for Basic Research (FIRB) project “LITBIO: Laboratory of Interdisciplinary
Technologies in Bioinformatics”.