Thèse de Guillaume Madelaine

Simplifications exactes et structurelles de réseaux de réactions biologiques

La biologie des systèmes cherche à comprendre et analyser des systèmes biologiques à l'aide de modèles mathématiques et informatiques. L'explosion des données expérimentales entraîne des modèles de plus en plus grands. Afin de pouvoir les analyser facilement ou les simuler rapidement, il est alors nécessaire de pouvoir les simplifier. Dans cette thèse, nous proposons des méthodes de simplifications de réseaux de réactions biochimiques. Ces méthodes sont suffisamment riches pour pouvoir simplifier un grand nombre de réseaux provenant d'applications biologiques. Elles sont contextuelles, permettant de considérer un réseau comme un sous-module d'un modèle plus grand, et de le simplifier sans modifier le comportement du modèle global. Enfin, nos simplifications sont correctes, c'est-à-dire qu'elles préservent la sémantique des réseaux. Dans un premier temps, nous nous intéressons à une sémantique non déterministe, basée sur la possibilité de converger vers les attracteurs du réseau. Nous étudions ensuite des simplifications pour la sémantique déterministe, permettant par exemple de supprimer des espèces intermédiaires à l'équilibre. Enfin, nous nous intéressons à la confluence d'une telle simplification, ainsi qu'au lien entre l'élimination des espèces intermédiaires et le calcul des modes élémentaires d'un réseau.

Jury

- Directeurs de thèse : LHOUSSAINE Cédric, NIEHREN Joachim - Rapporteurs : FAGES François, HAAR Stefan - Examinateurs : ROPERS Delphine, TOUZET Hélène

Thèse de l'équipe BioComputing soutenue le 28/02/2017