Hostname: page-component-cd9895bd7-gbm5v Total loading time: 0 Render date: 2024-12-27T10:25:36.708Z Has data issue: false hasContentIssue false

Some necessary and sufficient conditions for the outputcontrollability of temporal Boolean control networks

Published online by Cambridge University Press:  23 December 2013

Yang Liu
Affiliation:
Department of Mathematics, Zhejiang Normal University, 321004 Jinhua, China. [email protected]
Jianquan Lu
Affiliation:
Department of Mathematics, Southeast University, 210096 Nanjing, China
Bo Wu
Affiliation:
Academic Affairs Division, Zhejiang Normal University, Jinhua 321004, China
Get access

Abstract

This paper investigates the output controllability problem of temporal Boolean networkswith inputs (control nodes) and outputs (controlled nodes). A temporal Boolean network isa logical dynamic system describing cellular networks with time delays. Using semi-tensorproduct of matrices, the temporal Boolean networks can be converted into discrete timelinear dynamic systems. Some necessary and sufficient conditions on the outputcontrollability via two kinds of inputs are obtained by providingcorresponding reachable sets. Two examples are given to illustrate the obtainedresults.

Type
Research Article
Copyright
© EDP Sciences, SMAI 2013

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Akutsu, T., Hayashida, M., Ching, W. and Ng, M., Control of Boolean networks: hardness results and algorithms for tree structured networks. J. Theor. Biol. 244 (2007) 670679. Google ScholarPubMed
Cao, J. and Ren, F., Exponential stability of discrete-time genetic regulatory networks with delays. IEEE Transactions on Neural Networks 19 (2008) 520523. Google ScholarPubMed
Cao, J., Yuan, K. and Li, H., Global asymptotical stability of recurrent neural networks with multiple discrete delays and distributed delays. IEEE Transactions on Neural Networks 17 (2006) 16461651. Google ScholarPubMed
Chen, L. and Aihara, K., Stability of genetic regulatory networks with time delay. IEEE Transactions on Circuits and Systems I: Fundamental Theory Appl. 49 (2002) 602608. Google Scholar
Chen, H. and Sun, J., A new approach for global controllability of higher order Boolean control network. Neural Networks 39 (2013) 1217. Google ScholarPubMed
Cheng, D., Semi-tensor product of matrices and its applicationsa survey. Proc. of ICCM 3 (2007) 641668. Google Scholar
Cheng, D., Input-state approach to Boolean networks. IEEE Transactions on Neural Networks 20 (2009) 512521. Google ScholarPubMed
Cheng, D. and Qi, H., Controllability and observability of Boolean control networks. Automatica 45 (2009) 16591667. Google Scholar
Cheng, D. and Qi, H., A linear representation of dynamics of Boolean networks. IEEE Transactions on Automatic Control 55 (2010) 22512258. Google Scholar
Cheng, D., Li, Z. and Qi, H., Realization of Boolean control networks. Automatica 46 (2010) 6269. Google Scholar
D. Cheng, H. Qi and Z. Li, Analysis and Control of Boolean Networks: A Semi-tensor Product Approach. Springer Verlag (2011).
C. Chi-Tsong, Linear System Theory and Design (1999).
Chyung, D., On the controllability of linear systems with delay in control. IEEE Transactions on Automatic Control 15 (1970) 255257. Google Scholar
C. Cotta, On the evolutionary inference of temporal Boolean networks. Lect. Notes Comput. Sci. (2003) 494–501.
C. Fogelberg and V. Palade, Machine learning and genetic regulatory networks: A review and a roadmap, Foundations of Computational, Intelligence 1 (2009) 3–34.
Ghil, M., Zaliapin, I. and Coluzzi, B., Boolean delay equations: A simple way of looking at complex systems. Physica D Nonlinear Phenomena 237 (2008) 29672986. Google Scholar
Hansen, S. and Imanuvilov, O., Exact controllability of a multilayer rao-nakra plate with clamped boundary conditions. ESAIM: COCV 17 (2011) 11011132. Google Scholar
He, W. and Cao, J., Exponential synchronization of hybrid coupled networks with delayed coupling. IEEE Transactions on Neural Networks 21 (2010) 571583. Google ScholarPubMed
Huang, S. and Ingber, D., Shape-dependent control of cell growth, differentiation, and apoptosis: switching between attractors in cell regulatory networks. Experimental Cell Research 261 (2000) 91103. Google ScholarPubMed
T. Kailath, Linear systems, Vol. 1. Prentice-Hall Englewood Cliffs, NJ (1980).
Kauffman, S., Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22 (1969) 437467. Google ScholarPubMed
S. Kauffman, The origins of order: Self organization and selection in evolution. Oxford University Press, USA (1993).
S. Kauffman, At home in the universe: The search for laws of self-organization and complexity. Oxford University Press, USA (1995).
Kavian, O. and Traoré, O., Approximate controllability by birth control for a nonlinear population dynamics model. ESAIM: COCV 17 (2011) 11981213. Google Scholar
K. Kobayashi, J. Imura and K. Hiraishi, Polynomial-time controllability analysis of Boolean networks. Amer. Control Confer. ACC’09. IEEE (2009) 1694–1699.
Laschov, D. and Margaliot, M., A maximum principle for single-input Boolean control networks. IEEE Transactions on Automatic Control 56 (2011) 913917. Google Scholar
Laschov, D. and Margaliot, M., Controllability of Boolean control networks via Perron-Frebenius theory. Automatica 48 (2012) 12181223. Google Scholar
D. Laschov and M. Margaliot, A pontryagin maximum principle for multi-input Boolean control networks, Recent Advances in Dynamics and Control of Neural Networks. In press.
Li, X., Rao, S. and Jiang, W., et al., Discovery of time-delayed gene regulatory networks based on temporal gene expression profiling. BMC bioinformatics 7 (2006) 26. Google ScholarPubMed
Li, F. and Sun, J., Controllability of Boolean control networks with time delays in states. Automatica 47 (2011) 603607. Google Scholar
Li, F., and Sun, J., Controllability of higher order Boolean control networks. Appl. Math. Comput. 219 (2012) 158169. Google Scholar
Li, F. and Sun, J., Stability and stabilization of Boolean networks with impulsive effects. Systems Control Lett. 61 (2012) 15. Google Scholar
Li, F., Sun, J. and Wu, Q., Observability of Boolean control networks with state time delays. IEEE Transactions on Neural Networks 22 (2011) 948954. Google ScholarPubMed
Y. Liu, H. Chen and B. Wu, Controllability of Boolean control networks with impulsive effects and forbidden states. Math. Meth. Appl. Sci. (2013). DOI: 10.1002/mma.2773. CrossRef
Liu, Y. and Zhao, S., Controllability for a class of linear time-varying impulsive systems with time delay in control input. IEEE Transactions on Automatic Control 56 (2011) 395399. Google Scholar
Lu, J., Ho, D. and Kurths, J., Consensus over directed static networks with arbitrary finite communication delays. Phys. Rev. E 80 (2009) 066121. Google ScholarPubMed
S. Lyu, Combining Boolean method with delay times for determining behaviors of biological networks, in Engrg. Medicine Biology Soc. EMBC 2009., IEEE (2009) 4884–4887.
Silvescu, A., Honavar, V., Temporal Boolean network models of genetic networks and their inference from gene expression time series. Complex Systems 13 (2001) 6178. Google Scholar
Tenenbaum, G. and Tucsnak, M., On the null-controllability of diffusion equations. ESAIM: COCV 17 (2011) 10881100. Google Scholar
Wang, Z., Lam, J., Wei, G., Fraser, K. and Liu, X., Filtering for nonlinear genetic regulatory networks with stochastic disturbances. IEEE Transactions on Automatic Control 53 (2008) 24482457. Google Scholar
G. Xie, L. Wang, Output controllability of switched linear systems. IEEE International Symposium on Intelligent Control (2003) 134–139.
G. Xie, J. Yu and L. Wang, Necessary and sufficient conditions for controllability of switched impulsive control systems with time delay, in 45th IEEE Conference on Decision and Control (2006) 4093–4098.
Yu, W., Lu, J., Chen, G., Duan, Z. and Zhou, Q., Estimating uncertain delayed genetic regulatory networks: an adaptive filtering approach. IEEE Transactions on Automatic Control 54 (2009) 892897. Google Scholar
Zhao, Y., Qi, H. and Cheng, D., Input-state incidence matrix of Boolean control networks and its applications. Systems and Control Lett. 59 (2010) 767774. Google Scholar
Zhao, S. and Sun, J., Controllability and observability for a class of time-varying impulsive systems. Nonlinear Analysis: Real World Appl. 10 (2009) 13701380. Google Scholar
Zhao, S. and Sun, J., Controllability and observability for time-varying switched impulsive controlled systems. Internat. J. Robust Nonl. Control 20 (2010) 13131325. Google Scholar
Zhao, S. and Sun, J., A geometric approach for reachability and observability of linear switched impulsive systems. Nonl. Anal. Theory, Methods Appl. 72 (2010) 42214229. Google Scholar