System decomposition with respect to inputs for Boolean control networks

被引:103
作者
Zou, Yunlei [1 ]
Zhu, Jiandong [1 ]
机构
[1] Nanjing Normal Univ, Sch Math Sci, Inst Math, Nanjing 210023, Jiangsu, Peoples R China
关键词
Boolean control networks; System decomposition; Normal controllable form; Semi-tensor product; Perfect equal vertex partition; Vertex set uniting algorithm; CONTROLLABILITY; OBSERVABILITY; SYNCHRONIZATION;
D O I
10.1016/j.automatica.2014.02.039
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In this paper, the problem of system decomposition with respect to inputs is investigated for Boolean control networks (BCNs). First, based on the linear representation of BCNs, some algebraic equivalent conditions for the decomposability are obtained. Second, the concept of perfect equal vertex partition (PEVP) is proposed for BCNs. A necessary and sufficient graphical condition for the decomposability, i.e. the existence of a PEVP, is proposed. Third, for calculating a PEVP, an algorithm called Vertex Set Uniting Algorithm (VSUA) is designed. Finally, a biological example is analyzed to show the effectiveness of the proposed method. (C) 2014 Elsevier Ltd. All rights reserved.
引用
收藏
页码:1304 / 1309
页数:6
相关论文
共 26 条
[11]   Realization of Boolean control networks [J].
Cheng, Daizhan ;
Li, Zhiqiang ;
Qi, Hongsheng .
AUTOMATICA, 2010, 46 (01) :62-69
[12]   Controllability and observability of Boolean control networks [J].
Cheng, Daizhan ;
Qi, Hongsheng .
AUTOMATICA, 2009, 45 (07) :1659-1667
[13]   External control in Markovian genetic regulatory networks: the imperfect information case [J].
Datta, A ;
Choudhary, A ;
Bittner, ML ;
Dougherty, ER .
BIOINFORMATICS, 2004, 20 (06) :924-930
[14]   Dynamical analysis of a generic Boolean model for the control of the mammalian cell cycle [J].
Faure, Adrien ;
Naldi, Aurelien ;
Chaouiya, Claudine ;
Thieffry, Denis .
BIOINFORMATICS, 2006, 22 (14) :E124-E131
[15]   Singular Boolean networks: Semi-tensor product approach [J].
Feng JunE ;
Yao Juan ;
Cui Peng .
SCIENCE CHINA-INFORMATION SCIENCES, 2013, 56 (11) :1-14
[16]   On the periodic trajectories of Boolean control networks [J].
Fornasini, Ettore ;
Valcher, Maria Elena .
AUTOMATICA, 2013, 49 (05) :1506-1509
[17]   Observability, Reconstructibility and State Observers of Boolean Control Networks [J].
Fornasini, Ettore ;
Valcher, Maria Elena .
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2013, 58 (06) :1390-1401
[18]   METABOLIC STABILITY AND EPIGENESIS IN RANDOMLY CONSTRUCTED GENETIC NETS [J].
KAUFFMAN, SA .
JOURNAL OF THEORETICAL BIOLOGY, 1969, 22 (03) :437-&
[19]   MINIMUM-TIME CONTROL OF BOOLEAN NETWORKS [J].
Laschov, Dmitriy ;
Margaliot, Michael .
SIAM JOURNAL ON CONTROL AND OPTIMIZATION, 2013, 51 (04) :2869-2892
[20]   Observability of Boolean networks: A graph-theoretic approach [J].
Laschov, Dmitriy ;
Margaliot, Michael ;
Even, Guy .
AUTOMATICA, 2013, 49 (08) :2351-2362