文献类型：期刊文献

中文题名：布尔控制网络的部分变量能控性

英文题名：Partial variables controllability of Boolean control networks

作者：宋金利[1];肖会敏[1];李志强[1]

第一作者：宋金利

机构：[1]河南财经政法大学数学与信息科学学院

第一机构：河南财经政法大学数学与信息科学学院

年份：2016

卷号：0

期号：3

起止页码：338-349

中文期刊名：中国科学：信息科学

收录：CSTPCD;;北大核心:【北大核心2014】；CSCD:【CSCD2015_2016】；

基金：国家自然科学基金项目(批准号:61203050;61374079);河南省高等学校青年骨干教师资助计划项目(批准号:2013GGJS-099);河南省基础与前沿技术研究计划项目(批准号:132300410011);河南省高等学校哲学社会科学研究"三重"重大项目(专项)(批准号:2014-SZZD-30)资助

语种：中文

中文关键词：布尔控制网络;能控性;部分变量能控;部分状态能达;半张量积

外文关键词：Boolean control networks; controllability; partial controllability; partial reachability; semi-tensor product

摘要：部分变量能控性是一个特殊的能控性概念,它只考虑系统状态变量中一部分变量的能控性本文主要以布尔网络为代表,研究逻辑控制系统的部分变量能控性问题.利用矩阵的半张量积,逻辑控制系统被表示为离散时间仿射线性系统.从系统部分变量的结构矩阵出发,首先给出逻辑系统部分变量能控性的概念,然后通过构造部分变量能控性矩阵,得到布尔网络的部分变量能控的充要条件为部分变量能控性矩阵的各个元素都大于0,最后通过例子说明如何构造控制序列使部分变量状态能达.
Partial controllability of system is a special definition of controllability with respect to only a prespecified subset of a system＇s state variables.The paper considers problems on the controllability of Boolean control networks with respect to a given part of variables that characterize the Boolean network.Using a semitensor product of matrices and the matrix expression of logic,the dynamics of a Boolean control network are converted to discrete time bilinear dynamics.First,the definition of partial controllability of Boolean control networks is introduced.Then,based on the algebraic form,necessary and sufficient conditions for partial state variable controllability with respect to a variables set are obtained.In addition,an illustrative example is provided to construct a proper control sequence with which to steer the partial variables＇ states to those desired.