A constraint solving approach to model reduction by tropical equilibration.
Bottom Line:
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.
View Article:
PubMed Central - PubMed
Affiliation: Inria, Domaine de Voluceau, Rocquencourt, 78150 France.
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. No MeSH data available. Related in: MedlinePlus |
Related In:
Results -
Collection
License 1 - License 2 getmorefigures.php?uid=PMC4260239&req=5
Mentions: It was discussed in [13] that there is a bijection between the set of solutions of each tropical equation and parts of the tropical curves of the polynomials defining the ordinary differential equations. A tropical curve is defined as the locus of species concentration values (x,y) where at least two monomials of the considered polynomial are equal and larger than all the others. In logarithmic scale, this locus is made of lines, half-lines, or line segments [13,18]. There is one tropical curve for each differential equation. For instance, the tropical curve defined by the polynomial −k1e0x1+k1x1x2+k−1x2 is made of three half-lines with a common origin depicted in Figure 1, namely (18)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document} $$ \log (x_{2}) = \log(e_{0}),\quad\qquad \log (x_{1}) > \log(k_{-1} / k_{1}) \\ $$ \end{document}log(x2)=log(e0),log(x1)>log(k−1/k1)Figure 1 |
View Article: PubMed Central - PubMed
Affiliation: Inria, Domaine de Voluceau, Rocquencourt, 78150 France.
No MeSH data available.