Symbolic proof of bistability in reaction networks

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Standard

Symbolic proof of bistability in reaction networks. / Torres Bustos, Angelica Marcela; Feliu, Elisenda.

I: S I A M Journal on Applied Dynamical Systems, Bind 20, Nr. 1, 05.01.2021, s. 1-37.

Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

Harvard

Torres Bustos, AM & Feliu, E 2021, 'Symbolic proof of bistability in reaction networks', S I A M Journal on Applied Dynamical Systems, bind 20, nr. 1, s. 1-37. https://doi.org/10.1137/20M1326672

APA

Torres Bustos, A. M., & Feliu, E. (2021). Symbolic proof of bistability in reaction networks. S I A M Journal on Applied Dynamical Systems, 20(1), 1-37. https://doi.org/10.1137/20M1326672

Vancouver

Torres Bustos AM, Feliu E. Symbolic proof of bistability in reaction networks. S I A M Journal on Applied Dynamical Systems. 2021 jan. 5;20(1):1-37. https://doi.org/10.1137/20M1326672

Author

Torres Bustos, Angelica Marcela ; Feliu, Elisenda. / Symbolic proof of bistability in reaction networks. I: S I A M Journal on Applied Dynamical Systems. 2021 ; Bind 20, Nr. 1. s. 1-37.

Bibtex

@article{cdd14cfbd7e7402f8740cb3442e405d0,
title = "Symbolic proof of bistability in reaction networks",
abstract = "Deciding whether and where a system of parametrized ordinary differential equations displays bistability, that is, has at least two asymptotically stable steady states for some choice of parameters, is a hard problem. For systems modeling biochemical reaction networks, we introduce a procedure to determine, exclusively via symbolic computations, the stability of the steady states for unspecified parameter values. In particular, our approach fully determines the stability type of all steady states of a broad class of networks. To this end, we combine the Hurwitz criterion, reduction of the steady state equations to one univariate equation, and structural reductions of the reaction network. Using our method, we prove that bistability occurs in open regions in parameter space for many relevant motifs in cell signaling.Read More: https://epubs.siam.org/doi/10.1137/20M1326672",
author = "{Torres Bustos}, {Angelica Marcela} and Elisenda Feliu",
year = "2021",
month = jan,
day = "5",
doi = "10.1137/20M1326672",
language = "Dansk",
volume = "20",
pages = "1--37",
journal = "SIAM Journal on Applied Dynamical Systems",
issn = "1536-0040",
publisher = "Society for Industrial and Applied Mathematics",
number = "1",

}

RIS

TY - JOUR

T1 - Symbolic proof of bistability in reaction networks

AU - Torres Bustos, Angelica Marcela

AU - Feliu, Elisenda

PY - 2021/1/5

Y1 - 2021/1/5

N2 - Deciding whether and where a system of parametrized ordinary differential equations displays bistability, that is, has at least two asymptotically stable steady states for some choice of parameters, is a hard problem. For systems modeling biochemical reaction networks, we introduce a procedure to determine, exclusively via symbolic computations, the stability of the steady states for unspecified parameter values. In particular, our approach fully determines the stability type of all steady states of a broad class of networks. To this end, we combine the Hurwitz criterion, reduction of the steady state equations to one univariate equation, and structural reductions of the reaction network. Using our method, we prove that bistability occurs in open regions in parameter space for many relevant motifs in cell signaling.Read More: https://epubs.siam.org/doi/10.1137/20M1326672

AB - Deciding whether and where a system of parametrized ordinary differential equations displays bistability, that is, has at least two asymptotically stable steady states for some choice of parameters, is a hard problem. For systems modeling biochemical reaction networks, we introduce a procedure to determine, exclusively via symbolic computations, the stability of the steady states for unspecified parameter values. In particular, our approach fully determines the stability type of all steady states of a broad class of networks. To this end, we combine the Hurwitz criterion, reduction of the steady state equations to one univariate equation, and structural reductions of the reaction network. Using our method, we prove that bistability occurs in open regions in parameter space for many relevant motifs in cell signaling.Read More: https://epubs.siam.org/doi/10.1137/20M1326672

U2 - 10.1137/20M1326672

DO - 10.1137/20M1326672

M3 - Tidsskriftartikel

VL - 20

SP - 1

EP - 37

JO - SIAM Journal on Applied Dynamical Systems

JF - SIAM Journal on Applied Dynamical Systems

SN - 1536-0040

IS - 1

ER -

ID: 256319347