StonyCam: A Formal Framework for Modeling, Analyzing and Regulating Cardiac Myocytes

Abstract. 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.

• Type: Conference
• Year: 2008
• Where: BIRTHDAY
• Authors: Ezio Bartocci, Flavio Corradini, Radu Grosu, Emanuela Merelli, Oliviero Riganelli, Scott A. Smolka
• Keywords: Applied Computing, BIRTHDAY 2008, Cardiac Electrical Disturbances, Cardiac Tissues, Formal Framework