A constraint solving approach to model reduction by tropical equilibration

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 singular 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 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 detailed reduction of a simple biochemical mechanism, the Michaelis-Menten enzymatic reaction model, and second, with large-scale performance figures obtained on the http://biomodels.net repository
Type de document :
Article dans une revue
Algorithms for Molecular Biology, BioMed Central, 2014, 9 (1), pp.24. 〈http://www.almob.org/content/9/1/24〉. 〈10.1186/s13015-014-0024-2〉
Liste complète des métadonnées

https://hal.inria.fr/hal-01098530
Contributeur : Sylvain Soliman <>
Soumis le : vendredi 26 décembre 2014 - 13:30:40
Dernière modification le : mardi 17 avril 2018 - 11:28:13

Lien texte intégral

Identifiants

Collections

Citation

Sylvain Soliman, François Fages, Ovidiu Radulescu. A constraint solving approach to model reduction by tropical equilibration. Algorithms for Molecular Biology, BioMed Central, 2014, 9 (1), pp.24. 〈http://www.almob.org/content/9/1/24〉. 〈10.1186/s13015-014-0024-2〉. 〈hal-01098530〉

Partager

Métriques

Consultations de la notice

107