StonyCam: a Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes.*

E. Bartocci, F. Corradini, R. Grosu, E. Merelli, O. Riganelli and S.A. Smolka

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.

To appear in Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday, LNCS 2008.

*This work was supported by the NSF Faculty Early Career Development Award CCR01-33583 and the NSF CCF05-23863 Award.