Controllability of probabilistic Boolean control networks based on transition probability matrices

In this paper, we propose a new approach to investigate the controllability and reachability of probabilistic Boolean control networks (PBCNs) with forbidden states. We first give a simple algebraic formula for the transition probability between two states in a given number of time-step, while avoiding a set of forbidden states. Then we construct the controllability matrix based on a new operator, and some necessary and sufficient conditions are obtained for the controllability and reachability of PBCNs. A numerical example is given to illustrate the efficiency of the obtained results.

[1]  Changxu Wu,et al.  A computational cognition model of perception, memory, and judgment , 2014, Science China Information Sciences.

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

[3]  Luis G. Vargas,et al.  An optimization-based approach for the design of Bayesian networks , 2008, Math. Comput. Model..

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

[5]  Daizhan Cheng,et al.  On controllability and stabilizability of probabilistic Boolean control networks , 2012, Science China Information Sciences.

[6]  Yang Liu,et al.  Synchronization criteria for Two Boolean Networks Based on Logical Control , 2013, Int. J. Bifurc. Chaos.

[7]  James Lam,et al.  Filtering for Nonlinear Genetic Regulatory Networks With Stochastic Disturbances , 2008, IEEE Transactions on Automatic Control.

[8]  Ligang Wu,et al.  Exponential stabilization of switched stochastic dynamical networks , 2009 .

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

[10]  Christel Baier,et al.  Principles of model checking , 2008 .

[11]  Daizhan Cheng,et al.  Input-State Approach to Boolean Networks , 2009, IEEE Transactions on Neural Networks.

[12]  Jinde Cao,et al.  Synchronization of master-slave Boolean networks with impulsive effects: Necessary and sufficient criteria , 2014, Neurocomputing.

[13]  John Maloney,et al.  Finding Cycles in Synchronous Boolean Networks with Applications to Biochemical Systems , 2003, Int. J. Bifurc. Chaos.

[14]  Yang Liu,et al.  Controllability for a Class of Linear Time-Varying Impulsive Systems With Time Delay in Control Input , 2011, IEEE Transactions on Automatic Control.

[15]  Daizhan Cheng,et al.  Analysis and Control of Boolean Networks , 2011 .

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

[17]  Michael Margaliot,et al.  Controllability of Boolean control networks via the Perron-Frobenius theory , 2012, Autom..

[18]  Christel Baier,et al.  Principles of Model Checking (Representation and Mind Series) , 2008 .

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

[20]  L. Hood,et al.  A Genomic Regulatory Network for Development , 2002, Science.

[21]  Marcel J. T. Reinders,et al.  Linear Modeling of Genetic Networks from Experimental Data , 2000, ISMB.

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

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

[24]  Andrew Wuensche,et al.  A model of transcriptional regulatory networks based on biases in the observed regulation rules , 2002, Complex..

[25]  B. Samuelsson,et al.  Superpolynomial growth in the number of attractors in Kauffman networks. , 2003, Physical review letters.

[26]  B. Drossel,et al.  Number and length of attractors in a critical Kauffman model with connectivity one. , 2004, Physical review letters.

[27]  Jianquan Lu,et al.  Some necessary and sufficient conditions for the output controllability of temporal Boolean control networks , 2014 .

[28]  Gary D. Stormo,et al.  Modeling Regulatory Networks with Weight Matrices , 1998, Pacific Symposium on Biocomputing.

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

[30]  Jinde Cao,et al.  Synchronization in output-coupled temporal Boolean networks , 2014, Scientific Reports.

[31]  Jinde Cao,et al.  Synchronization in an Array of Output-Coupled Boolean Networks With Time Delay , 2014, IEEE Transactions on Neural Networks and Learning Systems.

[32]  Edward R. Dougherty,et al.  From Boolean to probabilistic Boolean networks as models of genetic regulatory networks , 2002, Proc. IEEE.