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
Liste complète des métadonnées

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

Contributeur : Pauline Traynard <>
Soumis le : vendredi 18 décembre 2015 - 17:21:14
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : samedi 29 avril 2017 - 22:03:02


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


  • HAL Id : hal-01246595, version 1



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



Consultations de la notice


Téléchargements de fichiers