Some necessary and sufficient conditions for the output controllability of temporal Boolean control networks
ESAIM: Control, Optimisation and Calculus of Variations, Tome 20 (2014) no. 1, pp. 158-173.

This paper investigates the output controllability problem of temporal Boolean networks with inputs (control nodes) and outputs (controlled nodes). A temporal Boolean network is a logical dynamic system describing cellular networks with time delays. Using semi-tensor product of matrices, the temporal Boolean networks can be converted into discrete time linear dynamic systems. Some necessary and sufficient conditions on the output controllability via two kinds of inputs are obtained by providing corresponding reachable sets. Two examples are given to illustrate the obtained results.

DOI : https://doi.org/10.1051/cocv/2013059
Classification : 93B05,  92C42,  94C10
Mots clés : temporal boolean (control) network, semi-tensor product, output controllability, time delay
@article{COCV_2014__20_1_158_0,
     author = {Liu, Yang and Lu, Jianquan and Wu, Bo},
     title = {Some necessary and sufficient conditions for the output controllability of temporal Boolean control networks},
     journal = {ESAIM: Control, Optimisation and Calculus of Variations},
     pages = {158--173},
     publisher = {EDP-Sciences},
     volume = {20},
     number = {1},
     year = {2014},
     doi = {10.1051/cocv/2013059},
     zbl = {1282.93055},
     mrnumber = {3182695},
     language = {en},
     url = {http://www.numdam.org/articles/10.1051/cocv/2013059/}
}
Liu, Yang; Lu, Jianquan; Wu, Bo. Some necessary and sufficient conditions for the output controllability of temporal Boolean control networks. ESAIM: Control, Optimisation and Calculus of Variations, Tome 20 (2014) no. 1, pp. 158-173. doi : 10.1051/cocv/2013059. http://www.numdam.org/articles/10.1051/cocv/2013059/

[1] T. Akutsu, M. Hayashida, W. Ching and M. Ng, Control of Boolean networks: hardness results and algorithms for tree structured networks. J. Theor. Biol. 244 (2007) 670-679. | MR 2306355

[2] J. Cao and F. Ren, Exponential stability of discrete-time genetic regulatory networks with delays. IEEE Transactions on Neural Networks 19 (2008) 520-523.

[3] J. Cao, K. Yuan and H. Li, Global asymptotical stability of recurrent neural networks with multiple discrete delays and distributed delays. IEEE Transactions on Neural Networks 17 (2006) 1646-1651.

[4] L. Chen and K. Aihara, Stability of genetic regulatory networks with time delay. IEEE Transactions on Circuits and Systems I: Fundamental Theory Appl. 49 (2002) 602-608. | MR 1909315

[5] H. Chen and J. Sun, A new approach for global controllability of higher order Boolean control network. Neural Networks 39 (2013) 12-17.

[6] D. Cheng, Semi-tensor product of matrices and its applicationsa survey. Proc. of ICCM 3 (2007) 641-668. | Zbl 1059.15033

[7] D. Cheng, Input-state approach to Boolean networks. IEEE Transactions on Neural Networks 20 (2009) 512-521.

[8] D. Cheng and H. Qi, Controllability and observability of Boolean control networks. Automatica 45 (2009) 1659-1667. | MR 2879479 | Zbl 1184.93014

[9] D. Cheng and H. Qi, A linear representation of dynamics of Boolean networks. IEEE Transactions on Automatic Control 55 (2010) 2251-2258. | MR 2742217

[10] D. Cheng, Z. Li and H. Qi, Realization of Boolean control networks. Automatica 46 (2010) 62-69. | MR 2578273 | Zbl 1214.93031

[11] D. Cheng, H. Qi and Z. Li, Analysis and Control of Boolean Networks: A Semi-tensor Product Approach. Springer Verlag (2011). | MR 2761796 | Zbl 1209.93001

[12] C. Chi-Tsong, Linear System Theory and Design (1999).

[13] D. Chyung, On the controllability of linear systems with delay in control. IEEE Transactions on Automatic Control 15 (1970) 255-257. | MR 274077 | Zbl 0418.93009

[14] C. Cotta, On the evolutionary inference of temporal Boolean networks. Lect. Notes Comput. Sci. (2003) 494-501.

[15] C. Fogelberg and V. Palade, Machine learning and genetic regulatory networks: A review and a roadmap, Foundations of Computational, Intelligence 1 (2009) 3-34.

[16] M. Ghil, I. Zaliapin and B. Coluzzi, Boolean delay equations: A simple way of looking at complex systems. Physica D Nonlinear Phenomena 237 (2008) 2967-2986. | MR 2514922 | Zbl 1153.37315

[17] S. Hansen and O. Imanuvilov, Exact controllability of a multilayer rao-nakra plate with clamped boundary conditions. ESAIM: COCV 17 (2011) 1101-1132. | Numdam | MR 2859867 | Zbl 1238.93012

[18] W. He and J. Cao, Exponential synchronization of hybrid coupled networks with delayed coupling. IEEE Transactions on Neural Networks 21 (2010) 571-583.

[19] S. Huang and D. Ingber, Shape-dependent control of cell growth, differentiation, and apoptosis: switching between attractors in cell regulatory networks. Experimental Cell Research 261 (2000) 91-103.

[20] T. Kailath, Linear systems, Vol. 1. Prentice-Hall Englewood Cliffs, NJ (1980). | MR 569473 | Zbl 0454.93001

[21] S. Kauffman, Metabolic stability and epigenesis in randomly constructed genetic nets. J. Theor. Biol. 22 (1969) 437-467.

[22] S. Kauffman, The origins of order: Self organization and selection in evolution. Oxford University Press, USA (1993).

[23] S. Kauffman, At home in the universe: The search for laws of self-organization and complexity. Oxford University Press, USA (1995).

[24] O. Kavian and O. Traoré, Approximate controllability by birth control for a nonlinear population dynamics model. ESAIM: COCV 17 (2011) 1198-1213. | Numdam | MR 2859872 | Zbl 1236.93022

[25] K. Kobayashi, J. Imura and K. Hiraishi, Polynomial-time controllability analysis of Boolean networks. Amer. Control Confer. ACC'09. IEEE (2009) 1694-1699.

[26] D. Laschov and M. Margaliot, A maximum principle for single-input Boolean control networks. IEEE Transactions on Automatic Control 56 (2011) 913-917. | MR 2815405

[27] D. Laschov and M. Margaliot, Controllability of Boolean control networks via Perron-Frebenius theory. Automatica 48 (2012) 1218-1223. | MR 2917535 | Zbl 1244.93026

[28] 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.

[29] X. Li, S. Rao and W. Jiang, et al., Discovery of time-delayed gene regulatory networks based on temporal gene expression profiling. BMC bioinformatics 7 (2006) 26.

[30] F. Li and J. Sun, Controllability of Boolean control networks with time delays in states. Automatica 47 (2011) 603-607. | MR 2878317 | Zbl 1220.93010

[31] F. Li, and J. Sun, Controllability of higher order Boolean control networks. Appl. Math. Comput. 219 (2012) 158-169. | MR 2949582

[32] F. Li and J. Sun, Stability and stabilization of Boolean networks with impulsive effects. Systems Control Lett. 61 (2012) 1-5. | MR 2878678 | Zbl 1250.93078

[33] F. Li, J. Sun and Q. Wu, Observability of Boolean control networks with state time delays. IEEE Transactions on Neural Networks 22 (2011) 948-954.

[34] 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. | MR 3150957 | Zbl 1282.93054

[35] Y. Liu and S. Zhao, Controllability for a class of linear time-varying impulsive systems with time delay in control input. IEEE Transactions on Automatic Control 56 (2011) 395-399. | MR 2761109

[36] J. Lu, D. Ho and J. Kurths, Consensus over directed static networks with arbitrary finite communication delays. Phys. Rev. E 80 (2009) 066121.

[37] 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.

[38] A. Silvescu, V. Honavar, Temporal Boolean network models of genetic networks and their inference from gene expression time series. Complex Systems 13 (2001) 61-78. | MR 1853669 | Zbl 1167.92335

[39] G. Tenenbaum and M. Tucsnak, On the null-controllability of diffusion equations. ESAIM: COCV 17 (2011) 1088-1100. | Numdam | MR 2859866 | Zbl 1236.93025

[40] Z. Wang, J. Lam, G. Wei, K. Fraser and X. Liu, Filtering for nonlinear genetic regulatory networks with stochastic disturbances. IEEE Transactions on Automatic Control 53 (2008) 2448-2457. | MR 2466606

[41] G. Xie, L. Wang, Output controllability of switched linear systems. IEEE International Symposium on Intelligent Control (2003) 134-139.

[42] 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.

[43] W. Yu, J. Lu, G. Chen, Z. Duan and Q. Zhou, Estimating uncertain delayed genetic regulatory networks: an adaptive filtering approach. IEEE Transactions on Automatic Control 54 (2009) 892-897. | MR 2514830

[44] Y. Zhao, H. Qi and D. Cheng, Input-state incidence matrix of Boolean control networks and its applications. Systems and Control Lett. 59 (2010) 767-774. | MR 2779787 | Zbl 1217.93026

[45] S. Zhao and J. Sun, Controllability and observability for a class of time-varying impulsive systems. Nonlinear Analysis: Real World Appl. 10 (2009) 1370-1380. | MR 2502952 | Zbl 1159.93315

[46] S. Zhao and J. Sun, Controllability and observability for time-varying switched impulsive controlled systems. Internat. J. Robust Nonl. Control 20 (2010) 1313-1325. | MR 2680708 | Zbl 1206.93019

[47] S. Zhao and J. Sun, A geometric approach for reachability and observability of linear switched impulsive systems. Nonl. Anal. Theory, Methods Appl. 72 (2010) 4221-4229. | MR 2606779 | Zbl 1189.93021