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

10.1016/0022-5193(69)90015-0

10.1109/TAC.2015.2404471

10.1016/j.automatica.2012.01.021

10.1109/TFUZZ.2011.2174243

10.1007/s11768-012-1178-4

10.1016/j.automatica.2015.03.014

Shmulevich I., 2002, Probabilistic Boolean networks: a rule‐based uncertainty model for gene regulatory networks, IEEE/ACM Trans. Comput. Biol. Bioinf., 18, 261

Cheng D., 2010, Analysis and control of Boolean networks: a semi‐tensor product approach

10.1109/TAC.2010.2043294

10.1109/TNNLS.2014.2305722

10.1137/140991820

10.1051/cocv/2013059

10.1109/TAC.2014.2298731

10.1016/j.sysconle.2011.09.019

10.1137/120902331

10.1016/j.automatica.2011.01.040

10.1186/1471-2105-12-295

Hochma G., 2013, Symbolic dynamics of Boolean control networks, Automatica, 49, 2525, 10.1016/j.automatica.2013.05.004

10.1016/j.automatica.2015.07.016

10.1016/j.automatica.2013.02.027

10.1016/j.automatica.2013.09.023

Li F., 2015, Pinning control design for the stabilization of Boolean networks, IEEE Trans. Neural Netw. Learn. Syst., 27, 1585, 10.1109/TNNLS.2015.2449274

10.1002/rnc.1581

10.1080/00207721.2014.973928

10.1016/j.automatica.2015.08.006

10.1162/NECO_a_00819

10.1016/j.sysconle.2013.09.008

10.1109/TAC.2013.2238092

10.1016/j.automatica.2009.03.006

10.1016/j.automatica.2012.08.029

10.1016/j.automatica.2012.03.022

10.1016/j.automatica.2011.09.016

10.1109/TAC.2015.2478123

Liu Y., 2015, Controllability of probabilistic Boolean control networks based on transition probability matrices, Bul. Inst. Politeh. ‘Gheorghe Gheorghiu‐Dej’ Bucur. Ser. Autom., 52, 340

10.1016/j.sysconle.2010.09.002

10.1002/mma.2773

10.1109/TAC.2010.2050161

10.1016/j.sysconle.2014.07.008

10.1109/TCBB.2015.2509969

10.1016/j.automatica.2012.10.010

10.1109/TNNLS.2012.2190094

10.1109/TNNLS.2015.2461012

Lu J., 2014, Synchronization in output‐coupled temporal Boolean networks, Sci. Rep., 4, 6292, 10.1038/srep06292

Zhang H., 2016, Synchronization analysis and design of coupled Boolean networks based on periodic switching sequences, IEEE Trans. Neural Netw. Learn. Syst., 27, 2754, 10.1109/TNNLS.2015.2499446

10.1109/TNNLS.2013.2248092

Li H., 2015, Output tracking control of Boolean control networks via state feedback: constant reference signal case, Bul. Inst. Politeh. ‘Gheorghe Gheorghiu‐Dej’ Bucur. Ser. Autom., 59, 54

Li H., 2016, Output regulation of Boolean control networks, IEEE Trans. Autom. Control

10.1109/TAC.2015.2396646

Cheng D., 2010, Realization of Boolean control networks, Bul. Inst. Politeh. ‘Gheorghe Gheorghiu‐Dej’ Bucur. Ser. Autom., 46, 62

10.1016/j.automatica.2014.02.039

10.1016/j.automatica.2015.01.023

10.1016/j.automatica.2016.01.075

10.1109/TAC.2010.2101430

Li F., 2012, Controllability and optimal control of a temporal Boolean network, IEEE Trans. Neural Netw., 34, 10, 10.1016/j.neunet.2012.06.002

10.1016/j.apm.2014.11.028

10.1109/TAC.2013.2294821

10.1137/110844660

10.1080/23307706.2015.1098577

10.1142/8323

10.1016/j.jtbi.2006.09.023

10.1109/TAC.2013.2251819

10.1109/TNNLS.2015.2442593

Li H., 2015, Logical matrix factorization with application to topological structure analysis of Boolean network, IEEE Trans. Autom. Control, 60, 1380, 10.1109/TAC.2014.2348216

10.1016/j.ins.2016.02.010

10.1016/j.arcontrol.2012.03.002

10.1109/TAC.2010.2092290

10.1016/j.jfranklin.2016.07.004

10.1007/s11424-013-2047-z

10.1109/TAC.2013.2292733

10.1016/j.automatica.2012.05.053

Liu Z., 2014, Two kinds of optimal controls for probabilistic mix‐valued logical dynamic networks, Sci. China Inform. Sci., 57, 1, 10.1007/s11432-013-4796-7

