Controllability and observability of Boolean control networks

The controllability and observability of Boolean control networks are investigated. After a brief review on converting a logic dynamics to a discrete-time linear dynamics with a transition matrix, some formulas are obtained for retrieving network and its logical dynamic equations from this network transition matrix. Based on the discrete-time dynamics, the controllability via two kinds of inputs is revealed by providing the corresponding reachable sets precisely. Then the problem of observability is also solved by giving necessary and sufficient conditions.

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

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

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

[4]  Stuart A. Kauffman,et al.  The origins of order , 1993 .

[5]  Kobayashi Koichi,et al.  Polynomial-time Algorithm for Controllability Test of Boolean Networks , 2009 .

[6]  S. Huang,et al.  Shape-dependent control of cell growth, differentiation, and apoptosis: switching between attractors in cell regulatory networks. , 2000, Experimental cell research.

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

[8]  Daizhan Cheng,et al.  Disturbance Decoupling of Boolean Control Networks , 2011, IEEE Transactions on Automatic Control.

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

[10]  Stuart A. Kauffman,et al.  At Home in the Universe , 1995 .

[11]  M. Aldana.  Boolean dynamics of networks with scale-free topology , 2003 .

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

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

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

[15]  Xiaoming Hu,et al.  Non-regular feedback linearization of nonlinear systems via a normal form algorithm , 2004, Autom..

[16]  Aniruddha Datta,et al.  External Control in Markovian Genetic Regulatory Networks , 2004, Machine Learning.

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

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

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

[20]  Aniruddha Datta,et al.  External control in Markovian genetic regulatory networks: the imperfect information case , 2004, Bioinform..

[21]  Daizhan Cheng,et al.  Realization of Boolean control networks , 2010, Autom..

[22]  Aniruddha Datta,et al.  Intervention in context-sensitive probabilistic Boolean networks , 2005, Bioinform..

[23]  Sui Huang,et al.  Regulation of Cellular States in Mammalian Cells from a Genomewide View , 2002, Gene Regulations and Metabolism.

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

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

[26]  Albert,et al.  Dynamics of complex systems: scaling laws for the period of boolean networks , 2000, Physical review letters.

[27]  J. Urry.  Complexity , 2006, Interpreting Art.

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

[29]  H. Othmer,et al.  The topology of the regulatory interactions predicts the expression pattern of the segment polarity genes in Drosophila melanogaster. , 2003, Journal of theoretical biology.

[30]  François Robert,et al.  Discrete iterations - a metric study , 1986, Springer series in computational mathematics.

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

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

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

[34]  Satoru Miyano,et al.  Inferring qualitative relations in genetic networks and metabolic pathways , 2000, Bioinform..

[35]  ndtedited by Julio Collado-Vides and Ralf Hofest.  Gene regulation and metabolism , 2002 .