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.
Bartocci, E., Corradini, F., Grosu, R., Merelli, E., Riganelli, O., Smolka, S. (2008). StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes. In P. Degano, R. De Nicola, J. Meseguer (a cura di), Concurrency, Graphs and Models Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday (pp. 493-502). Springer, Berlin, Heidelberg [10.1007/978-3-540-68679-8_30].
StonyCam: A formal framework for modeling, analyzing and regulating cardiac myocytes
Riganelli, O
;
2008
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.File | Dimensione | Formato | |
---|---|---|---|
10.1007-978-3-540-68679-8_30.pdf
Solo gestori archivio
Dimensione
3.76 MB
Formato
Adobe PDF
|
3.76 MB | Adobe PDF | Visualizza/Apri Richiedi una copia |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.