research-article

A Dynamics-based Approach for the Target Control of Boolean Networks

Authors:

Jun PangAuthors Info & Claims

BCB '20: Proceedings of the 11th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics

Article No.: 50, Pages 1 - 8

https://doi.org/10.1145/3388440.3412464

Published: 10 November 2020 Publication History

Abstract

We study the target control problem of asynchronous Boolean networks, to identify a set of nodes, the perturbation of which can drive the dynamics of the network from any initial state to the desired steady state (or attractor). We are particularly interested in temporary perturbations, which are applied for sufficient time and then released to retrieve the original dynamics. Temporary perturbations have the apparent advantage of averting unforeseen consequences, which might be induced by permanent perturbations. Despite the infamous state-space explosion problem, in this work, we develop an efficient method to compute the temporary target control for a given target attractor of a Boolean network. We apply our method to a number of real-life biological networks and compare its performance with the stable motif-based control method to demonstrate its efficacy and efficiency.

References

[1]

T. Akutsu. 2018. Algorithms for Analysis, Inference, and Control of Boolean Networks. World Scientific.

[2]

A. Baudin, S. Paul, C. Su, and J. Pang. 2019. Controlling large Boolean networks with single-step perturbations. Bioinformatics 35, 14 (2019), i558--i567.

[3]

S. Collombet, C. van Oevelen, J.L.S. Ortega, W. Abou-Jaoud�, B. Di Stefano, M. Thomas-Chollier, T. Graf, and D. Thieffry. 2017. Logical modeling of lymphoid and myeloid cell specification and transdifferentiation. Proceedings of the National Academy of Sciences 114, 23 (2017), 5792--5799.

[4]

E. Czeizler, C. Gratie, W.K. Chiu, K. Kanhaiya, and I. Petre. 2016. Target controllability of linear networks. In Proc. 14th International Conference on Computational Methods in Systems Biology (LNCS, Vol. 9859). Springer, 67--81.

[5]

J. Enciso, H. Mayani, L. Mendoza, and R. Pelayo. 2016. Modeling the proinflammatory tumor microenvironment in acute lymphoblastic leukemia predicts a breakdown of hematopoietic-mesenchymal communication networks. Frontiers in Physiology 7 (2016), 349.

[6]

J. Gao, Y.Y. Liu, R.M. D'souza, and A.L. Barab�si. 2014. Target control of complex networks. Nature Communications 5 (2014), 5415.

[7]

A.J. Gates and L.M. Rocha. 2016. Control of complex networks requires both structure and dynamics. Scientific Reports 6, 1 (2016), 1--11.

[8]

M.S. Goligorsky. 2019. New trends in regenerative medicine: reprogramming and reconditioning. Journal of the American Society of Nephrology (2019), ASN-2019070722.

[9]

A. Grath and G. Dai. 2019. Direct cell reprogramming for tissue engineering and regenerative medicine. Journal of Biological Engineering 13, 1 (2019), 14.

[10]

L. Grieco, L. Calzone, I. Bernard-Pierrot, F. Radvanyi, B. Kahn-Perles, and D. Thieffry. 2013. Integrative modelling of the influence of MAPK network on cancer cell fate decision. PLOS Computational Biology 9, 10 (2013), e1003286.

[11]

F. Herrmann, A. Gro�, D. Zhou, H.A. Kestler, and M. K�hl. 2012. A Boolean model of the cardiac gene regulatory network determining first and second heart field identity. PLOS ONE 7 (10 2012), 1--10.

[12]

S. Huang. 2001. Genomics, complexity and drug discovery: insights from Boolean network models of cellular regulation. Pharmacogenomics 2, 3 (2001), 203--222.

[13]

S. Kauffman. 1969. Homeostasis and differentiation in random genetic control networks. Nature 224 (1969), 177--178.

[14]

J. Kim, S.M. Park, and K.H. Cho. 2013. Discovery of a kernel for controlling biomolecular regulatory networks. Scientific Reports 3 (2013), 2223.

[15]

J. Krumsiek, C. Marr, T. Schroeder, and F. J. Theis. 2011. Hierarchical differentiation of myeloid progenitors is encoded in the transcription factor network. PLOS ONE 6, 8 (2011), e22649.

