TY - GEN
T1 - Inferring reaction models from ODEs
AU - Fages, François
AU - Gay, Steven
AU - Soliman, Sylvain
PY - 2012/10/30
Y1 - 2012/10/30
N2 - Many models in Systems Biology are described as Ordinary Differential Equations (ODEs), which allows for numerical integration, bifurcation analyses, parameter sensitivity analyses, etc. Before fixing the kinetics and parameter values however, various analyses can be performed on the structure of the model. This approach has rapidly developed in Systems Biology in the last decade, with for instance, the analyses of structural invariants in Petri net representation [4] model reductions by subgraph epimorphims [2], qualitative attractors in logical dynamics or temporal logic properties by analogy to circuit and program verification. These complementary analysis tools do not rely on kinetic information, but on the structure of the model with reactions.
AB - Many models in Systems Biology are described as Ordinary Differential Equations (ODEs), which allows for numerical integration, bifurcation analyses, parameter sensitivity analyses, etc. Before fixing the kinetics and parameter values however, various analyses can be performed on the structure of the model. This approach has rapidly developed in Systems Biology in the last decade, with for instance, the analyses of structural invariants in Petri net representation [4] model reductions by subgraph epimorphims [2], qualitative attractors in logical dynamics or temporal logic properties by analogy to circuit and program verification. These complementary analysis tools do not rely on kinetic information, but on the structure of the model with reactions.
U2 - 10.1007/978-3-642-33636-2_23
DO - 10.1007/978-3-642-33636-2_23
M3 - Conference contribution
AN - SCOPUS:84867842763
SN - 9783642336355
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 370
EP - 373
BT - Computational Methods in Systems Biology - 10th International Conference, CMSB 2012, Proceedings
T2 - 10th International Conference on Computational Methods in Systems Biology, CMSB 2012
Y2 - 3 October 2012 through 5 October 2012
ER -