A Case Study on the Parametric Occurrence of Multiple Steady States

Russell Bradford 1 James Davenport 1 Matthew England 2 Hassan Errami 3 Vladimir Gerdt 4 Dima Grigoriev 5 Charles Hoyt 6 Marek Košta 7 Ovidiu Radulescu 8 Thomas Sturm 9, 7 Andreas Weber 3
1 Department of Computer Science [Bath]
2 Coventry University (UK)
3 Institut für Informatik II [Bonn]
4 JINR - Joint Institute for Nuclear Research
5 LPP - Laboratoire Paul Painlevé - UMR 8524
6 B-IT - Bonn-Aachen International Center for Information Technology
7 VERIDIS - Modeling and Verification of Distributed Algorithms and Systems
Inria Nancy - Grand Est, LORIA - FM - Department of Formal Methods
8 DIMNP - Dynamique des interactions membranaires normales et pathologiques
9 MPII - Max-Planck-Institut für Informatik
Abstract : We consider the problem of determining multiple steady states for positive real values in models of biological networks. Investigating the potential for these in models of the mitogen-activated protein kinases (MAPK) network has consumed considerable effort using special insights into the structure of corresponding models. Here we apply combinations of symbolic computation methods for mixed equality/inequality systems, specifically virtual substitution, lazy real triangularization and cylindrical algebraic decomposition. We determine multistationarity of an 11-dimensional MAPK network when numeric values are known for all but potentially one parameter. More precisely, our considered model has 11 equations in 11 variables and 19 parameters, 3 of which are of interest for symbolic treatment, and furthermore positivity conditions on all variables and parameters.
Keywords : • Applied computing → Biological networks • Computing CCS CONCEPTS algorithms methodologies → Equation and inequality solving
Type de document :
Communication dans un congrès
ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ACM, pp.45-52, 〈10.1145/3087604.3087622〉
Liste complète des métadonnées

Littérature citée [27 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01648694
Contributeur : Thomas Sturm <>
Soumis le : mercredi 29 novembre 2017 - 19:48:25
Dernière modification le : jeudi 20 septembre 2018 - 07:54:02

Lien texte intégral

arxiv

Identifiants

Collections

INRIA | LORIA-FM | LORIA | UNIV-LORRAINE | INRIA2017 | BS | UNIV-MONTPELLIER

Citation

Russell Bradford, James Davenport, Matthew England, Hassan Errami, Vladimir Gerdt, et al.. A Case Study on the Parametric Occurrence of Multiple Steady States. ISSAC 2017 - International Symposium on Symbolic and Algebraic Computation, Jul 2017, Kaiserslautern, Germany. ACM, pp.45-52, 〈10.1145/3087604.3087622〉. 〈hal-01648694〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

228

Contact


archive-ouverte@inria.fr