Skip to Main content Skip to Navigation
Theses

Réseaux de réactions : de l’analyse probabiliste à la réfutation

Vincent Picard 1
1 Dyliss - Dynamics, Logics and Inference for biological Systems and Sequences
Inria Rennes – Bretagne Atlantique , IRISA-D7 - GESTION DES DONNÉES ET DE LA CONNAISSANCE
Abstract : A major goal in systems biology is to inverstigate the dynamical behavior of reaction networks. There exists two main dynamical frameworks : the first one is the deterministic dynamics where the dynamics is described using odinary differential equations, the second one is probabilistic and relies on Markov chains. In both cases, one major issue is to determine the kinetic laws of the systems together with its kinetic parameters. As a consequence the direct study of large biological reaction networks is impossible. To deal with this issue, stationnary assumptions have been used. A widely used method is flux balance analysis, where systems of constraints are derived from information on the average slopes of the system trajectories. In this thesis, we construct a probabilistic analog of this stationnary analysis. The results are divided into three parts. First, we introduce a stationnary analysis of the probabilistic dynamics which relies on a Bernoulli approximation. Second, this approximated dynamics allows us to derive systems of constraints from information about the means, variances and co-variances of the system trajectories. Third, we present several applications of these systems of constraints such as the possibility to reject reaction networks using information from experimental variances and co-variances and the formal verification of logical properties concerning the stationnary regime of the system.
Document type :
Theses
Complete list of metadatas

Cited literature [88 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01246180
Contributor : Abes Star :  Contact
Submitted on : Monday, April 18, 2016 - 10:02:38 AM
Last modification on : Friday, July 10, 2020 - 4:08:39 PM
Long-term archiving on: : Tuesday, July 19, 2016 - 11:14:21 AM

File

PICARD_Vincent.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01246180, version 2

Citation

Vincent Picard. Réseaux de réactions : de l’analyse probabiliste à la réfutation. Bio-informatique [q-bio.QM]. Université Rennes 1, 2015. Français. ⟨NNT : 2015REN1S093⟩. ⟨tel-01246180v2⟩

Share

Metrics

Record views

400

Files downloads

452