Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph

Hugues Mandon 1, 2 Stefan Haar 2 Loïc Paulevé 1
2 MEXICO - Modeling and Exploitation of Interaction and Concurrency
LSV - Laboratoire Spécification et Vérification [Cachan], ENS Cachan - École normale supérieure - Cachan, Inria Saclay - Ile de France, CNRS - Centre National de la Recherche Scientifique : UMR8643
Abstract : In this paper, we address the formal characterization of targets triggering cellular trans-differentiation in the scope of Boolean networks with asynchronous dynamics. Given two fixed points of a Boolean network, we are interested in all the combinations of mutations which allow to switch from one fixed point to the other, either possibly, or inevitably. In the case of existential reachability, we prove that the set of nodes to (permanently) flip are only and necessarily in certain connected components of the interaction graph. In the case of inevitable reachabil-ity, we provide an algorithm to identify a subset of possible solutions.
Liste complète des métadonnées

Cited literature [16 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-01354079
Contributor : Loïc Paulevé <>
Submitted on : Wednesday, August 17, 2016 - 11:10:22 AM
Last modification on : Thursday, April 5, 2018 - 12:30:09 PM
Document(s) archivé(s) le : Friday, November 18, 2016 - 11:58:40 AM

File

HSB16_preprint.pdf
Files produced by the author(s)

Identifiers

Citation

Hugues Mandon, Stefan Haar, Loïc Paulevé. Relationship between the Reprogramming Determinants of Boolean Networks and their Interaction Graph. Fifth International Workshop on Hybrid Systems Biology (HSB 2016), Oct 2016, Grenoble, France. pp.113-127, ⟨10.1007/978-3-319-47151-8_8⟩. ⟨hal-01354079⟩

Share

Metrics

Record views

562

Files downloads

141