On controllability and stabilizability of probabilistic Boolean control networks

The controllability of probabilistic Boolean control networks (PBCNs) is first considered. Using the input-state incidence matrices of all models, we propose a reachability matrix to characterize the joint reachability. Then we prove that the joint reachability and the controllability of PBCNs are equivalent, which leads to a necessary and sufficient condition of the controllability. Then, the result of controllability is used to investigate the stability of probabilistic Boolean networks (PBNs) and the stabilization of PBCNs. A necessary and sufficient condition for the stability of PBNs is obtained first. By introducing the control-fixed point of Boolean control networks (BCNs), the stability condition has finally been developed into a necessary and sufficient condition of the stabilization of PBCNs. Both necessary and sufficient conditions for controllability and stabilizability are based on reachability matrix, which are easily computable. Hence the two necessary and sufficient conditions are straightforward verifiable. Numerical examples are provided from case to case to demonstrate the corresponding theoretical results.

[1]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[2]  Edward R. Dougherty,et al.  Steady-state probabilities for attractors in probabilistic Boolean networks , 2005, Signal Process..

[3]  Sui Huang.  Gene expression profiling, genetic networks, and cellular states: an integrating concept for tumorigenesis and drug discovery , 1999, Journal of Molecular Medicine.

[4]  Aniruddha Datta,et al.  Optimal infinite horizon control for probabilistic Boolean networks , 2006, 2006 American Control Conference.

[5]  É. Remy,et al.  Mapping multivalued onto Boolean dynamics. , 2011, Journal of theoretical biology.

[6]  Cheng Dai,et al.  Analysis and Control of Boolean Networks:A Semi-tensor Product Approach , 2011 .

[7]  T. Akutsu,et al.  Optimal control policy for probabilistic Boolean networks with hard constraints. , 2009, IET systems biology.

[8]  Tomasz Zastawniak,et al.  Basic stochastic processes , 1999 .

[9]  T. Ideker,et al.  A new approach to decoding life: systems biology. , 2001, Annual review of genomics and human genetics.

[10]  Daizhan Cheng,et al.  Controllability and observability of Boolean control networks , 2009, Autom..

[11]  Daizhan Cheng,et al.  Stability of switched nonlinear systems via extensions of LaSalle’s invariance principle , 2009, Science in China Series F: Information Sciences.

[12]  M. Margaliot,et al.  A Pontryagin Maximum Principle for Multi – Input Boolean Control Networks ⋆ , 2011 .

[13]  S. Kauffman.  Metabolic stability and epigenesis in randomly constructed genetic nets. , 1969, Journal of theoretical biology.

[14]  Edward R. Dougherty,et al.  Steady-State Analysis of Genetic Regulatory Networks Modelled by Probabilistic Boolean Networks , 2003, Comparative and functional genomics.

[15]  Daizhan Cheng,et al.  A Linear Representation of Dynamics of Boolean Networks , 2010, IEEE Transactions on Automatic Control.

[16]  Yuzhen Wang,et al.  Simultaneous stabilization of Boolean control networks via semi-tensor product method , 2011, Proceedings of the 30th Chinese Control Conference.

[17]  Xiaoming Hu,et al.  Stabilization of random Boolean networks , 2010, 2010 8th World Congress on Intelligent Control and Automation.

[18]  P. V. Ham,et al.  How to deal with variables with more than two levels , 1979 .

[19]  Michael Margaliot,et al.  A Maximum Principle for Single-Input Boolean Control Networks , 2011, IEEE Transactions on Automatic Control.

[20]  M. Ng,et al.  Control of Boolean networks: hardness results and algorithms for tree structured networks. , 2007, Journal of theoretical biology.

[21]  Fangfei Li,et al.  Controllability of Boolean control networks with time delays in states , 2011, Autom..

[22]  Yin Zhao.  A Floyd-like algorithm for optimization of mix-valued logical control networks , 2011, Proceedings of the 30th Chinese Control Conference.

[23]  D. Cheng,et al.  Semi-tensor Product of Matrices , 2011 .

[24]  Daizhan Cheng,et al.  State–Space Analysis of Boolean Networks , 2010, IEEE Transactions on Neural Networks.

[25]  John Maloney,et al.  Scalar equations for synchronous Boolean networks with biological applications , 2004, IEEE Transactions on Neural Networks.

[26]  Xue-Song Wang,et al.  Policy Iteration Reinforcement Learning Based on Geodesic Gaussian Basis Defined on State-action Graph: Policy Iteration Reinforcement Learning Based on Geodesic Gaussian Basis Defined on State-action Graph , 2011 .

[27]  Guangming Xie,et al.  Controllability of multi-agent systems based on agreement protocols , 2009, Science in China Series F: Information Sciences.

[28]  D. Cheng,et al.  Stability and stabilization of Boolean networks , 2011 .

[29]  Daizhan Cheng,et al.  Input-state incidence matrix of Boolean control networks and its applications , 2010, Syst. Control. Lett..

[30]  A. Datta,et al.  On approximate stochastic control in genetic regulatory networks. , 2007, IET systems biology.

[31]  Daizhan Cheng,et al.  Optimal Control of Logical Control Networks , 2011, IEEE Transactions on Automatic Control.

[32]  M. Margaliot.  Controllability and observability of Boolean control networks , 2012 .

[33]  Shitong Wang,et al.  Research on the Decomposition Method of Probabilistic Boolean Gene Regulatory Networks , 2008, 2008 Second International Symposium on Intelligent Information Technology Application.

[34]  Daizhan Cheng.  Semi-tensor product of matrices——A convenient new tool , 2011 .

[35]  Edward R. Dougherty,et al.  Probabilistic Boolean networks: a rule-based uncertainty model for gene regulatory networks , 2002, Bioinform..

[36]  Daizhan Cheng,et al.  Strategy optimization with its application to dynamic games , 2010, 49th IEEE Conference on Decision and Control (CDC).

[37]  Fangfei Li,et al.  Controllability of probabilistic Boolean control networks , 2011, Autom..

[38]  Lei Guo,et al.  On global asymptotic controllability of planar affine nonlinear systems , 2005, Science in China Series F: Information Sciences.

[39]  B. Anderson,et al.  Controllability, Observability and Stability of Linear Systems , 1968 .

[40]  Cheng Daizhan.  Semi-tensor product of matrices and its application to Morgen’s problem , 2001 .

[41]  R DoughertyEdward,et al.  Steady-state probabilities for attractors in probabilistic boolean networks , 2005 .

[42]  Daizhan Cheng,et al.  Identification of Boolean control networks , 2011, Autom..

[43]  D. Cheng,et al.  Analysis and control of Boolean networks: A semi-tensor product approach , 2010, 2009 7th Asian Control Conference.

[44]  Hiroaki Kitano,et al.  Foundations of systems biology , 2001 .

[45]  René Thomas.  Regulatory networks seen as asynchronous automata: A logical description , 1991 .