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

Authors:
Ezio Bartocci;Flavio Corradini;Radu Grosu;Emanuela Merelli;Oliviero Riganelli;Scott A. Smolka
Affiliations:
Dipartimento di Matematica e Informatica, Università di Camerino, Camerino, Italy I-62032 and Department of Computer Science, Stony Brook University, USA NY 11794-4400;Dipartimento di Matematica e Informatica, Università di Camerino, Camerino, Italy I-62032;Department of Computer Science, Stony Brook University, USA NY 11794-4400;Dipartimento di Matematica e Informatica, Università di Camerino, Camerino, Italy I-62032;Dipartimento di Matematica e Informatica, Università di Camerino, Camerino, Italy I-62032 and Department of Computer Science, Stony Brook University, USA NY 11794-4400;Department of Computer Science, Stony Brook University, USA NY 11794-4400
Venue:
Concurrency, Graphs and Models
Year:
2008

Citing 8
Cited 0

From Kuramoto to Crawford: exploring the onset of synchronization in populations of coupled oscillators

Physica D
Hybrid Abstractions that Preserve Timed Languages

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
A Method for Modeling Clouds Based on Atmospheric Fluid Dynamics

PG '01 Proceedings of the 9th Pacific Conference on Computer Graphics and Applications
Scalable Modeling and Performance Evaluation of Wireless Sensor Networks

RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes

HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Learning cycle-linear hybrid automata for excitable cells

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
An agent-oriented conceptual framework for systems biology

Transactions on Computational Systems Biology III
Hermes: agent-based middleware for mobile computing

SFM-Moby'05 Proceedings of the 5th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: mobile computing

Quantified Score

Hi-index	0.00

Visualization

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.