Synthesis of Boolean networks via semi-tensor product

Proceedings of the 30th Chinese Control Conference, CCC 2011

Volumn , Issue , 2011, Pages 6-17

  Cheng, Daizhan ^a   Qi, Hongsheng ^a   Zhao, Yin ^a  

^a INSTITUTE OF GEOLOGY AND GEOPHYSICS   (China)

Author keywords

Algebraic Form; Boolean Network; Control; Semi tensor Product; Systems Biology

Indexed keywords

ALGEBRAIC FORM; BOOLEAN NETWORKS; CONTROL NETWORK; CONTROL PROBLEMS; DISTURBANCE DECOUPLING; FUNDAMENTAL TOOLS; KEY TECHNIQUES; LOGICAL SYSTEM; MATHEMATICAL FRAMEWORKS; MATRIX; OPTIMAL CONTROLS; SEMI-TENSOR PRODUCT; STATE-SPACE DESCRIPTION; SYSTEMS BIOLOGY; TOPOLOGICAL STRUCTURE;

BOOLEAN ALGEBRA; CONTROL; STABILIZATION;

TENSORS;

EID: 80053060641     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (56)

1. T. Akutsu, S. Juhara, O. Maruyama, S. Miyano. A sysem for identifying genetic networks from gene expression patterns produced by gene disruptions and overexpressions. Genome Inform. Ser Workshop Genome Inform., 9: 151-160, 1998.
2. T. Akutsu, S. Moyano, S. Kuhara. Algorithms for identifying Boolean networks and related biological notworks based on matrix multiplication and fingerprint function. J. Comput. Bio., 7(3/4): 331-343, 2000.
3. T. Akutsu, M. Hayashida, W. Ching, M.K. Ng, Control of Boolean networks: Hardness results and algorithms for tree structured networks, J. Theo. Bio., 244: 670-679, 2007.
4. R. Albert, H.G. Othmer. The topology and signature of the regulatory interactions predict the expression pattern of the segment polarity genes in Drospphila melanogaster. J. Theor. Bio., 223(1): 1-18, 2003.
5. J. Aracena, J. Demongeot, E. Goles. On limit cycles of monotone functions with symmetric connection graph. Theoretical Computer Science, 322: 237-244, 2004.
6. P. Bak. How Nature Works. London: Copernicus, 1996 (translated to Chinese by W. Li, X. Cai, Wuhan: Huazhong Normal Univ. Press, 2001).
7. Y. Benenson, B. Gll, U. Ben-Dor, R. Adar, E. Shapiro. An automonous molecular computer for logical control of gene expression. Nature, 429: 423-429, 2004.
8. S. Bornholdt. Less is more in modeling large genetic networks. Science, 310: 451, 2005.
9. C. Carlet. Boolean Functions for Cryptography and Error Correcting Codes, Chapter of the monography "Boolean Models and Methods in Mathematics, Computer Science, and Engineering", Y. Crama and P. Hammer (Eds.), Cambridge University Press, 2010: 257-397.
10. D. Cheng. Semi-tensor product of matrices and its applications: A survey, ICCM 2007, 3: 641-668, 2007.
11. D. Cheng, X. Hu, Y. Wang. Non-regular feedback linearization of nonlinear systems via a normal form algorithm, Automatica, 40(3): 439-447, 2004.
12. D. Cheng, H. Qi. Semi-tensor Product of Matrices - Theory and Application, Science Press, Beijing, 2007. (in Chinese)
13. D. Cheng, H. Qi. Controllability and observability of Boolean control networks, Automatica, 45(7): 1659-1665, 2009.
14. D. Cheng. Input-state approach to Boolean networks, IEEE Trans. Neural Networks, 20(3): 512-521, 2009.
15. D. Cheng, Z. Li, H. Qi. Realization of Boolean control networks, Automatica, 46(1): 62-69, 2010
16. D. Cheng, H. Qi. State space analysis of Boolean networks, IEEE Trans. Neural Networks, 24(4): 584-594, 2010.
17. D. Cheng, H. Qi,. A linear representation of dynamics of Boolean networks, IEEE Trans. Aut. Contr., 55(10): 2251-2258, 2010
18. D. Cheng, H. Qi, Z. Li. Analysis and Control of Boolean Networks - A Semi-tensor Product Approach, Springer, London, 2011.
19. D. Cheng,. Disturbance decoupling of Boolean control networks, IEEE Trans. Aut. Contr., 56(1): 2-10, 2011.
20. D. Cheng, H. Qi, Z. Li, J.B. Liu. Stability and stabilization of Boolean networks, Int. J. Robust & Nonlinear Contr., 21(2): 134-156, 2011.
21. D. Cheng, H. Qi, Z. Li,. Model contruction of Boolean network via observed data, IEEE Transactions on Neural Networks, 22(4): 525-536, 2011.
22. D. Cheng, Y. Zhao. Identification of Boolean control networks, Automatica, 47(4): 702-710, 2011.
23. D. Cheng, Y. Zhao, X. Xu. From Boolean algebra to Boolean calculus, Contr. Theory and App. (to appear) (in Chinese)
24. D. Cheng, H. Qi, Y. Zhao. An introduction to Semi-tensor Product of Matrices and Its Applications, World Scientific, Singapore. (to appear)
25. D. Cheng, X. Xu. Bi-decomposition of logical mappings via semi-tensor product of matrices, submitted for pub.
26. A. Data, A. Choudhary, M.L. Bittner, E.R. Dougherty. External control in Markovian genetic regulatory networks, Mach. Learn, 52: 169-191, 2003.
27. B. Drossel. On the number of attractors of random Boolean networks, Singal Processing, 85: 1993-2013, 2005.
28. S. Eggersgluss, R. Drechsler. On the influence of Boolean encodings in SAT-based ATPG for path delay faults, Proc. IEEE Mult. Valued Logic, Dallas, 2008: 94-99.
29. C. Farrow, J. Heidel. Scalar equations for synchronous Boolean networks with biological applications, IEEE Trans. Neural Networks, 15(2): 348-354, 2004.
30. A. Friedman. What is mathematical biology and how useful is it? Notices of the AMS, 57(7): 851-857, 2010.
31. J. Heidel, J. Maloney, J. Farrow, and J. Rogers. Finding cycles in synchronous Boolean networks with applications to biochemical systems, Int. J. Bifurcat. Chaos, 13(3): 535-552, 2003.
32. S. Huang, D.E. Ingber. Shape-dependent control of cell growth, differentiation, and apoptosis: Switching between attractors in cell regulatory networks, Experimental Cell Research, 261: 91-203, 2000.
33. T. Ideker, T. Galitski, L. Hood. A new approach to decoding life: Systems biology, Annu. Rev. Genomics Hum. Genet., 2: 343-372, 2001.
34. D.J. Irons. Improving the efficiency of attractor cycle identification in Boolean networks, Physica D, 217: 7-21, 2006.
35. S.A. Kauffman. Metabolic stability and epigenesis in randomly constructed genetic nets, J. Theoretical Biology, 22: 437-467, 1969.
36. S.A. Kauffman. The Origins of Order, Self-Organization and Selection in Evolution, Oxford Univ. Press, New York, 1993.
37. S.A. Kauffman. At Home in the Universe, Penguin Books, London, 1995. (Translated to Chinese by S. Li, B. Xu, Published by Hunan Science & Tech Press, 2003)
38. H. Kitano (Edited). Foundations of Systems Biology, MIT Press, Cambridge, 2001. (translated to Chinese by B. Liu, Y. Zhou, Chemical Eng. Press, Beijing, 2007)
39. D. Laschov, M. Margaliot. A maximum principle for singleinput Boolean control networks, IEEE Trans. Aut. Contr., 46(4): 913-917, 2011.
40. F. Li, T. Long, Y. Lu, Q. Ouyang, C. Tang. The yeast cell cycle network is robustly designed, Proceedings of the National Academy of Sceinces, 101(14): 4781-4786, 2004.
41. F. Li, J. Sun. Controllability of Boolean control networks with time delays in states, Automatica, 47(3): 603-607, 2011.
42. H. Lodish, A. Berk, S. L. Zipursky, P. Matsudaira, D. Baltimore, J. Darnell. Molecular Cell Biology, 4th Ed., W. H. Freeman, New York, 2000.
43. J.F. Lynch. Critical points for random Boolean networks, Physica D, 172: 49-64, 2002.
44. W.S. McCulloch, W.H. Pitts. A logical calculus of the ideas immanent in nervous activity, Bull. Math. Biophys., 5: 115-133, 1943.
45. S.W. Mei, F. Liu, A.C. Xue. Semi-tensor Product Approach to Transient Analysis of Power Systems, Tsinghua Univ. Press, Beijing, 2010. (in Chinese)
46. C. Posthoff, B. Steinbach. Logic Functions and Equations - Binary Models for Computer Science, Springer, Dordrecht, 2004.
47. F. Robert. Discrete Iterations: A Metric Study, Translated by J. Rokne, Springer-Verlag, Berlin, 1986.
48. I. Shmulevich, R. Dougherty, S. Kim, W. Zhang. Probabilistic Boolean neworks: A rule-based uncertainty model for gene regulatory networks, Bioinformatics, 2(18): 261-274, 2002.
49. I. Shmulevich, H. Lähdesmäki, E.R. Dougherty, J. Astola,W. Zhang. The role of certain Post classes in Boolean network models of genetic networks, Proceedings of the National Academy of Sciences, 100(19): 10734-10739, 2003.
50. C.Q. Song, J.L. Zhao, X.D. Wang. Reverse order law for the weighted Moore2Penrose inverse of a triple left matrix semitensor product, Journal of Shandong University (Natural Science), 44(10): 80-86, 2009. (in Chinese)
51. M.M. Waldrop. Complexity, The Emerging Science at the Edge of Order and Chaos, Simon & Schuster, New York, 1992. (Translated to Chinese by L. Chen, published by San- Lian Book Store, Beijing, 1997)
52. H.M. Wang, X.W. Liu, J.L. Zhao. The inequalities for the eigenvalues of the left semi-tensor product of matrices, Journal of Dezhou University, 25(4): 15-17, 2009. (in Chinese)
53. A.C. Xue, F.F. Wu, Q. Lu, S.W. Mei. Power sustem dynamic security region and its approximations, IEEE Trans. Circ. Sys. I, 53(12): 2849-2859, 2006.
54. Y. Zhao, H. Qi, D. Cheng. Input-state incidence matrix of Boolean control networks and its applications, Systems and Control Letters, 59(12): 767-774, 2010.
55. Y. Zhao, Z. Li, D. Cheng. Optimal control of logical control networks, IEEE Transactions on Automatic Control, Doi:10.1109/TAC.2010.2092290. (to appear)
56. Y. Zhao, D. Cheng, New algorithm for optimization of mixvalued logical control networks. (submitted)