Logical modeling of the mammalian cell cycle

Abstract : Proper understanding of the behavior of complex biological regulatory networks requires the integration of heterogeneous data into predictive mathematical models. Logical modeling focuses on qualitative data and offers a flexible framework to delineate the main dynamical properties of such networks. However, formal analysis faces a combinatorial explosion as the number of regulatory components and interactions increases. Here, we show how model-checking techniques can be used to verify sophisticated dynamical properties resulting from model regulatory structure. We demonstrate the power of this approach through the updating of a model of the molecular network controlling mammalian cell cycle. We use model-checking to progressively refine this model in order to fit recent experimental observations. The resulting model accounts for the sequential activation of cyclins, the role of Skp2, and emphasizes a multifunctional role for the cell cycle inhibitor Rb.
Type de document :
Pré-publication, Document de travail
2015
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01246595
Contributeur : Pauline Traynard <>
Soumis le : vendredi 18 décembre 2015 - 17:21:14
Dernière modification le : mardi 17 avril 2018 - 11:34:05
Document(s) archivé(s) le : samedi 29 avril 2017 - 22:03:02

Fichier

Traynard_logicalcellcycle_oct2...
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01246595, version 1

Collections

Citation

Pauline Traynard, Adrien Fauré, François Fages, Denis Thieffry. Logical modeling of the mammalian cell cycle. 2015. 〈hal-01246595〉

Partager

Métriques

Consultations de la notice

230

Téléchargements de fichiers

158