Abstract
Singular Boolean networks are introduced in this paper. Via semi-tensor product of matrices and the matrix expression of logical functions, two kinds of the condensed algebraic expressions of singular Boolean networks are obtained. The normalization problem of singular Boolean networks is addressed; that is, under what condition singular Boolean networks can be converted into normal Boolean networks with algebraic restrictions. Then one sufficient condition and one necessary and sufficient condition are derived for the normalization problem. Furthermore, the solvability of singular Boolean networks is discussed and the concept of admissible initial values of singular Boolean networks is presented. Finally, fixed points and cycles of singular Boolean networks are also investigated.
Similar content being viewed by others
References
Kauffman S. Metabolic stability and epigenesis in randomly constructed genetic nets. J Theor Biol, 1969, 22: 437–467
Davison E H, Rast J P, Oliveri P, et al. A genomic regulatory network for development. Science, 2002, 295: 1669–1678
Harris S E, Sawhill B K, Wuenche A, et al. A model of transcriptional regulatory networks based on biases in the observed regulations rules. Complexity, 2002, 7: 23–40
Bansal M, Belcastro V, Ambesi-Impiobato A, et al. How to infer gene networks from expression profiles. Mol Syst Biol, 2007, 3: 1–10
Drossel B, Mihaljev T, Greil F. Number and length of attractors in a critical kauffman model with connectivity one. Phys Rev Lett, 2005, 94: 088701
Pal R, Datta A, Dougherty E R. Optimal infinite-horizon control for probabilistic Boolean networks. IEEE Trans Signal Process, 2006, 54: 2375–2387
Cheng D, Qi H. A linear representation dynamics of Boolean networks. IEEE Trans Automat Control, 2010, 55: 2251–2258
Cheng D, Qi H, Li Z. Analysis and Control of Boolean Networks: A Semi-Tensor Product Approach. London: Springer-Verlag, 2011
Cheng D, Qi H. Controllability and observability of Boolean control networks. Automatica, 2009, 45: 1659–1667
Cheng D, Li Z, Qi H. Realization of Boolean control networks. Automatica, 2010, 46: 62–69
Cheng D, Qi H, Li Z, et al. Stability and stabilization of Boolean networks. Int J Robust Nonlinear Control, 2011, 21: 134–156
Cheng D. Disturbance decoupling of Boolean control networks. IEEE Trans Automat Control, 2011, 56: 2–10
Cheng D, Zhao Y. Identification of Boolean control networks. Automatica, 2011, 47: 702–710
Cheng D, Qi H, Li Z. Model construction of Boolean networks via observed data. IEEE Trans Neural Netw, 2011, 22: 525–536
Li F, Sun J. Controllability of Boolean control networks with time delays in states. Automatica, 2011, 47: 603–607
Li F, Sun J. Observability of Boolean control networks with state time delays. IEEE Trans Automat Control, 2011, 22: 948–954
Liu Z, Wang Y, Li H. Disturbance decoupling of multi-valued logical networks. In: Proc. of 30th Chinese Control Conference, Yantai, 2011. 93–96
Li H, Wang Y, Liu Z. Simultaneous stabilization of Boolean control networks via semi-tensor product method. In: Proc. of 30th Chinese Control Conference, Yantai, 2011. 6386–6390
Li F, Sun J. Stability and stabilization issue of probabilistic Boolean network. In: Proc. of 30th Chinese Control Conference, Yantai, 2011. 6380–6385
Dai L. Singular Control Systems. Berlin: Springer-Verlag, 1989
Cheng D, Zhao Y, Xu X. Mix-valued logic and its applications. J Shandong Univ Nat Sci, 2011, 46: 32–44
Ljung L, Söderström T. Theory and Practice of Recursive Identification. Cambridge: MIT Press, 1983
Cheng D. Semi-tensor product of matrices and its applications-a survey. In: The International Congress of Chinese Mathematicians (ICCM), Hangzhou, 2007. 641–668
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Feng, J., Yao, J. & Cui, P. Singular Boolean networks: Semi-tensor product approach. Sci. China Inf. Sci. 56, 1–14 (2013). https://doi.org/10.1007/s11432-012-4666-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11432-012-4666-8