×

Controllability of Boolean control networks via the Perron-Frobenius theory. (English) Zbl 1244.93026

Summary: Boolean Control Networks (BCNs) are recently attracting considerable interest as computational models for genetic and cellular networks. Addressing control-theoretic problems in BCNs may lead to a better understanding of the intrinsic control in biological systems, as well as to developing suitable protocols for manipulating biological systems using exogenous inputs. We introduce two definitions for controllability of a BCN, and show that a necessary and sufficient condition for each form of controllability is that a certain nonnegative matrix is irreducible or primitive, respectively. Our analysis is based on a result that may be of independent interest, namely, a simple algebraic formula for the number of different control sequences that steer a BCN between given initial and final states in a given number of time steps, while avoiding a set of forbidden states.

MSC:

93B05 Controllability
90C59 Approximation methods and heuristics in mathematical programming
93B03 Attainable sets, reachability
92C42 Systems biology, networks
15B48 Positive matrices and their generalizations; cones of matrices
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Akutsu, T.; Hayashida, M.; Ching, W.-K.; Ng, M. K., Control of Boolean networks: Hardness results and algorithms for tree structured networks, Journal of Theoretical Biology, 244, 670-679 (2007) · Zbl 1450.92040
[2] Albert, R.; Othmer, H. G., The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster, Journal of Theoretical Biology, 223, 1-18 (2003) · Zbl 1464.92108
[3] Barabanov, N.E. (2005). Lyapunov exponent and joint spectral radius: Some known and new results. In Proc. 44th IEEE conf. on decision and control; Barabanov, N.E. (2005). Lyapunov exponent and joint spectral radius: Some known and new results. In Proc. 44th IEEE conf. on decision and control
[4] Berman, A.; Plemmons, R. J., Nonnegative matrices in the mathematical sciences (1987), SIAM
[5] Bernstein, D. S., Matrix mathematics (2005), Princeton University Press
[6] Bolouri, H., Computational modelling of gene regulatory networks-a primer (2008), Imperial College Press
[7] Bornholdt, S., Boolean network models of cellular regulation: prospects and limitations, Journal of the Royal Society Interface, 5, S85-S94 (2008)
[8] Chaos, A.; Aldana, M.; Espinosa-Soto, C.; de Leon, B. G.P.; Arroyo, A. G.; Alvarez-Buylla, E. R., From genes to flower patterns and evolution: dynamic models of gene regulatory networks, Journal of Plant Growth Regulation, 25, 278-289 (2006)
[9] Chaves, M.; Albert, R.; Sontag, E. D., Robustness and fragility of Boolean models for genetic regulatory networks, Journal of Theoretical Biology, 235, 431-449 (2005) · Zbl 1445.92173
[10] Cheng, D., Disturbance decoupling of Boolean control networks, IEEE Transactions on Automatic Control, 56, 2-10 (2011) · Zbl 1368.93100
[11] Cheng, D., Input-state approach to Boolean networks, IEEE Transactions on Neural Networks, 20, 512-521 (2009)
[12] Cheng, D.; Dong, Y., Semi-tensor product of matrices and its some applications to physics, Methods and Applications of Analysis, 10, 565-588 (2003) · Zbl 1073.15532
[13] Cheng, D.; Li, Z.; Qi, H., Realization of Boolean control networks, Automatica, 46, 62-69 (2010) · Zbl 1214.93031
[14] Cheng, D.; Qi, H., Controllability and observability of Boolean control networks, Automatica, 45, 1659-1667 (2009) · Zbl 1184.93014
[15] Cheng, D.; Qi, H., A linear representation of dynamics of Boolean networks, IEEE Transactions on Automatic Control, 55, 2251-2258 (2010) · Zbl 1368.37025
[16] Cheng, D.; Qi, H., State-space analysis of Boolean networks, IEEE Transactions on Neural Networks, 21, 584-594 (2010)
[17] Cheng, D.; Qi, H.; Li, Z., Analysis and control of boolean networks (2011), Springer-Verlag
[18] Datta, A.; Pal, R.; Choudhary, A.; Dougherty, E. R., Control approaches for probabilistic gene regulatory networks, IEEE Signal Processing Magazine, 24, 54-63 (2010)
[19] Espinosa-Soto, C.; Padilla-Longoria, P.; Alvarez-Buylla, E. R., A gene regulatory network model for cell-fate determination during Arabidopsis thaliana flower development that is robust and recovers experimental gene expression profiles, Plant Cell, 16, 2923-2939 (2004)
[20] Faure, A.; Naldi, A.; Chaouiya, C.; Thieffry, D., Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle, Bioinformatics, 22, e124-e131 (2006)
[21] Fornasini, E.; Valcher, M. E., Reachability of a class of discrete-time positive switched systems, SIAM Journal on Control and Optimization, 49, 162-184 (2011) · Zbl 1215.93017
[22] Green, D.G., Leishman, T.G., & S, Sadedin (2007). The emergence of social consensus in Boolean networks. In IEEE symp. artificial life (ALIFE’07); Green, D.G., Leishman, T.G., & S, Sadedin (2007). The emergence of social consensus in Boolean networks. In IEEE symp. artificial life (ALIFE’07)
[23] Gupta, S.; Bisht, S. S.; Kukreti, R.; Jain, S.; Brahmachari, S. K., Boolean network analysis of a neurotransmitter signaling pathway, Journal of Theoretical Biology, 244, 463-469 (2007) · Zbl 1450.92042
[24] Hassoun, M. H., Fundamentals of artificial neural networks (1995), MIT Press · Zbl 0850.68271
[25] Horn, R. A.; Johnson, C. R., Matrix analysis (1985), Cambridge University Press · Zbl 0576.15001
[26] Huang, S., Regulation of cellular states in mammalian cells from a genomewide view, (Collado-Vides, J.; Hofestadt, R., Gene regulation and metabolism (2002), MIT Press), 181-220
[27] Kailath, T., Linear systems (1980), Prentice-Hall · Zbl 0458.93025
[28] Kauffman, S. A., Metabolic stability and epigenesis in randomly constructed genetic nets, Journal of Theoretical Biology, 22, 437-467 (1969)
[29] Kauffman, S., Differentiation of malignant to benign cells, Journal of Theoretical Biology, 31, 429-451 (1971)
[30] Kauffman, S.; Peterson, C.; Samuelsson, B.; Troein, C., Random Boolean network models and the yeast transcriptional network, Proceedings of the National Academy of Sciences of the United States of America, 100, 14796-14799 (2003)
[31] Langmead, C. J.; Jha, S. K., Symbolic approaches for finding control strategies in Boolean networks, Journal of Bioinformatics and Computational Biology, 7, 323-338 (2009)
[32] Laschov, D.; Margaliot, M., A maximum principle for single-input Boolean control networks, IEEE Transactions on Automatic Control, 56, 913-917 (2011) · Zbl 1368.93344
[33] Laschov, D., & Margaliot, M. (2011b). A Pontryagin maximum principle for multi-input Boolean control networks. In (E. Kaslik and S. Sivasundaram), (Eds.) Recent advances in dynamics and control of neural networks; Laschov, D., & Margaliot, M. (2011b). A Pontryagin maximum principle for multi-input Boolean control networks. In (E. Kaslik and S. Sivasundaram), (Eds.) Recent advances in dynamics and control of neural networks · Zbl 1368.93344
[34] Li, S.; Assmann, S. M.; Albert, R., Predicting essential components of signal transduction networks: a dynamic model of guard cell abscisic acid signaling, PLoS Biology, 4, 1732-1748 (2006)
[35] Li, F.; Long, T.; Lu, Y.; Ouyang, Q.; Tang, C., The yeast cell-cycle network is robustly designed, Proceedings of the National Academy of Sciences of the United States of America, 101, 4781-4786 (2004)
[36] Li, F.; Sun, J., Controllability of Boolean control networks with time delays in states, Automatica, 47, 603-607 (2011) · Zbl 1220.93010
[37] Liu, Q.; Guo, X.; Zhou, T., Optimal control for probabilistic Boolean networks, IET Systems Biology, 4, 99-107 (2010)
[38] Margaliot, M., Stability analysis of switched systems using variational principles: an introduction, Automatica, 42, 2059-2077 (2006) · Zbl 1104.93018
[39] Margaliot, M.; Branicky, M. S., Nice reachability for planar bilinear control systems with applications to planar linear switched systems, IEEE Transactions on Automatic Control, 54, 1430-1435 (2009) · Zbl 1367.93062
[40] Margaliot, M.; Liberzon, D., Lie-algebraic stability conditions for nonlinear switched systems and differential inclusions, Systems and Control Letters, 55, 8-16 (2006) · Zbl 1129.93521
[41] Monovich, T.; Margaliot, M., Analysis of discrete-time linear switched systems: a variational approach, SIAM Journal on Control and Optimization, 49, 808-829 (2011) · Zbl 1217.93099
[42] Monovich, T.; Margaliot, M., A second-order maximum principle for discrete-time bilinear control systems with applications to discrete-time linear switched systems, Automatica, 47, 1489-1495 (2011) · Zbl 1220.49013
[43] Sharon, Y.; Margaliot, M., Third-order nilpotency, finite switchings and asymptotic stability, Journal of Differential Equations, 233, 136-150 (2007) · Zbl 1109.49002
[44] Shmulevich, I.; Dougherty, E. R.; Kim, S.; Zhang, W., Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks, Bioinformatics, 18, 261-274 (2002)
[45] Shmulevich, I.; Dougherty, E. R.; Zhang, W., From Boolean to probabilistic Boolean networks as models of genetic regulatory networks, Proceedings of IEEE, 90, 1778-1792 (2002)
[46] Szallasi, Z.; Liang, S., Modeling the normal and neoplastic cell cycle with realistic Boolean genetic networks: their application for understanding carcinogenesis and assessing therapeutic strategies, Pac. Symp. Biocomput., 3, 66-76 (1998)
[47] Zhao, Y.; Qi, H.; Cheng, D., Input-state incidence matrix of Boolean control networks and its applications, Systems and Control Letters, 59, 767-774 (2010) · Zbl 1217.93026
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.