Kalman decomposition for Boolean control networks

The Kalman decomposition problem for Boolean control networks (BCNs) is solved completely. A necessary and sufficient condition, described by vertex partitions of digraphs, is proposed for the Kalman decomposition. And, an algorithm is designed to compute the logical coordinate transformation that results in the Kalman decomposition. Finally, two examples are presented. One example illustrates the procedure of realizing the Kalman decomposition. The other one reveals that not all the BCNs can be transformed into the Kalman decomposition form. This is an essential property different from that of the traditional linear control systems.

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

[2]  Jiandong Zhu,et al.  Decomposition with Respect to Outputs for Boolean Control Networks , 2014, 1407.2104.

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

[4]  Peng Cui,et al.  Singular Boolean networks: Semi-tensor product approach , 2012, Science China Information Sciences.

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

[6]  Jiandong Zhu,et al.  System decomposition with respect to inputs for Boolean control networks , 2014, Autom..

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

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

[9]  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.

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

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

[12]  Otakar Borůvka,et al.  Foundation of the Theory of Groupoids and Groups , 1976 .

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

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

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

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

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

[18]  Radovan Potůček.  Construction of the Smallest Common Coarser of Two and Three Set Partitions , 2014 .

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

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

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

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

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

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

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

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

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

[28]  Fangfei Li,et al.  Controllability of higher order Boolean control networks , 2012, Appl. Math. Comput..

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

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

[31]  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.

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