[16]

J. Liang, H. Chen, and J. Lam. 2017. An improved criterion for controllability of Boolean control networks. IEEE Trans. Automat. Control 62, 11 (2017), 6012--6018.

[17]

Y.Y. Liu, J.J. Slotine, and A.L. Barab�si. 2011. Controllability of complex networks. Nature 473 (2011), 167--173.

[18]

A. Lomuscio, H. Qu, and F. Raimondi. 2017. MCMAS: An open-source model checker for the verification of multi-agent systems. International Journal on Software Tools for Technology Transfer 19, 1 (2017), 9--30.

Digital Library

[19]

J. Lu, J. Zhong, D.W. Ho, Y. Tang, and J. Cao. 2016. On controllability of delayed Boolean control networks. SIAM Journal on Control and Optimization 54, 2 (2016), 475--494.

[20]

H. Mandon, C. Su, S. Haar, J. Pang, and L. Paulev�. 2019. Sequential reprogramming of Boolean networks made practical. In Proc. 17th International Conference on Computational Methods in Systems Biology (LNCS, Vol. 11773). Springer, 3--19.

[21]

H. Mandon, C. Su, J. Pang, S. Paul, S. Haar, and L. Paulev�. 2019. Algorithms for the sequential reprogramming of Boolean networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics 16, 5 (2019), 1610--1619.

Digital Library

[22]

A. Mizera, J. Pang, H. Qu, and Q. Yuan. 2019. Taming asynchrony for attractor detection in large Boolean networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics 16, 1 (2019), 31--42.

Digital Library

[23]

A. Mizera, J. Pang, C. Su, and Q. Yuan. 2018. ASSA-PBN: A toolbox for probabilistic Boolean networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics 15, 4 (2018), 1203--1216.

Digital Library

[24]

A. Mizera, J. Pang, and Q. Yuan. 2015. ASSA-PBN: a tool for approximate steady-state analysis of large probabilistic Boolean networks. In Proc. 13th International Symposium on Automated Technology for Verification and Analysis (LNCS, Vol. 9364). Springer, 214--220.

[25]

A. Mochizuki, B. Fiedler, G. Kurosawa, and D. Saito. 2013. Dynamics and control at feedback vertex sets. II: A faithful monitor to determine the diversity of molecular activities in regulatory networks. Journal of Theoretical Biology 335 (2013), 130--146.

[26]

M. Moradi, S. Goliaei, and M.H. Foroughmand-Araabi. 2019. A Boolean network control algorithm guided by forward dynamic programming. PLOS ONE 14, 5 (2019), e0215449.

[27]

F.J. M�ller and A. Schuppert. 2011. Few inputs can reprogram biological networks. Nature 478, 7369 (2011), E4.

[28]

A. Naldi, J. Carneiro, C. Chaouiya, and D. Thieffry. 2010. Diversity and plasticity of Th cell types predicted from regulatory network modelling. PLOS Computational Biology 6, 9 (2010), e1000912.

[29]

B. Offermann, S. Knauer, A. Singh, M. L. Fern�ndez-Cach�n, M. Klose, S. Kowar, H. Busch, and M. Boerries. 2016. Boolean modeling reveals the necessity of transcriptional regulation for bistability in PC12 cell differentiation. Frontiers in Genetics 7 (2016), 44.

[30]

O.J. Oyeyemi, O. Davies, D.L. Robertson, and J.M. Schwartz. 2014. A logical model of HIV-1 interactions with the T-cell activation signalling pathway. Bioinformatics 31, 7 (2014), 1075--1083.

[31]

S. Paul, C. Su, J. Pang, and A. Mizera. 2018. A decomposition-based approach towards the control of Boolean networks. In Proc. 9th ACM Conference on Bioinformatics, Computational Biology, and Health Informatics. ACM Press, 11--20.

[32]

S. Paul, C. Su, J. Pang, and A. Mizera. 2019. An efficient approach towards the source-target control of Boolean networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics (2019). accepted.

[33]

