A note on observability of Boolean control networks

The observability of Boolean control networks is investigated. The pairs of states are classified into three classes: (i)diagonal, (ii) h-distinguishable, and h-indistinguishable. For h-indistinguishable pairs, we construct a matrix W called the transferable matrix, which indicates the control-transferability among h-indistinguishable pairs. Modifying W yields a matrix U0, which is used as the initial matrix for an iterative algorithm. After finite iterations a stable Uk∗ is reached, which is called the observability matrix. It is proved that a Boolean control network is observable, if and only if, the last column for all rows of Uk∗ are one. Some numerical examples are presented.

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

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

[3]  Kuize Zhang,et al.  Observability of Boolean control networks: A unified approach based on the theories of finite automata and formal languages , 2014, CCC 2014.

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

[5]  Yuzhen Wang,et al.  Reachability/controllability of high order mix-valued logical networks , 2013, J. Syst. Sci. Complex..

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

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

[8]  Chen Hao,et al.  A new approach for global controllability of higher order Boolean control network , 2012, Proceedings of the 31st Chinese Control Conference.

[9]  Yuzhen Wang,et al.  On reachability and controllability of switched Boolean control networks , 2012, Autom..

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

[11]  Wenping Shi,et al.  A Note on the Observability of Temporal Boolean Control Network , 2013 .

[12]  Lijun Zhang,et al.  Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories , 2012, Science China Information Sciences.

[13]  Jitao Sun,et al.  Observability analysis of Boolean control networks with impulsive effects , 2011 .

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

[15]  Michael Margaliot,et al.  Observability of Boolean networks: A graph-theoretic approach , 2013, Autom..

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

[17]  Ettore Fornasini,et al.  Observability, Reconstructibility and State Observers of Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.

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

[19]  Lequn Zhang,et al.  Controllability and observability of switched Boolean control networks , 2012 .

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

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

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

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

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

[25]  Ettore Fornasini,et al.  On the periodic trajectories of Boolean control networks , 2013, Autom..

[26]  Lijun Zhang,et al.  Controllability and Observability of Boolean Control Networks With Time-Variant Delays in States , 2013, IEEE Transactions on Neural Networks and Learning Systems.

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

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

[29]  D. Cheng,et al.  An Introduction to Semi-Tensor Product of Matrices and Its Applications , 2012 .

[30]  Daizhan Cheng,et al.  Modeling, Analysis and Control of Networked Evolutionary Games , 2015, IEEE Transactions on Automatic Control.