摘要
Identification of predictors of Boolean networks from observed data is an earlier-stage work of determining Boolean networks via experiments. This paper aims to identify predictors that are consistent with the observed data from experiments. Based on the algebraic expression of Boolean works which is established by aid of a new modelling tool, called semi-tensor product of matrices which is proposed in recent years, we propose a method of partially determining logic functions of a node via observed experimental data. Further, a necessary and sufficient condition that judging whether a set of candidate nodes can be a predictor of a node is established. The approach is quite different from others such as computer-algorithm-based and provides a new angle and means to understand and analyze the structures of Boolean networks. Finally, an example is provided to demonstrate how the condition identifies all the possible predictors of a node.
Identification of predictors of Boolean networks from observed data is an earlier-stage work of determining Boolean networks via experiments. This paper aims to identify predictors that are consistent with the observed data from experiments. Based on the algebraic expression of Boolean works which is established by aid of a new modelling tool, called semi-tensor product of matrices which is proposed in recent years, we propose a method of partially determining logic functions of a node via observed experimental data. Further, a necessary and sufficient condition that judging whether a set of candidate nodes can be a predictor of a node is established. The approach is quite different from others such as computer-algorithm-based and provides a new angle and means to understand and analyze the structures of Boolean networks. Finally, an example is provided to demonstrate how the condition identifies all the possible predictors of a node.
引文
[1]S.Kauffman,Metabolic stability and epigenesis in randomly constructed genetic nets.Journal of Theoretical Biology,22(3):437-467,1969.
[2]A.Arkin,J.Ross,H.Mcadams,Stochastic kinetic analysis of developmental pathway bifurcation in phageλ-infected Escherichia coli cells.Genetics,149(4):1633-1648,1998.
[3]S.Kim,H.Li,E.R.Dougherty,et al.,Can Markov chain models mimic biological regulation.Journal of Biological Systems,10(04):337-357,2002.
[4]N.Geard,J.Wiles,A gene network model for developing cell lineages.Artificial Life,11(3):249-267,2005.
[5]F.Wu,W.Zhang,A.Kusalik.Modeling gene expression from microarray expression data with state-space equations;in proceedings of the Pacific Symposium on Biocomputing,2004:581-592.
[6]R.Pal,I.Ivanov,A.Datta,et al.,Generating Boolean networks with a prescribed attractor structure.Bioinformatics,21(21):4021-4025,2005.
[7]M.Maucher,B.Kracher,M.Kühl,et al.,Inferring Boolean network structure via correlation.Bioinformatics,27(11):1529-1536,2011.
[8]V.Chaitankar,P.Ghosh,E.Perkins,et al.,A novel gene network inference algorithm using predictive minimum description length approach.BMC systems biology,4(Suppl1):S7,2010.
[9]S.Haider,R.Pal,Boolean network inference from time series data incorporating prior biological knowledge.BMC genomics,13(Suppl 6):S9,2012.
[10]D.Fierens,G.Van Den Broeck,J.Renkens,et al.,Inference and learning in probabilistic logic programs using weighted boolean formulas.Theory and Practice of Logic Programming,15(3):358-401,2015.
[11]C.Müssel,M.Hopfensitz,H.A.Kestler,Bool Net—an R package for generation,reconstruction and analysis of Boolean networks.Bioinformatics,26(10):1378-1380,2010.
[12]D.Cheng,H.Qi,Y.Zhao.An Introduction to Semi-tensor Product of Matrices and Its Applications.Singapore:World Scientific Publishing Co.Pte.Ltd.,2012.
[13]Y.Liu,L.Sun,J.Lu,et al.,Feedback Controller Design for the Synchronization of Boolean Control Networks.IEEE Transactions on Neural Networks and Learning Systems,27(9):1991-1996,2015.
[14]Y.Zou,J.Zhu,Cycles of periodically time-variant Boolean networks.Automatica,51:175-179,2015.
[15]D.Cheng,H.Qi,T.Liu,et al.,A note on observability of Boolean control networks.Systems&Control Letters,87:76-82,2016.
[16]H.Li,Y.Wang,L.Xie,Output tracking control of Boolean control networks via state feedback:Constant reference signal case.Automatica,59:54-59,2015.
[17]D.Laschov,M.Margaliot,On Boolean control networks with maximal topological entropy.Automatica,50(11):2924-2928,2014.
[18]Y.Yan,Z.Chen,J.Yue,et al.,STP approach to model controlled automata with application to reachability analysis of DEDS.Asian Journal of Control,18(6):2027-2036,2016.
[19]E.Fornasini,M.Valcher,Fault detection analysis of Boolean control networks.IEEE Trans on Automatic Control,60(10):2734-2739,2015.
[20]J.Feng,H.Lv,D.Cheng,Multiple fuzzy relation and its application to coupled fuzzy control.Asian Journal of Control,15(5):1313-1324,2013.
[21]F.Li,Feedback control design for the complete synchronisation of two coupled Boolean networks.International Journal of Systems Science,47(12):2996-3003,2015.
[22]D.Cheng,F.He,H.Qi,et al.,Modeling,analysis and control of networked evolutionary games.IEEE Transactions on Automatic Control,60(9):2402-2415,2015.
[23]H.Qi,Y.Wang,T.Liu,et al.,Vector space structure of finite evolutionary games and its application to strategy profile convergence.Journal of Systems Science and Complexity,29(3):602-628,2016.
[24]X.Xu,Y.Hong,Leader-following consensus of multi-agent systems over finite fields.ar Xiv preprint ar Xiv:14051906,2014.
[25]Y.Yan,Z.Chen,Z.Liu,Semi-tensor product approach to controlliability and stabilizability of finite automata.Journal of Systems Engineering and Electronics,26(1):134-141,2015.
[26]Z.Liu,Y.Wang,H.Li,Controllability of Context Sensitive Probabilistic Mix Valued Logical Control Networks with Constraints.Asian Journal of Control,17(1):246-254,2015.
[27]J.Lu,J.Zhong,D.W.Ho,et al.,On Controllability of Delayed Boolean Control Networks.SIAM Journal on Control and Optimization,54(2):475-494,2016.
[28]D.Cheng,Y.Dong,Semi-tensor product of matrices and its some applications to physics.Methods and Applications of Analysis,10(4):565-588,2003.
[29]D.Cheng,Some applications of semi-tensor product of matrices in algebra.Computers and Mathematics with Applications,52(6):1045-1066,2006.
[30]D.Cheng,H.Qi,Controllability and observability of Boolean control networks.Automatica,45(7):1659-1667,2009.
[31]P.Lin,S.Khatri.Inference of gene predictor set using Boolean satisfiability;in proceedings of 2010 IEEE International Workshop on the Genomic Signal Processing and Statistics,2010.