×

zbMATH — the first resource for mathematics

Input-state incidence matrix of Boolean control networks and its applications. (English) Zbl 1217.93026
Summary: The input-state incidence matrix of a control Boolean network is proposed. It is shown that this matrix contains complete information of the input-state mapping. Using it, an easily verifiable necessary and sufficient condition for the controllability of a Boolean control network is obtained. The corresponding control which drives a point to a given reachable point is designed. Moreover, certain topological properties such as the fixed points and cycles of a Boolean control network are investigated. Then, as another application, a sufficient condition for the observability is presented. Finally, the results are extended to mix-valued logical control systems.

MSC:
93B03 Attainable sets, reachability
93B07 Observability
93C05 Linear systems in control theory
93C55 Discrete-time control/observation systems
PDF BibTeX XML Cite
Full Text: DOI
References:
[1] Kauffman, S., Metabolic stability and epigenesis in randomly constructed genetic nets., J. theoret. biol., 22, 3, 437, (1969)
[2] Kauffman, S., The origins of order: self-organization and selection in evolution, (1993), Oxford University Press New York
[3] Kauffman, S., At home in the universe, (1995), Oxford Univ. Press
[4] Albert, R.; Othmer, H., The topology and signature of the regulatory interactions predict the expression pattern of the segment polarity genes in drosophila melanogaster, J. theoret. biol., 223, 1, 1-18, (2003)
[5] Aldana, M., Boolean dynamics of networks with scale-free topology, Physica D, 185, 1, 45-66, (2003) · Zbl 1039.94016
[6] Drossel, B.; Mihaljev, T.; Greil, F., Number and length of attractors in a critical kauffman model with connectivity one, Phys. rev. lett., 94, 8, 88701, (2005)
[7] Datta, A.; Choudhary, A.; Bittner, M.; Dougherty, E., External control in Markovian genetic regulatory networks: the imperfect information case, Bioinformatics, 20, 924-930, (2004)
[8] Pal, R.; Datta, A.; Bittner, M.L.; Dougherty, E.R., Optimal infinite horizon control for probabilistic Boolean networks, IEEE trans. signal process., 54, 2375-2387, (2006) · Zbl 1374.94952
[9] Akutsu, T.; Hayashida, M.; Ching, W.; Ng, M., Control of Boolean networks: hardness results and algorithms for tree structured networks, J. theoret. biol., 244, 4, 670-679, (2007)
[10] Cheng, D., Sime-tensor product of matrices and its applications—a survey, (), 641-668
[11] D. Cheng, H. Qi, Z. Li, J.B. Liu, Stability and stabilization of boolean networks, Int. J. Robust Nonlinear Contr., in press (doi:10.1002/rnc.1581). · Zbl 1213.93121
[12] Cheng, D., Input-state approach to Boolean networks, IEEE trans. neural netw., 20, 3, 512-521, (2009)
[13] Cheng, D.; Li, Z., Solving logic equation via matrix expression, Front. electr. electron. eng. China, 4, 3, 259-269, (2009)
[14] Cheng, D.; Li, Z.; Qi, H., Realization of Boolean control networks, Automatica, 46, 1, 62-69, (2010) · Zbl 1214.93031
[15] Y. Mu, L. Guo, Optimization and identification in a non-equilibrium dynamic game, in: Proc. CDC-CCC’09, 2009, pp. 5750-5755.
[16] Li, Z.; Cheng, D., Algebraic approach to dynamics of multi-valued networks, Int. J. bifurcation and chaos, 20, 3, 561-582, (2010) · Zbl 1193.94003
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.