Ride the Storm: Navigating Through Unstable Periods / Katerina Rudko (Belka G...
Different approaches for the identification of perturbations in Boolean networks
1. Different approaches for the identification of
perturbations in Boolean networks and their application
to precision medicine
C´elia Biane-Fourati
IRISA, Univ. Rennes, Inria, CNRS
celia.biane-fourati@inria.fr
July 1, 2019
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 1 / 22
7. Boolean networks - definition
m1
m2 m3
m4
∧ ∨
{m1, m2, m3, m4} are Boolean variables
fm1 = m1
fm2 = m1 ∧ m3
fm3 = m1 ∨ ¬m2
fm4 = m3
0100 0000 0010 0011
0011 is a stable attractor.
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 2 / 22
8. Biological networks
Gene regulatory networks : Genes/Transcriptional regulations ; Cell
fate decision
Signalling pathways : Proteins/RNA/Metabolites/Biochemical
regulations ; Information propagation
these networks are intertwined
Model Reference
Mammalian cell cycle [Faur´e, 2006]
Cellular differentiation of Th cells [Naldi, 2010]
Cancerous transformation in bladder [Remy, 2015]
Prediction of drug synergies [Flobak, 2015]
Table: Examples of cellular processes modeled by Boolean networks
Interpretation : Phenotypes are attractors of the Boolean model.
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 3 / 22
9. Simulation versus identification
Node perturbation
A node perturbation sets a molecule mi to a constant Boolean value.
Once you have a network you can :
Compute the effects of node perturbations (simulation)
Compute sets of node perturbations from a desired effect
(identification)
Comparison of approaches computing perturbations :
Stable Motifs [Zanudo, 2015]
Caspo-control [Videla, 2017]
ActoNet [Biane, 2018]
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 4 / 22
10. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
11. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
12. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
13. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
14. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
The perturbation m1 = 1 drives the system
to the stable attractor 1111
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
15. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
16. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
17. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
18. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
19. Stable Motifs
Input : a Boolean network
Output : a set of sets of node perturbations driving any initial state
to each of the network attractors
Example
m1
m2 m3
m4
∧ ∨
Attractor Perturbations
1111 m1 = 1
0011 m1 = 0
The perturbation m1 = 0 drives the system
to the stable attractor 0011
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 5 / 22
20. Caspo-control
Input : a Boolean network + a desired I/O behavior.
Output : a set of sets of node perturbations forcing the reachability,
from the input, of an attractor verifying the output.
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 6 / 22
21. Caspo-control
Input : a Boolean network + a desired I/O behavior.
Output : a set of sets of node perturbations forcing the reachability,
from the input, of an attractor verifying the output.
Example I/O : m1 = 0/m4 = 0
m1
m2 m3
m4
∧ ∨
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 6 / 22
22. Caspo-control
Input : a Boolean network + a desired I/O behavior.
Output : a set of sets of node perturbations forcing the reachability,
from the input, of an attractor verifying the output.
Example I/O : m1 = 0/m4 = 0
m1
m2 m3
m4
∧ ∨
# Perturbations
1 m2 = 1
2 m3 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 6 / 22
23. Caspo-control
Input : a Boolean network + a desired I/O behavior.
Output : a set of sets of node perturbations forcing the reachability,
from the input, of an attractor verifying the output.
Example I/O : m1 = 0/m4 = 0
m1
m2 m3
m4
∧ ∨
# Perturbations
1 m2 = 1
2 m3 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 6 / 22
24. Caspo-control
Input : a Boolean network + a desired I/O behavior.
Output : a set of sets of node perturbations forcing the reachability,
from the input, of an attractor verifying the output.
Example I/O : m1 = 0/m4 = 0
m1
m2 m3
m4
∧ ∨
# Perturbations
1 m2 = 1
2 m3 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 6 / 22
25. Caspo-control
Input : a Boolean network + a desired I/O behavior.
Output : a set of sets of node perturbations forcing the reachability,
from the input, of an attractor verifying the output.
Example I/O : m1 = 0/m4 = 0
m1
m2 m3
m4
∧ ∨
# Perturbations
1 m2 = 1
2 m3 = 0
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 6 / 22
26. Comparison of Stable Motifs and Caspo-control approaches
Stable Motifs identifies transient node perturbations forcing the
reachability of an attractor of the global system.
Caspo-control identifies permanent node perturbations forcing the
reachability of a new attractor.
Example
m1 = 1
m1
m2 m3
m4
∧ ∨
Once the system is stabilized, the
perturbation can be relaxed.
m2 = 1
m1
m2 m3
m4
∧ ∨
If the perturbations are relaxed,
the system leaves the attractor.
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 7 / 22
27. Regulation perturbations of Boolean networks
Regulation perturbation
A regulation perturbation sets a molecule mi to a constant Boolean value
in the activation function of an other molecule mj .
Example
Set m1 to 1 in fm2
fm1 = m1
fm2 = m1∧ m3,
fm3 = m1 ∨ ¬m2
fm4 = m3
Deletion of m1 → m2, m1 → m3 conserved.
m1
m2 m3
m4
∧ ∨
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 8 / 22
28. ActoNet
Input : a Boolean network + a desired output + a modal operator
(possible ♦, impossible ¬Diamond).
Output : a set of sets of node/regulation perturbations forcing the
stability of the output.
Example ♦(m4 = 0)
m2 = 1
m1
m2 m3
m4
∧ ∨
m3 = 0
m1
m2 m3
m4
∧ ∨
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 9 / 22
29. ActoNet
Input : a Boolean network + a desired output + a modal operator
(possible ♦, impossible ¬♦).
Output : a set of sets of node/regulation perturbations forcing the
stability of the output.
Example ♦(m4 = 0)
m2 → m3 = 1
m1
m2 m3
m4
m1 → m3 = 0, m3 → m2 = 1
m1
m2 m3
m4
∧ ∨
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 10 / 22
30. Comparison of the three approaches
Stable Motifs: Control the global (from any initial state) reachability
of an attractor of the model with transient node perturbations.
Caspo-control: Control the partial (from a subset of initial states)
reachability of a new attractor including a desired output with
permanent node perturbations.
ActoNet : Control the stabilization (♦) or the de-stabilization (¬♦) of
an output with permanent node and regulation perturbations.
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 11 / 22
31. Application - Bladder cancer
Heterogeneous disease : different histological and molecular subtypes.
Precision medicine : definition of diseases at the molecular level
Problem : Propose a mechanistic definition of molecular subtypes
signatures.
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 12 / 22
32. Bladder model
From [Remy, 2015]
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 13 / 22
33. Wild-type behavior of the model
Wild-type model :
Multistability : Proliferation/growth arrest
Unique phenotype (one stable state) : Apoptosis, proliferation,
growth arrest
Oscillations : Proliferation/growth arrest
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 14 / 22
34. Different definitions of molecular signatures
In an environmental condition inducing multistability, find the
perturbations forcing the reachability of the proliferative stable attractor.
In an environmental condition inducing a unique phenotype apoptosis or
growth arrest, find the node perturbations forcing the reachability of a
proliferative stable attractor.
In an environmental condition inducing a unique phenotype apoptosis or
growth arrest, find the node perturbations forcing the possibility to reach a
proliferative stable attractor.
In an environmental condition inducing a phenotype apoptosis, find the
perturbations such that apoptosis is no longer stable.
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 15 / 22
35. Computation of signatures - Stable Motifs
In an environmental condition inducing multistability, find the
perturbations forcing the reachability of the proliferative stable attractor.
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 16 / 22
36. Preliminary analysis of results
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 17 / 22
37. On going work
Development of algorithms for the computation of node and
regulation perturbations (modal operators)
Performance comparison ASP versus ILP for the computation of
solutions in ActoNet
Application of different approaches to the Bladder cancer model
Building of a protocol for classifying computed signatures and
patients profiles based on epistasis
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 18 / 22
38. References - Boolean models
Faur´e, A., Naldi, A., Chaouiya, C. & Thieffry, D. (2006).
Dynamical analysis of a generic Boolean model for the control of the mammalian
cell cycle.
Bioinformatics
Naldi, A., Carneiro, J., Chaouiya, C., & Thieffry, D. (2010).
Diversity and plasticity of Th cell types predicted from regulatory network
modelling.
PLoS computational biology
Flobak, ˚A., Baudot, A., Remy, E., Thommesen, L., Thieffry, D., Kuiper, M., &
Lægreid, A. (2015).
Discovery of drug synergies in gastric cancer cells predicted by logical modeling.
PLoS Computational Biology
Remy, E., Rebouissou, S., Chaouiya, C., Zinovyev, A., Radvanyi, F., & Calzone, L.
(2015).
A modeling approach to explain mutually exclusive and co-occurring genetic
alterations in bladder tumorigenesis.
Cancer research
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 19 / 22
39. References - Approaches
Zanudo, J. G., & Albert, R. (2015)
Cell fate reprogramming by control of intracellular network dynamics.
PLoS Computational Biology
Videla, S., Saez-Rodriguez, J., Guziolowski, C., & Siegel, A. (2017)
Caspo: a toolbox for automated reasoning on the response of logical signaling
networks families.
Bioinformatics
Biane, C. & Delaplace, F. (2018)
Causal reasoning on Boolean control networks based on abduction: theory and
application to Cancer drug discovery.
IEEE/ACM Transactions on Computational Biology and Bioinformatics
C´elia Biane-Fourati (Inria Rennes) Identification of perturbations in BNs July 1, 2019 20 / 22