A Constraint Solving Approach to Tropical Equilibration and Model Reduction

Abstract : Model reduction is a central topic in systems biology and dynamical systems theory, for reducing the complexity of detailed models, finding important parameters, and developing multi-scale models for instance. While perturbation theory is a standard mathematical tool to analyze the different time scales of a dynamical system, and decompose the system accordingly, tropical methods provide a simple algebraic framework to perform these analyses systematically in polynomial systems. The crux of these tropicalization methods is in the computation of tropical equilibrations. In this paper we show that constraint-based methods, using reified constraints for expressing the equilibration conditions, make it possible to numerically solve non-linear tropical equilibration problems, out of reach of standard computation methods. We illustrate this approach first with the reduction of simple biochemical mechanisms such as the Michaelis-Menten and Goldbeter-Koshland models, and second, with performance figures obtained on a large scale on the model repository biomodels.net.
Type de document :
Communication dans un congrès
WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013, Sep 2013, Uppsala, Sweden. pp.27--36, 2013
Liste complète des métadonnées

Littérature citée [10 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00906419
Contributeur : Sylvain Soliman <>
Soumis le : lundi 25 novembre 2013 - 15:35:56
Dernière modification le : mardi 10 octobre 2017 - 13:41:27
Document(s) archivé(s) le : mercredi 26 février 2014 - 03:00:13

Fichier

tropical.pdf
Fichiers éditeurs autorisés sur une archive ouverte

Identifiants

  • HAL Id : hal-00906419, version 1

Collections

Citation

Sylvain Soliman, François Fages, Ovidiu Radulescu. A Constraint Solving Approach to Tropical Equilibration and Model Reduction. WCB - ninth Workshop on Constraint Based Methods for Bioinformatics, colocated with CP 2013, Sep 2013, Uppsala, Sweden. pp.27--36, 2013. 〈hal-00906419〉

Partager

Métriques

Consultations de la notice

138

Téléchargements de fichiers

100