E. Remy, S. Rebouissou, C. Chaouiya, A. Zinovyev, F. Radvanyi, and L. Calzone. 2015. A modeling approach to explain mutually exclusive and co-occurring genetic alterations in bladder tumorigenesis. Cancer Research 75, 19 (2015), 4042--4052.

[34]

�. Sahin, Ho. Fr�hlich, C. L�bke, U. Korf, S. Burmester, M. Majety, J. Mattern, I. Schupp, C. Chaouiya, D. Thieffry, et al. 2009. Modeling ERBB receptor-regulated G1/S transition to find novel targets for de novo trastuzumab resistance. BMC Systems Biology 3, 1 (2009), 1.

[35]

A. Singh, J. M. Nascimento, S. Kowar, H. Busch, and M. Boerries. 2012. Boolean approach to signalling pathway modelling in HGF-induced keratinocyte migration. Bioinformatics 28, 18 (2012), 495--501.

Digital Library

[36]

A. del Sol and N.J. Buckley. 2014. Concise review: A population shift view of cellular reprogramming. Stem Cells 32, 6 (2014), 1367--1372.

[37]

F. Somenzi. 2015. CUDD: CU Decision Diagram Package - Release 2.5.1. http://vlsi.colorado.edu/~fabio/CUDD/.

[38]

D. Srivastava and N. DeWitt. 2016. In vivo cellular reprogramming: the next generation. Cell 166, 6 (2016), 1386--1396.

[39]

C. Su, S. Paul, and J. Pang. 2019. Controlling large Boolean networks with temporary and permanent perturbations. In Proc. 23rd International Symposium on Formal Methods (LNCS, Vol. 11800). Springer-Verlag, 707--724.

[40]

L. Tournier and M. Chaves. 2009. Uncovering operational interactions in genetic networks using asynchronous Boolean dynamics. Journal of theoretical biology 260, 2 (2009), 196--209.

[41]

L.Z. Wang, R. Q. Su, Z. G. Huang, X. Wang, W. X. Wang, C. Grebogi, and Y. C. Lai. 2016. A geometrical approach to control and controllability of nonlinear dynamical networks. Nature Communications 7, 1 (2016), 1--11.

[42]

Y. Wu, X.M. Sun, X. Zhao, and T. Shen. 2019. Optimal control of Boolean control networks with average cost: A policy iteration approach. Automatica 100 (2019), 378--387.

[43]

S. Yamanaka. 2007. Strategies and new developments in the generation of patient-specific pluripotent stem cells. Cell Stem Cell 1, 1 (2007), 39--49.

[44]

J. Yue, Y. Yan, Z. Chen, and X.Jin. 2019. Identification of predictors of Boolean networks from observed attractor states. Mathematical Methods in the Applied Sciences 42, 11 (2019), 3848--3864.

[45]

J.G.T. Za�udo and R. Albert. 2015. Cell fate reprogramming by control of intracellular network dynamics. PLOS Computational Biology 11, 4 (2015), e1004193.

[46]

J.G.T. Zañudo, G. Yang, and R. Albert. 2017. Structure-based control of complex networks with nonlinear dynamics. Proceedings of the National Academy of Sciences 114, 28 (2017), 7234--7239.

[47]

Y. Zhao, J. Kim, and M. Filippone. 2013. Aggregation algorithm towards large-scale Boolean network analysis. IEEE Trans. Automat. Control 58, 8 (2013), 1976--1985.

[48]

J. Zhong, Y. Liu, K.I. Kou, L. Sun, and J. Cao. 2019. On the ensemble controllability of Boolean control networks using STP method. Appl. Math. Comput. 358 (2019), 51--62.

Digital Library

Cited By

Hsiao YDutta A(2023)Nonlinear control designs and their application to cancer differentiation therapyMathematical Biosciences10.1016/j.mbs.2023.109105366(109105)Online publication date: Dec-2023
https://doi.org/10.1016/j.mbs.2023.109105
Beneš NBrim LPastva SŠafránek DŠmijáková E(2023)Phenotype Control of Partially Specified Boolean NetworksComputational Methods in Systems Biology10.1007/978-3-031-42697-1_2(18-35)Online publication date: 9-Sep-2023
https://doi.org/10.1007/978-3-031-42697-1_2
Zeyen OPang J(2022)Target Control of Boolean Networks with Permanent Edgetic Perturbations2022 IEEE 61st Conference on Decision and Control (CDC)10.1109/CDC51059.2022.9992790(4236-4243)Online publication date: 6-Dec-2022
https://doi.org/10.1109/CDC51059.2022.9992790
Show More Cited By

