Observability of Boolean networks via set controllability approach

The controllability and observability of Boolean control network(BCN) are two fundamental properties. But the verification of latter is much harder than the former. This paper considers the observability of BCN via controllability. First, the set controllability is proposed, and the necessary and sufficient condition is obtained. Then a technique is developed to convert the observability into an equivalent set controllability problem. Using the result for set controllability, the necessary and sufficient condition is also obtained for the observability of BCN.

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

[2]  Daizhan Cheng,et al.  A note on observability of Boolean control networks , 2015, ASCC.

[3]  Katsuhiko Ogata,et al.  Modern control engineering (3rd ed.) , 1996 .

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

[5]  Aurélien Naldi,et al.  Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle , 2006, ISMB.

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

[7]  Tianguang Chu,et al.  Controller design for disturbance decoupling of Boolean control networks , 2013, Autom..

[8]  Lijun Zhang,et al.  Observability of Boolean Control Networks: A Unified Approach Based on Finite Automata , 2014, IEEE Transactions on Automatic Control.

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

[10]  Yang Liu,et al.  Survey on semi-tensor product method with its applications in logical networks and other finite-valued systems , 2017 .

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

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

[13]  Madalena Chaves,et al.  Methods for qualitative analysis of genetic networks , 2009, 2009 European Control Conference (ECC).

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

[15]  Katsuhiko Ogata,et al.  Modern Control Engineering , 1970 .

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

[17]  W. Feng,et al.  observability ? , 2013 .

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

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

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

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

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

[23]  Jinde Cao,et al.  Sampled-Data State Feedback Stabilization of Boolean Control Networks , 2016, Neural Computation.

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

[25]  Lihua Xie,et al.  Output Regulation of Boolean Control Networks , 2017, IEEE Transactions on Automatic Control.

[26]  Ettore Fornasini,et al.  Optimal Control of Boolean Control Networks , 2014, IEEE Transactions on Automatic Control.

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