Show simple item record
dc.rightsNamensnennung 4.0 International*
dc.titleAlgorithmic Reduction of Biochemical Reaction Networkseng
dcterms.abstractThe dynamics of species concentrations of chemical reaction networks are given by autonomous first-order ordinary differential equations. Singular perturbation methods allow the computation of approximate reduced systems that make explicit several time scales with corresponding invariant manifolds. This thesis presents: 1. An algorithmic approach for the computation of such reductions on solid analytical grounds. Required scalings are derived using tropical geometry. The existence of invariant manifolds is subject to certain hyperbolicity conditions. These conditions are reduced to Hurwitz criteria and discrete combinatorial conditions on degrees, which are technically solved using SMT over nonlinear real and linear integer arithmetic, respectively. The approach is implemented in Python and applied to a large body of known biochemical models. 2. ODEbase, a repository of biochemical models that has been created to provide real-world input data in a form that is suitable for symbolic computation software. ODEbase has been populated with semi-automatic conversions of several hundred SBML models from the BioModels database and is available to everyone at 3. A calculus for model-driven computation of disjunctive normal forms of real constraints from conjunctions of such disjunctive normal forms, which is required for the tropicalization in 1. The calculus technically once more builds on SMT solving, here over linear real arithmetic. Compared to existing software like Redlog, its implementation generally shows significant speedups, and a number of otherwise infeasible computations finish within seconds.eng
dcterms.accessRightsopen access
dcterms.creatorLüders, Christoph
dcterms.extentxvii, 103 Seiten
dc.contributor.corporatenameKassel, Universität Kassel, Fachbereich Mathematik und Naturwissenschaften, Institut für Mathematik
dc.contributor.refereeSeiler, Werner M. (Prof. Dr.)
dc.contributor.refereeSturm, Thomas (Prof. Dr.)
dc.subject.swdBiochemische Reaktionger

Files in this item


This item appears in the following Collection(s)

Show simple item record

Namensnennung 4.0 International
Except where otherwise noted, this item's license is described as Namensnennung 4.0 International