A Dynamics-based Approach for the Target Control of Boolean Networks
1. Applied computing
  1. Life and medical sciences

Recommendations

A Decomposition-based Approach towards the Control of Boolean Networks
BCB '18: Proceedings of the 2018 ACM International Conference on Bioinformatics, Computational Biology, and Health Informatics

We study the problem of computing a minimal subset of nodes of a given asynchronous Boolean network that need to be controlled to drive its dynamics from an initial steady state (or attractor) to a target steady state. Due to the phenomenon of state-...
Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean Networks
Formal Methods
Abstract
We present a new version of the software, Cabean, integrating six source-target control methods and three target control methods for the reprogramming of asynchronous Boolean networks. The source-target control methods compute the minimal one-step ...
AEON: Attractor Bifurcation Analysis of Parametrised Boolean Networks
Computer Aided Verification
Abstract
Boolean networks (BNs) provide an effective modelling tool for various phenomena from science and engineering. Any long-term behaviour of a BN eventually converges to a so-called attractor. Depending on various logical parameters, the structure ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

BCB '20: Proceedings of the 11th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics

September 2020

193 pages

ISBN:9781450379649

DOI:10.1145/3388440

Copyright � 2020 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Sponsors

SIGBio: ACM Special Interest Group on Bioinformatics

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 10 November 2020

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

Universit� du Luxembourg
ANR-FNR

Conference

BCB '20

Sponsor:

SIGBio

BCB '20: 11th ACM International Conference on Bioinformatics, Computational Biology and Health Informatics

September 21 - 24, 2020

Virtual Event, USA

Acceptance Rates

Overall Acceptance Rate 254 of 885 submissions, 29%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
115
Total Downloads

Downloads (Last 12 months)14
Downloads (Last 6 weeks)1

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

Hsiao YDutta A(2023)Nonlinear control designs and their application to cancer differentiation therapyMathematical Biosciences10.1016/j.mbs.2023.109105366(109105)Online publication date: Dec-2023
https://doi.org/10.1016/j.mbs.2023.109105
Beneš NBrim LPastva SŠafránek DŠmijáková E(2023)Phenotype Control of Partially Specified Boolean NetworksComputational Methods in Systems Biology10.1007/978-3-031-42697-1_2(18-35)Online publication date: 9-Sep-2023
https://doi.org/10.1007/978-3-031-42697-1_2
Zeyen OPang J(2022)Target Control of Boolean Networks with Permanent Edgetic Perturbations2022 IEEE 61st Conference on Decision and Control (CDC)10.1109/CDC51059.2022.9992790(4236-4243)Online publication date: 6-Dec-2022
https://doi.org/10.1109/CDC51059.2022.9992790
Brim LPastva SŠafránek DŠmijáková E(2021)Parallel One-Step Control of Parametrised Boolean NetworksMathematics10.3390/math90505609:5(560)Online publication date: 6-Mar-2021
https://doi.org/10.3390/math9050560
Su CPang J(2021)Target Control of Asynchronous Boolean NetworksIEEE/ACM Transactions on Computational Biology and Bioinformatics10.1109/TCBB.2021.3133608(1-1)Online publication date: 2021
https://doi.org/10.1109/TCBB.2021.3133608
Su CPang J(2021)Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean NetworksFormal Methods10.1007/978-3-030-90870-6_31(581-598)Online publication date: 10-Nov-2021
https://doi.org/10.1007/978-3-030-90870-6_31
Giang Van THiraishi K(2020)On Attractor Detection and Optimal Control of Deterministic Generalized Asynchronous Random Boolean NetworksIEEE/ACM Transactions on Computational Biology and Bioinformatics10.1109/TCBB.2020.3043785(1-1)Online publication date: 2020
https://doi.org/10.1109/TCBB.2020.3043785

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Table of Contents