Zhong J., 2016, Controllability and synchronization analysis of identical‐hierarchy mixed‐valued logical control networks, IEEE Trans. Cybern., 1

10.1007/s11768-015-5007-4

10.1109/TAC.2015.2419874

10.1016/j.sysconle.2015.04.007

Wang Y., 2012, A matrix approach to graph maximum stable set and coloring problems with application to multi‐agent systems, Bul. Inst. Politeh. ‘Gheorghe Gheorghiu‐Dej’ Bucur. Ser. Autom., 48, 1227

Zhao D., 2014, Novel way to research nonlinear feedback shift register, Sci. China Inform. Sci., 57, 1, 10.1007/s11432-013-5058-4

10.1109/TCOMM.2016.2557330

Han X., 2015, Calculation of siphons and minimal siphons in petri nets based on semi‐tensor product of matrices, IEEE Trans. Syst. Man Cybern. Syst., 47, 531, 10.1109/TSMC.2015.2507162

Xu X., 2013, Matrix approach to model matching of asynchronous sequential machines, IEEE Trans. Autom. Control, 11, 2974, 10.1109/TAC.2013.2259957

10.1016/j.nahs.2016.03.009

Cheng D., 2014, Evolutionarily stable strategy of networked evolutionary games, IEEE Trans. Neural Netw. Learn. Syst., 25, 1335, 10.1109/TNNLS.2013.2293149

10.1016/j.automatica.2016.03.027

10.1016/j.automatica.2016.01.074

10.1109/TFUZZ.2012.2232932

Khatri C., 1968, Solutions to some functional equations and their applications to characterization of probability distributions, Sankhyā, 30, 167

10.1109/TAC.2014.2330432

10.1016/j.sysconle.2015.11.004

Li R., 2012, Synchronization in an array of coupled Boolean networks, Mod. Phys. Lett. A, 376, 3071, 10.1016/j.physleta.2012.08.037

10.1016/j.neucom.2014.05.065

10.1038/srep13437

10.1109/TNN.2011.2126594

Zhang K., 2016, An application of invertibility of Boolean control networks to the control of the mammalian cell cycle, IEEE/ACM Trans. Comput. Biol. Bioinf., 14, 225, 10.1109/TCBB.2016.2515600

10.1109/TAC.2015.2501365

10.1109/TNNLS.2013.2246187

Li H., 2016, State feedback based output tracking control of probabilistic Boolean networks, Inf. Sci., 349, 1, 10.1016/j.ins.2016.02.035

Li F., 2016, Pinning control design for the synchronization of two coupled Boolean networks, IEEE Trans. Circ. Syst. II Express Briefs, 63, 309

Li F., 2015, Stability of a switched Boolean network via designing switching laws, Qual. Theory Dyn. Syst., 15, 1

Li F., 2014, Synchronization of coupled large‐scale Boolean networks, Chaos, 24, 013115, 10.1063/1.4863858

Chen H., 2016, Partial synchronization of interconnected Boolean networks, IEEE Trans. Syst. Man Cybern. Syst., 47, 258

10.1016/j.automatica.2013.04.038

10.1016/j.automatica.2014.10.020

Bof N., 2015, Output feedback stabilization of Boolean control networks, Automatica, 1, 1

Rushdi A., 2013, A tutorial exposition of semi‐tensor products of matrices with a stress on their representation of Boolean functions, J. King Abdulaziz Univ. FCIT

Li F., 2016, Feedback control design for the complete synchronisation of two coupled Boolean networks, Int. J. Syst. Sci., 47, 2996, 10.1080/00207721.2015.1053834

Shmulevich I., 2002, Gene perturbation and intervention in probabilistic Boolean networks, IEEE/ACM Trans. Comput. Biol. Bioinf., 18, 1319

10.1016/j.automatica.2014.02.034

10.1016/j.neucom.2013.11.031

Faryabi B., 2009, Intervention in context‐sensitive probabilistic Boolean networks revisited, EURASIP J. Bioinform. Syst. Biol., 2009, 1, 10.1155/2009/360864

10.1016/j.ejcon.2014.01.001

Xiao Y., 2007, The impact of function perturbations in Boolean networks, IEEE/ACM Trans. Comput. Biol. Bioinf., 23, 1265

10.1016/j.automatica.2013.08.008

10.1145/1925019.1925026

10.1016/j.automatica.2014.05.005

10.1016/j.automatica.2012.03.022

Wu Y., 2013, A logical dynamical systems approach to modeling and control of residual gas fraction in IC engines, IFAC Proc., 46, 495, 10.3182/20130904-4-JP-2042.00155