Modèles qualitatifs de réseaux génétiques : réduction de modèles et introduction d'un temps continu

Résumé : Les méthodes formelles informatiques constituent un outil très puissant pour la modélisation des réseaux génétiques et en particulier pour l'étude de leur dynamique. La modélisation discrète de René Thomas permet à la fois de représenter judicieusement les connaissances biologiques et d'utiliser les méthodes formelles. Cependant, ces modèles présentent deux limitations principales : la combinatoire sous-jacente ne permet pas de traiter des réseaux de très grande taille et les aspects chronométriques ne sont pas pris en compte. Cette thèse offre deux contributions respectivement liées à ces questions. La modélisation des réseaux génétiques commence par la sélection des entités les plus pertinentes pour la question abordée. Les réseaux obtenus restent souvent trop grands et nous cherchons donc à les réduire sans altérer les propriétés dynamiques importantes. Ici, nous définissons un cadre entièrement formel inspiré d'une technique d'Aurélien Naldi pour la suppression de variables et de seuils. Ces réductions conservent les comportements asymptotiques et permettent de prouver formellement l'équivalence asymptotique de différents modèles publiés d'un même réseau. Pour prendre en compte les informations chronométriques cruciales dans certains systèmes (e.g. cycle circadien), nous définissons un formalisme hybride fondé sur le formalisme de Thomas où les niveaux d'expression sont discrets, mais le temps continu. Ce cadre permet de construire un modèle abstrait de l'horloge circadienne des mammifères qui explique avec très peu de variables les propriétés de robustesse face à des changements de durées des alternances jour/nuit.
Type de document :
Thèse
Autre [cs.OH]. Université Côte d'Azur, 2017. Français. 〈NNT : 2017AZUR4085〉
Liste complète des métadonnées

Littérature citée [79 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-01682212
Contributeur : Abes Star <>
Soumis le : vendredi 12 janvier 2018 - 10:16:32
Dernière modification le : lundi 5 novembre 2018 - 15:48:02
Document(s) archivé(s) le : lundi 7 mai 2018 - 22:02:57

Fichier

2017AZUR4085.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01682212, version 1

Collections

Citation

Emilien Cornillon. Modèles qualitatifs de réseaux génétiques : réduction de modèles et introduction d'un temps continu. Autre [cs.OH]. Université Côte d'Azur, 2017. Français. 〈NNT : 2017AZUR4085〉. 〈tel-01682212〉

Partager

Métriques

Consultations de la notice

396

Téléchargements de fichiers

94