Inferring reaction systems from ordinary differential equations

DOI10.1016/j.tcs.2014.07.032zbMath1337.92089OpenAlexW2023783465MaRDI QIDQ498919

François Fages, Sylvain Soliman, Steven Gay

Publication date: 29 September 2015

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2014.07.032

zbMATH Keywords

ordinary differential equationssystems biologychemical reaction network theorySBML

Mathematics Subject Classification ID

Kinetics in biochemical problems (pharmacokinetics, enzyme kinetics, etc.) (92C45) Biochemistry, molecular biology (92C40)

Related Items (9)

Compiling elementary mathematical functions into finite chemical reaction networks via a polynomialization algorithm for ODEs ⋮ On a model of online analog computation in the cell with absolute functional robustness: algebraic characterization, function compiler and error control ⋮ On estimating derivatives of input signals in biochemistry ⋮ Core SBML and its formal semantics ⋮ Graphical requirements for multistationarity in reaction networks and their verification in BioModels ⋮ Computing difference abstractions of linear equation systems ⋮ Linking Network Structure and Dynamics to Describe the Set of Persistent Species in Reaction Diffusion Systems ⋮ Algebraic biochemistry: a framework for analog online computation in cells ⋮ Abstract simulation of reaction networks via Boolean networks

Uses Software

• SNOOPY
• BIOCHAM
• BioModels

Cites Work

• Unnamed Item
• Unnamed Item
• On the subgraph epimorphism problem
• Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
• Petri net modelling of biological regulatory networks
• Modeling and querying biomolecular interaction networks
• Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
• A new necessary condition on interaction graphs for multistationarity
• Chemical organisation theory
• A stronger necessary condition for the multistationarity of chemical reaction networks
• Abstract interpretation and types for systems biology
• Necessary Conditions for Multistationarity and Stable Periodicity
• Positive and Negative Circuits in Dynamical Systems
• From Reaction Models to Influence Graphs and Back: A Theorem

This page was built for publication: Inferring reaction systems from ordinary differential equations