Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints - Archive ouverte HAL
Conference Papers Year : 2019

Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints

Abstract

Algorithms based on abstract interpretation were proposed recently for predicting changes of reaction networks with partial kinetic information. Their prediction precision, however, depends heavily on which heuristics are applied in order to add linear consequences of the steady state equations of the metabolic network. In this paper we ask the question whether such heuristics can be avoided while obtaining the highest possible precision. This leads us to the first algorithm for computing the difference abstractions of a linear equation system exactly without any approximation. This algorithm relies on the usage of elementary flux modes in a nontrivial manner, first-order definitions of the abstractions, and finite domain constraint solving. A journal version at TCS'2021 is available at: https://hal.inria.fr/hal-03156136
Fichier principal
Vignette du fichier
submit_version.pdf (508.62 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

hal-02302463 , version 1 (01-10-2019)

Licence

Copyright

Identifiers

Cite

Emilie Allart, Cristian Versari, Joachim Niehren. Computing Difference Abstractions of Metabolic Networks Under Kinetic Constraints. CMSB 2019 - 17th International Conference on Computational Methods in Systems Biology, Luca Bortolussi; Guido Sanguinetti, Sep 2019, Trieste, Italy. pp.266-285, ⟨10.1007/978-3-030-31304-3_14⟩. ⟨hal-02302463⟩
128 View
156 Download

Altmetric

Share

More