Séminaire des équipes-projets
Parametric analysis of equilibria of chemical reaction networks
- Date : 30/11/2012
- Lieu : Inria Rocquencourt, Amphi A. Turing, Bâtiment 1
- Intervenant(s) : Prof Andreas Weber, University of Bonn
- Organisateur(s) : Equipe-projet Contraintes
For large scale systems arising from chemical reaction networks, already the parametric computation of equilibria and singularities in the positive orthant is a major challenge---but also of great importance for applications by understanding properties of the reaction network. We have implemented a newly developed algorithm by Dima Grigoriev, by which we could solve equilibria for most examples from BIOMOD database and also for the examples showing ``absolute concentration robustnest'' (Shinar and Feinberg, 2010).
As the existence of Hopf bifurcations points yield oscillations we build on previous work with M. El Kahoui and T. Sturm that yield reductions to quantifier elimination over the reals (and computations using REDLOG).
In recent joint work with H. Errami, W. Seiler, M. Eiswirth we could compute larger examples fully algorithmically using reaction coordinates.
On the systems side we have recently built PoCaB -- a platform to explore bio-chemical reaction networks by algebraic methods. It does not only provide the software framework for automated computations involving different systems, but also contains a database for the algebraic entities computed from the models of chemical reaction networks.
- Horaire : 11h00
- Entrée libre