Survey on semi-tensor product method with its applications in logical networks and other finite-valued systems

This study presents a detailed survey on recent development of logical networks and its applications, including the background of logical networks, the theory of a new matrix product called semi-tensor product (STP) of matrices, some fundamental works on logical networks, and some current research works. Particularly, some fundamental works on logical networks are presented for the past years, including controllability, stability and stabilisation, synchronisation, disturbance decoupling and so on. Due to the great potential of STP in dealing with logical networks, a surge of attraction from overseas is paid on the study of STP and its applications. Currently, some new research areas are widely studied including pinning control, function perturbations, system decomposition, trajectory control, output tracking issues, symbolic dynamics and so on. The main concern of this study is to present a comprehensive introduction to logical networks and some other applications under the framework of STP of matrices.

[1]  Harold Chestnut,et al.  Foreword by the honorary editors , 1963, Autom..

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

[3]  E. Dougherty,et al.  Gene perturbation and intervention in probabilistic Boolean networks. , 2002, Bioinformatics.

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

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

[6]  Edward R. Dougherty,et al.  The impact of function perturbations in Boolean networks , 2007, Bioinform..

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

[8]  Aniruddha Datta,et al.  Intervention in Context-Sensitive Probabilistic Boolean Networks Revisited , 2009, EURASIP J. Bioinform. Syst. Biol..

[9]  Adam Wierman,et al.  An architectural view of game theoretic control , 2011, SIGMETRICS Perform. Evaluation Rev..

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

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

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

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

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

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

[16]  Alan Veliz-Cuba,et al.  ADAM: Analysis of Discrete Models of Biological Systems Using Computer Algebra , 2010, BMC Bioinformatics.

[17]  Fangfei Li,et al.  Observability of Boolean Control Networks With State Time Delays , 2011, IEEE Transactions on Neural Networks.

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

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

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

[21]  Fangfei Li,et al.  Stability and stabilization of Boolean networks with impulsive effects , 2012, Syst. Control. Lett..

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

[23]  Yuzhen Wang,et al.  Boolean derivative calculation with application to fault detection of combinational circuits via the semi-tensor product method , 2012, Autom..

[24]  Yiguang Hong,et al.  Matrix expression and reachability analysis of finite automata , 2012 .

[25]  Fangfei Li,et al.  Controllability and optimal control of a temporal Boolean network , 2012, Neural Networks.

[26]  T. Chu,et al.  Synchronization in an array of coupled Boolean networks , 2012 .

[27]  Daizhan Cheng,et al.  Analysis and control of general logical networks - An algebraic approach , 2012, Annu. Rev. Control..

[28]  Yuzhen Wang,et al.  Disturbance decoupling of mix-valued logical networks via the semi-tensor product method , 2012, Autom..

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

[30]  Yuzhen Wang,et al.  A matrix approach to graph maximum stable set and coloring problems with application to multi-agent systems , 2012, Autom..

[31]  Tianguang Chu,et al.  Complete Synchronization of Boolean Networks , 2012, IEEE Transactions on Neural Networks and Learning Systems.

[32]  Daizhan Cheng,et al.  Solving Fuzzy Relational Equations Via Semitensor Product , 2012, IEEE Transactions on Fuzzy Systems.

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

[34]  Michael Margaliot,et al.  Symbolic dynamics of Boolean control networks , 2013, Autom..

[35]  T. Shen,et al.  A Logical Dynamical Systems Approach to Modeling and Control of Residual Gas Fraction in IC Engines , 2013 .

[36]  Yiguang Hong,et al.  Matrix Approach to Model Matching of Asynchronous Sequential Machines , 2013, IEEE Transactions on Automatic Control.

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

[38]  Jongrae Kim,et al.  Aggregation Algorithm Towards Large-Scale Boolean Network Analysis , 2013, IEEE Transactions on Automatic Control.

[39]  Yuzhen Wang,et al.  Algebraic formulation and strategy optimization for a class of evolutionary networked games via semi-tensor product method , 2013, Autom..

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

[41]  Yuzhen Wang,et al.  Output feedback stabilization control design for Boolean control networks , 2013, Autom..

[42]  Yuzhen Wang,et al.  A Matrix Approach to Latticized Linear Programming With Fuzzy-Relation Inequality Constraints , 2013, IEEE Transactions on Fuzzy Systems.

[43]  Tianguang Chu,et al.  Synchronization Design of Boolean Networks Via the Semi-Tensor Product Method , 2013, IEEE Transactions on Neural Networks and Learning Systems.

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

[45]  Yuzhen Wang,et al.  Two kinds of optimal controls for probabilistic mix-valued logical dynamic networks , 2013, Science China Information Sciences.

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

[47]  Dawei Zhao,et al.  Novel way to research nonlinear feedback shift register , 2014, Science China Information Sciences.

[48]  Yuzhen Wang,et al.  Simultaneous stabilization for a set of Boolean control networks , 2013, Syst. Control. Lett..

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

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

[51]  Xiaodong Liu,et al.  Requirements model driven adaption and evolution of Internetware , 2014, Science China Information Sciences.

[52]  Jun-e Feng,et al.  Further Results on Disturbance Decoupling of Mix-Valued Logical Networks , 2014, IEEE Transactions on Automatic Control.

[53]  Michael Margaliot,et al.  On Boolean control networks with maximal topological entropy , 2014, Autom..

[54]  Daizhan Cheng,et al.  Disturbance decoupling control design for switched Boolean control networks , 2014, Syst. Control. Lett..

[55]  Jinde Cao,et al.  Synchronization in output-coupled temporal Boolean networks , 2014, Scientific Reports.

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

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

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

