From cardiac cells to genetic regulatory networks

Radu Grosu; Gregory Batt; Flavio H. Fenton; James Glimm; Colas Le Guernic; Scott A. Smolka; Ezio Bartocci

doi:10.1007/978-3-642-22110-1_31

From cardiac cells to genetic regulatory networks

Radu Grosu
, Gregory Batt
, Flavio H. Fenton
, James Glimm
, Colas Le Guernic
, Scott A. Smolka
, Ezio Bartocci

Stony Brook University
Institut national de recherche en informatique et en automatique
Cornell University
New York University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

86 Scopus citations

Abstract

A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to this question, we develop a multiaffine hybrid automaton (MHA) cardiac-cell model, and restate the original question as one of identification of the parameter ranges under which the MHA model accurately reproduces the disorder. The MHA model is obtained from the minimal cardiac model of one of the authors (Fenton) by first bringing it into the form of a canonical, genetic regulatory network, and then linearizing its sigmoidal switches, in an optimal way. By leveraging the Rovergene tool for genetic regulatory networks, we are then able to successfully identify the parameter ranges of interest.

Original language	English
Title of host publication	Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings
Publisher	Springer Verlag
Pages	396-411
Number of pages	16
ISBN (Print)	9783642221095
DOIs	https://doi.org/10.1007/978-3-642-22110-1_31
State	Published - 2011

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6806 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Access to Document

10.1007/978-3-642-22110-1_31

Cite this

Grosu, R., Batt, G., Fenton, F. H., Glimm, J., Le Guernic, C., Smolka, S. A., & Bartocci, E. (2011). From cardiac cells to genetic regulatory networks. In Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings (pp. 396-411). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6806 LNCS). Springer Verlag. https://doi.org/10.1007/978-3-642-22110-1_31

@inproceedings{612f0cd2a4114e00b1957a34aa1d97a3,

title = "From cardiac cells to genetic regulatory networks",

abstract = "A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to this question, we develop a multiaffine hybrid automaton (MHA) cardiac-cell model, and restate the original question as one of identification of the parameter ranges under which the MHA model accurately reproduces the disorder. The MHA model is obtained from the minimal cardiac model of one of the authors (Fenton) by first bringing it into the form of a canonical, genetic regulatory network, and then linearizing its sigmoidal switches, in an optimal way. By leveraging the Rovergene tool for genetic regulatory networks, we are then able to successfully identify the parameter ranges of interest.",

author = "Radu Grosu and Gregory Batt and Fenton, \{Flavio H.\} and James Glimm and \{Le Guernic\}, Colas and Smolka, \{Scott A.\} and Ezio Bartocci",

year = "2011",

doi = "10.1007/978-3-642-22110-1\_31",

language = "English",

isbn = "9783642221095",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "396--411",

booktitle = "Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings",

}

Grosu, R, Batt, G, Fenton, FH, Glimm, J, Le Guernic, C, Smolka, SA & Bartocci, E 2011, From cardiac cells to genetic regulatory networks. in Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6806 LNCS, Springer Verlag, pp. 396-411. https://doi.org/10.1007/978-3-642-22110-1_31

From cardiac cells to genetic regulatory networks. / Grosu, Radu; Batt, Gregory; Fenton, Flavio H. et al.
Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings. Springer Verlag, 2011. p. 396-411 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6806 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - From cardiac cells to genetic regulatory networks

AU - Grosu, Radu

AU - Batt, Gregory

AU - Fenton, Flavio H.

AU - Glimm, James

AU - Le Guernic, Colas

AU - Smolka, Scott A.

AU - Bartocci, Ezio

PY - 2011

Y1 - 2011

N2 - A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to this question, we develop a multiaffine hybrid automaton (MHA) cardiac-cell model, and restate the original question as one of identification of the parameter ranges under which the MHA model accurately reproduces the disorder. The MHA model is obtained from the minimal cardiac model of one of the authors (Fenton) by first bringing it into the form of a canonical, genetic regulatory network, and then linearizing its sigmoidal switches, in an optimal way. By leveraging the Rovergene tool for genetic regulatory networks, we are then able to successfully identify the parameter ranges of interest.

AB - A fundamental question in the treatment of cardiac disorders, such as tachycardia and fibrillation, is under what circumstances does such a disorder arise? To answer to this question, we develop a multiaffine hybrid automaton (MHA) cardiac-cell model, and restate the original question as one of identification of the parameter ranges under which the MHA model accurately reproduces the disorder. The MHA model is obtained from the minimal cardiac model of one of the authors (Fenton) by first bringing it into the form of a canonical, genetic regulatory network, and then linearizing its sigmoidal switches, in an optimal way. By leveraging the Rovergene tool for genetic regulatory networks, we are then able to successfully identify the parameter ranges of interest.

UR - https://www.scopus.com/pages/publications/79960377148

U2 - 10.1007/978-3-642-22110-1_31

DO - 10.1007/978-3-642-22110-1_31

M3 - Conference contribution

AN - SCOPUS:79960377148

SN - 9783642221095

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 396

EP - 411

BT - Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings

PB - Springer Verlag

ER -

Grosu R, Batt G, Fenton FH, Glimm J, Le Guernic C, Smolka SA et al. From cardiac cells to genetic regulatory networks. In Computer Aided Verification - 23rd International Conference, CAV 2011, Proceedings. Springer Verlag. 2011. p. 396-411. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-22110-1_31

From cardiac cells to genetic regulatory networks

Abstract

Publication series

Access to Document

Other files and links

Fingerprint

Cite this