Design of control strategies for gene regulatory networks is a challenging and important topic in systems biology. In this paper, the problem of finding both a minimum set of control nodes (control inputs) and a controller is studied. A control node corresponds to a gene that expression can be controlled. Here, a Boolean network is used as a model of gene regulatory networks, and control specifications on attractors, which represent cell types or states of cells, are imposed. It is important to design a gene regulatory network that has desired attractors and has no undesired attractors. Using a matrix-based representation of BNs, this problem can be rewritten as an integer linear programming problem. Finally, the proposed method is demonstrated by a numerical example on a WNT5A network, which is related to melanoma.
KeywordsBoolean NetworksInteger Linear ProgrammingMinimum Set of Control NodesSingleton Attractors
Santos-Rosa H. and Caldas, C. (2005) Chromatin Modifier Enzymes, the Histone Code and Cancer. European Journal of Cancer, 41, 2381-2402. http://dx.doi.org/10.1016/j.ejca.2005.08.010
Kauffman, S.A. (1969) Metabolic Stability and Epigenesis in Randomly Constructed Genetic Nets. Journal of Theoretical Biology, 22, 437-467. http://dx.doi.org/10.1016/0022-5193(69)90015-0
Jong, H.D. (2002) Modeling and Simulation of Genetic Regulatory Systems: A Literature Review. Journal of Computational Biology, 9, 67-103. http://dx.doi.org/10.1089/10665270252833208
Akutsu, T., Hayashida, M., Ching, W.-K. and Ng, M.K. (2007) Control of Boolean Networks: Hardness Results and Algorithms for Tree Structured Networks. Journal of Theoretical Biology, 244, 670-679. http://dx.doi.org/10.1016/j.jtbi.2006.09.023
Azuma, S., Yoshida, T. and Sugie, T. (2014) Structural Monostability of Activation-Inhibition Boolean Networks. Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, 15-17 December 2014, 1521-1526. http://dx.doi.org/10.1109/CDC.2014.7039615
Chaves, M. (2009) Methods for Qualitative Analysis of Genetic Networks. Proceedings of the European Control Conference, Budapest, 23-26 August 2009, 671-676.
Cheng, D. and Qi, H. (2009) Controllability and Observability of Boolean Control Network. Automatica, 45, 1659-1667. http://dx.doi.org/10.1016/j.automatica.2009.03.006
Kobayashi, K., Imura, J. and Hiraishi, K. (2010) Polynomial-Time Algorithm for Controllability Test of a Class of Boolean Biological Networks. EURASIP Journal on Bioinformatics and Systems Biology, 2010, Article ID: 210685.
Kobayashi, K. and Hiraishi, K. (2013) Optimal Control of Gene Regulatory Networks with Effectiveness of Multiple Drugs: A Boolean Network Approach. BioMed Research International, 2013, Article ID: 246761.
Kobayashi, K. and Hiraishi, K. (2014) ILP/SMT-Based Method for Design of Boolean Networks Based on Singleton Attractors. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 11, 1253-1259.
Langmead, C.J. and Jha, S.K. (2009) Symbolic Approaches to Finding Control Strategies in Boolean Networks. Journal of Bioinformatics and Computational Biology, 7, 323-338. http://dx.doi.org/10.1142/S0219720009004084
Laschov, D. and Margaliot, M. (2009) Controllability of Boolean Control Networks via the Perron-Frobenius Theory. Automatica, 48, 1218-1223. http://dx.doi.org/10.1016/j.automatica.2012.03.022
Li, F. and Sun, J. (2012) Controllability of Higher Order Boolean Control Networks. Applied Mathematics and Computation, 219, 158-169. http://dx.doi.org/10.1016/j.amc.2012.05.059
Li, H., Wang, Y. and Xie, L. (2015) Output Tracking Control of Boolean Control Networks via State Feedback: Constant Reference Signal Case. Automatica, 59, 54-59. http://dx.doi.org/10.1016/j.automatica.2015.06.004
Li, F. (2016) Pinning Control Design for the Stabilization of Boolean Networks. IEEE Transactions on Neural Networks and Learning Systems, 27, 1585-1590. http://dx.doi.org/10.1109/TNNLS.2015.2449274
Li, H., Xie, L. and Wang, Y. (2016) On Robust Control Invariance of Boolean Control Networks. Automatica, 68, 392-396. http://dx.doi.org/10.1016/j.automatica.2016.01.075
Lu, J., Zhong, J., Huang, C. and Cao, J. (2016) On Pinning Controllability of Boolean Control Networks. IEEE Transactions on Automatic Control, 61, 1658-1663. http://dx.doi.org/10.1109/TAC.2015.2478123
Srihari, S., Raman, V., Leong, H.W. and Ragan, M.A. (2014) Evolution and Controllability of Cancer Networks: A Boolean Perspective. IEEE/ACM Transactions on Computational Biology and Bioinformatics, 11, 83-94. http://dx.doi.org/10.1109/TCBB.2013.128
Tournier, L. and Chaves, M. (2009) Uncovering Operational Interactions in Genetic Networks Using Asynchronous Boolean Dynamics. Journal of Theoretical Biology, 260, 196-209. http://dx.doi.org/10.1016/j.jtbi.2009.06.006
Shmulevich, I., Dougherty, E.R., Kim, S. and Zhang, W. (2002) Probabilistic Boolean Networks: A Rule-Based Uncertainty Model for Gene Regulatory Networks. Bioinformatics, 18, 261-274. http://dx.doi.org/10.1093/bioinformatics/18.2.261
Kauffman, S.A. (1993) The Origins of Order: Self-Organization and Selection in Evolution. Oxford University Press, Oxford.
Li, H. and Wang, Y. (2012) On Reachability and Controllability of Switched Boolean Control Networks. Automatica, 48, 2917-2922. http://dx.doi.org/10.1016/j.automatica.2012.08.029
Zhang, L. and Zhang, K. (2013) Controllability and Observability of Boolean Control Networks with Time-Variant Delays in States. IEEE Transactions on Neural Networks and Learning Systems, 24, 1478-1484. http://dx.doi.org/10.1109/TNNLS.2013.2246187
Azuma, S., Yanagisawa, E. and Imura, J. (2008) Controllability Analysis of Biosystems Based on Piecewise Affine Systems Approach. IEEE Transactions on Automatic Control, 53, 139-152. http://dx.doi.org/10.1109/TAC.2007.911316
Cheng, D., Qi, H. and Li, Z. (2011) Analysis and Control of Boolean Network: A Semi-Tensor Product Approach. Springer, Berlin. http://dx.doi.org/10.1007/978-0-85729-097-7
Yices SMT Solver. http://yices.csl.sri.com/
Cavalier, T.M., Pardalos, P.M. and Soyster, A.L. (1990) Modeling and Integer Programming Techniques Applied to Propositional Calculus. Computers & Operations Research, 17, 561-570. http://dx.doi.org/10.1016/0305-0548(90)90062-C
Xiao, Y. and Dougherty, E.R. (2007) The Impact of Function Perturbations in Boolean Networks. Bioinformatics, 23, 1265-1273. http://dx.doi.org/10.1093/bioinformatics/btm093