[59]  Daizhan Cheng,et al.  On finite potential games , 2014, Autom..

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

[61]  Fangfei Li.  Synchronization of coupled large-scale Boolean networks. , 2014, Chaos.

[62]  Min Meng,et al.  Function perturbations in Boolean networks with its application in a D. melanogaster gene network , 2014, Eur. J. Control.

[63]  Jinde Cao,et al.  Synchronization of master-slave Boolean networks with impulsive effects: Necessary and sufficient criteria , 2014, Neurocomputing.

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

[65]  Yuzhen Wang,et al.  Stability Analysis for Switched Boolean Networks Under Arbitrary Switching Signals , 2014, IEEE Transactions on Automatic Control.

[66]  Fangfei Li,et al.  Global stability at a limit cycle of switched Boolean networks under arbitrary switching signals , 2014, Neurocomputing.

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

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

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

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

[71]  Jun‐e Feng,et al.  Topological structure and optimal control of singular mix-valued logical networks , 2015 .

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

[73]  Pan Wang,et al.  Set stability and set stabilization of Boolean control networks based on invariant subsets , 2015, Autom..

[74]  Daizhan Cheng,et al.  Nonsingularity of feedback shift registers , 2015, Autom..

[75]  Jinde Cao,et al.  Synchronization Analysis of Master-Slave Probabilistic Boolean Networks , 2015, Scientific Reports.

[76]  Ettore Fornasini,et al.  Output feedback stabilization of Boolean control networks , 2015, Autom..

[77]  Yuzhen Wang,et al.  Logical Matrix Factorization With Application to Topological Structure Analysis of Boolean Network , 2015, IEEE Transactions on Automatic Control.

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

[79]  Bo Wu,et al.  A Mayer-type optimal control for multivalued logic control networks with undesirable states , 2015 .

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

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

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

[83]  Lijun Zhang,et al.  Invertibility and nonsingularity of Boolean control networks , 2015, Autom..

[84]  Daizhan Cheng,et al.  Receding Horizon Based Feedback Optimization for Mix-Valued Logical Networks , 2015, IEEE Transactions on Automatic Control.

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

[86]  Tielong Shen,et al.  An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems , 2015, Syst. Control. Lett..

[87]  Jitao Sun,et al.  Stabilization, Controllability and Optimal Control of Boolean Networks With Impulsive Effects and State Constraints , 2015, IEEE Transactions on Automatic Control.

[88]  Fangfei Li,et al.  Pinning Control Design for the Synchronization of Two Coupled Boolean Networks , 2016, IEEE Transactions on Circuits and Systems II: Express Briefs.

[89]  Fangfei Li,et al.  Feedback control design for the complete synchronisation of two coupled Boolean networks , 2016, Int. J. Syst. Sci..

[90]  Xiaohua Xia,et al.  Evolutionary game theoretic demand-side management and control for a class of networked smart grid , 2016, Autom..

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

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

[93]  Huaguang Zhang,et al.  Synchronization Analysis and Design of Coupled Boolean Networks Based on Periodic Switching Sequences , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[94]  Dongdai Lin,et al.  Driven Stability of Nonlinear Feedback Shift Registers With Inputs , 2016, IEEE Transactions on Communications.

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

[96]  Xinyun Liu,et al.  On potential equations of finite games , 2015, Autom..

[97]  J. Llibre,et al.  Preface: To the Memory of Javier Chavarriga , 2016 .

[98]  Fangfei Li,et al.  Stability of a Switched Boolean Network Via Designing Switching Laws , 2016 .

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

[100]  Yuzhen Wang,et al.  Formulation and optimization control of a class of networked evolutionary games with switched topologies , 2016 .

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

[102]  Yuzhen Wang,et al.  State feedback based output tracking control of probabilistic Boolean networks , 2016, Inf. Sci..

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

[104]  C. R. Rao,et al.  SOLUTIONS TO SOME FUNCTIONAL EQUATIONS AND THEIR APPLICATIONS TO CHARACTERIZATION OF PROBABILITY DISTRIBUTIONS , 2016 .

[105]  James Lam,et al.  l1-gain analysis and model reduction problem for Boolean control networks , 2016, Inf. Sci..

[106]  Yang Liu,et al.  Partial stability and stabilisation of Boolean networks , 2016, Int. J. Syst. Sci..

[107]  E. Fornasini,et al.  Recent developments in Boolean networks control , 2016 .

[108]  Guodong Zhao,et al.  Invertibility of higher order k-valued logical control networks and its application in trajectory control , 2016, J. Frankl. Inst..

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

[110]  Daizhan Cheng,et al.  Control of Large-Scale Boolean Networks via Network Aggregation , 2016, IEEE Transactions on Neural Networks and Learning Systems.

[111]  Yang Liu,et al.  Disturbance Decoupling of Singular Boolean Control Networks , 2016, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

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

[113]  Lijun Zhang,et al.  An Application of Invertibility of Boolean Control Networks to the Control of the Mammalian Cell Cycle , 2017, IEEE/ACM Transactions on Computational Biology and Bioinformatics.

[114]  Hongwei Chen,et al.  Partial Synchronization of Interconnected Boolean Networks , 2017, IEEE Transactions on Cybernetics.

[115]  Qing Zhang,et al.  Calculation of Siphons and Minimal Siphons in Petri Nets Based on Semi-Tensor Product of Matrices , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[116]  Tingwen Huang,et al.  Controllability and Synchronization Analysis of Identical-Hierarchy Mixed-Valued Logical Control Networks , 2017, IEEE Transactions on Cybernetics.