Observability of Boolean control networks

We show some new results on the observability of Boolean control networks (BCNs). First, to study the observability, we combine two BCNs with the same transition matrix into a new BCN. Then, we propose the concept of a reachable set that results in a given set of initial states, and we derive four additional necessary and sufficient conditions for the observability of BCNs. In addition, we present an algorithm and construct an observability graph to determine the observability of BCNs. Finally, we illustrate the obtained results using three numerical examples.

[1]  Edward F. Moore,et al.  Gedanken-Experiments on Sequential Machines , 1956 .

[2]  R. Kálmán.  Mathematical description of linear dynamical systems , 1963 .

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

[4]  W. Wonham.  Linear Multivariable Control: A Geometric Approach , 1974 .

[5]  Eduardo Sontag.  On the Observability of Polynomial Systems, I: Finite-Time Problems , 1979 .

[6]  Peter Linz,et al.  An Introduction to Formal Languages and Automata , 1997 .

[7]  Cheng Daizhan.  Semi-tensor product of matrices and its application to Morgen’s problem , 2001 .

[8]  Daizhan Cheng,et al.  Semi-tensor product of matrices and its application to Morgen’s problem , 2007, Science in China Series : Information Sciences.

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

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

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

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

[13]  Daizhan Cheng,et al.  Identification of Boolean control networks , 2011, Autom..

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

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

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

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

[18]  Tianguang Chu,et al.  State Feedback Stabilization for Boolean Control Networks , 2013, IEEE Transactions on Automatic Control.

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

[20]  Michael Margaliot,et al.  Minimum-Time Control of Boolean Networks , 2013, SIAM J. Control. Optim..

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

[22]  Yang Liu,et al.  Controllability of Boolean control networks with impulsive effects and forbidden states , 2014 .

[23]  Daizhan Cheng,et al.  Evolutionarily Stable Strategy of Networked Evolutionary Games , 2014, IEEE Transactions on Neural Networks and Learning Systems.

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

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

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

[27]  Tianguang Chu,et al.  State feedback stabilization for probabilistic Boolean networks , 2014, Autom..

[28]  T. Chu,et al.  Observability conditions of Boolean control networks , 2014 .

[29]  Yang Liu,et al.  Controllability of probabilistic Boolean control networks based on transition probability matrices , 2015, Autom..

[30]  Daizhan Cheng,et al.  A note on observability of Boolean control networks , 2015, 2015 10th Asian Control Conference (ASCC).

[31]  Yuzhen Wang,et al.  Controllability Analysis and Control Design for Switched Boolean Networks with State and Input Constraints , 2015, SIAM J. Control. Optim..

[32]  Yuzhen Wang,et al.  Stable degree analysis for strategy profiles of evolutionary networked games , 2016, Science China Information Sciences.

[33]  Jiandong Zhu,et al.  Kalman decomposition for Boolean control networks , 2015, Autom..

[34]  Lihua Xie,et al.  Output tracking control of Boolean control networks via state feedback: Constant reference signal case , 2015, Autom..

[35]  Ettore Fornasini,et al.  Fault Detection Analysis of Boolean Control Networks , 2015, IEEE Transactions on Automatic Control.

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

[37]  T. Chu,et al.  Controllability and observability of Boolean networks arising from biology. , 2015, Chaos.

[38]  Yang Liu,et al.  Feedback Controller Design for the Synchronization of Boolean Control Networks , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[39]  Fangfei Li,et al.  Pinning Control Design for the Stabilization of Boolean Networks , 2016, IEEE Transactions on Neural Networks and Learning Systems.

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

[41]  Jinde Cao,et al.  On Pinning Controllability of Boolean Control Networks , 2016, IEEE Transactions on Automatic Control.

[42]  Jinde Cao,et al.  On Controllability of Delayed Boolean Control Networks , 2016, SIAM J. Control. Optim..

[43]  Lihua Xie,et al.  On robust control invariance of Boolean control networks , 2016, at - Automatisierungstechnik.

[44]  Zidong Wang,et al.  Pinning controllability of autonomous Boolean control networks , 2016, Science China Information Sciences.

[45]  Jinde Cao,et al.  Function perturbations on singular Boolean networks , 2017, Autom..

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

[47]  Daizhan Cheng,et al.  Observability of Boolean networks via set controllability approach , 2018, Syst. Control. Lett..