布尔控制网络的输出稳定与镇定

矩阵的半张量积是将逻辑变量转化为向量研究的主要工具.本文利用半张量积把逻辑控制系统表示为离散时间仿射线性系统,在逻辑系统的状态空间框架下研究了以布尔控制网络为代表的逻辑动态系统的输出稳定与镇定.首先给出布尔网络输出稳定的定义,研究了布尔网络输出稳定的充要条件;其次讨论了布尔控制网络的输出镇定,分别得到了布尔控制网络由常值输入变量、自由控制序列、状态反馈控制序列输出镇定的条件.本文讨论的系统输出稳定与镇定是(部分)变量稳定与镇定的推广.     

Reconstructibility analysis and set-observer design for Boolean control networks

This paper deals with the issues of reconstructibility analysis and set-observer design for Boolean control networks (BCNs). A state estimation set is considered to find the state estimation of BCNs, and a reconstructibility judgment matrix (RJM) is obtained by compact vector of state estimation set. Then, a kind of state-reconstructible tree is constructed, and algorithms are also provided to construct it. The state-reconstructible tree can categorize BCNs to be globally reconstructible, locally reconstructible, and unreconstructible. The sufficient and necessary conditions for the reconstructibility of BCNs are given. Meanwhile, the relationship between input–output trajectory and estimated state is derived. Next, with the knowledge of input–output sequence, a set-observer is designed such that the state of BCNs for any global reconstructible BCNs is uniquely determined in a finite time. Some examples are also given to illustrate the effectiveness of the proposed methods.     

基于牵制控制的切换布尔网络的分布式集合镇定

切换布尔网络是一种典型的网络化控制系统, 在基因调控、信息安全、人工智能、电路设计等领域具有重 要应用. 本文基于牵制控制方法, 研究切换布尔网络在任意切换下的分布式集合镇定问题. 首先, 利用矩阵半张量积 方法,得到切换布尔网络的代数形式. 其次, 基于代数形式, 提出构造性的算法来实现切换布尔网络在牵制控制的 作用下任意切换集合镇定, 并设计出状态反馈牵制控制器. 再次, 利用逻辑矩阵分解技术和分布式控制方法, 设计任 意切换下切换布尔网络的分布式集合镇定控制器, 并提出分布式控制器存在的充分条件. 文中给出3个例子来说明 所获得结果的有效性.     

Feedback control and output feedback control for the stabilisation of switched Boolean networks

This paper presents the feedback control and output feedback control for the stabilisation of switched Boolean network. A necessary condition for the existence of a state feedback controller for the stabilisation of switched Boolean networks under arbitrary switching signal is derived first, and constructive procedures for feedback control and output feedback control design are provided. An example is introduced to show the effectiveness of this paper.     

布尔控制网络的能控性与能观性

利用矩阵的半张量积,布尔控制网络被转化为离散时间系统.本文从离散时间系统的结构矩阵出发,讨论了逻辑控制系统的能控能观性条件,得到了一个新的能控性条件.新的条件简化了原有能控性矩阵的计算复杂性,矩阵的最高阶数由原来的2m+n降到了2n.另外,还得到了检验布尔控制网络能观性的条件.与原有条件相比,新的条件更容易计算检验.最后,给出一个实例,检验给出的能控能观性判断条件的正确性.     

概率布尔控制网络的弱能控性

本文研究了概率布尔控制网络的弱能控性,系统的弱能控性是概率布尔网络精确能控的一个推广.首先利用矩阵的半张量积和逻辑变量的向量表示,概率布尔控制网络被表示为离散时间动态系统.接着给出概率布尔控制网络弱能控的定义,从离散时间系统的结构矩阵出发,构造了最大概率转移矩阵,矩阵中的元素表示相应状态之间可能发生转移的最大概率,在此基础上研究了概率布尔控制网络的弱能控的条件,同时给出了两个状态弱能达时控制序列的设计算法.最后通过例子进一步解释了弱能控的概念和控制序列设计算法的有效性.     

On disturbance decoupling problem of Boolean control networks

In this paper, the disturbance decoupling problem for Boolean control networks is investigated in a new viewpoint. A new concept called original disturbance decoupling is proposed and necessary and sufficient conditions for the original disturbance decoupling are given. Similarly, an equivalent condition for the s‐step original disturbance decoupling is obtained. Finally, an algorithm and some simulations for an example are provided to validate the obtained theoretical results.     

概率布尔控制网络的集可控

本文研究概率布尔控制网络的集可控性问题.首先,利用矩阵半张量积方法,得到概率布尔控制网络的代数表示.其次,借助一个新的算子构造不同的可控矩阵,进而通过可控矩阵考虑自由控制序列和网络输入控制下概率布尔控制网络的集可控性问题,得到了概率布尔控制网络集可控性的充要条件.最后,给出数值例子说明本文结果的有效性.     

切换奇异布尔网络的稳定性分析

基因调控网络的稳定性分析是系统生物学的研究热点问题之一.本文利用矩阵半张量积方法研究了切换奇异布尔网络的稳定性问题.首先给出了切换奇异布尔网络的代数表示,基于该代数表示,建立了系统解存在唯一的充要条件.然后通过将切换奇异布尔网络转化为等价的切换布尔网络,分别得到了系统在任意切换下稳定以及切换可稳的充要条件.最后给出例子验证所得结果的有效性.     

Partial stability and stabilisation of Boolean networks

In this paper, we investigate the stability of Boolean networks and the stabilisation of Boolean control networks with respect to part of the system's states. First, an algebraic expression of the Boolean (control) network is derived by the semi-tensor product of matrices. Then, some necessary and sufficient conditions for partial stability of Boolean networks are given. Finally, the stabilisation of Boolean control networks by a free control sequence and a state-feedback control is investigated and the respective necessary and sufficient conditions are obtained. Examples are provided to illustrate the efficiency of the obtained results.     

On controllability and stabilizability of probabilistic Boolean control networks

The controllability of probabilistic Boolean control networks(PBCNs)is first considered.Using the input-state incidence matrices of all models,we propose a reachability matrix to characterize the joint reachability.Then we prove that the joint reachability and the controllability of PBCNs are equivalent,which leads to a necessary and sufcient condition of the controllability.Then,the result of controllability is used to investigate the stability of probabilistic Boolean networks(PBNs)and the stabilization of PBCNs.A necessary and sufcient condition for the stability of PBNs is obtained first.By introducing the control-fixed point of Boolean control networks(BCNs),the stability condition has finally been developed into a necessary and sufcient condition of the stabilization of PBCNs.Both necessary and sufcient conditions for controllability and stabilizability are based on reachability matrix,which are easily computable.Hence the two necessary and sufcient conditions are straightforward verifiable.Numerical examples are provided from case to case to demonstrate the corresponding theoretical results.     

Feedback control design for the complete synchronisation of two coupled Boolean networks

In the literatures, to design state feedback controllers to make the response Boolean network synchronise with the drive Boolean network is rarely considered. Motivated by this, feedback control design for the complete synchronisation of two coupled Boolean networks is investigated in this paper. A necessary condition for the existence of a state feedback controller achieving the complete synchronisation is established first. Then, based on the necessary condition, the feedback control law is proposed. Finally, an example is worked out to illustrate the proposed design procedure.     

Subspace controllability of Boolean networks

Many Boolean control networks contain independent uncontrollable subnetworks, which may affect other nodes; and the rest of the system is called subspace of sub‐controllable states. This paper investigates the problem of subspace controllability under free input sequences, while the presumption that the initial states of those independent subnetworks are designable is canceled. An algorithm based on the common asymptotic periodic properties of the states is developed to find the reachable sets. Accordingly, the existing controllability criteria for subspaces when initial states of subnetworks are designable is improved, and a necessary and sufficient condition of subspace controllability via subnetworks and free inputs is derived. A design technique involving a kind of newly defined addition is presented to construct desired controls.     

Controllability of time-variant Boolean control networks and its application to Boolean control networks with finite memories

This paper investigates the controllability of time-variant Boolean control networks(BCNs).For the time-variant BCNs,a necessary and sufcient condition for the controllability is given,and a control design algorithm is presented.For a BCN with fnite memories,an equivalent transformation to a time-variant BCN is constructed.Then a necessary and sufcient condition for the controllability and a control design algorithm are obtained.     

Finite-time observability of probabilistic Boolean control networks

In this paper, the finite-time observability (FO ) of probabilistic Boolean control networks (PBCNs ) based on set reachability and parallel extension is investigated. Under algebraic state space representation of PBCNs , finite-time set reachability (FSR ), finite-time single input sequence set reachability (FSSSR ), finite-time arbitrary input sequence set reachability (FASSR ), as well as finite-time output feedback set reachability (FOSR ) are addressed, where some efficient criteria are proposed. In the second part of this paper, several types of FO are provided, which can be converted to the corresponding FSR based on the parallel extension technique. Consequently, the obtained results for FSR are utilized to deal with FO . Finally, two examples including a biological network are given to demonstrate the theoretical results.     

Disturbance decoupling control design for switched Boolean control networks

This paper investigates a kind of disturbance decoupling problems (DDPs) for switched Boolean control networks (BCNs), that is, the disturbance-independent output decoupling problem, via the semi-tensor product of matrices. By converting the dynamics of switched BCNs into an algebraic form and using the redundant variable separation technique, all possible state feedback controllers are designed for the disturbance-independent output decoupling problem. Then, based on the obtained state feedback disturbance decoupling controllers and the system’s output equation, a constructive procedure is proposed to design all possible output feedback disturbance decoupling controllers. The study of two illustrative examples shows that the new results obtained in this paper are effective in designing disturbance decoupling controllers for switched BCNs.     

Robust stability and stabilisation of Boolean networks with disturbance inputs

This paper deals with the problems of robust stability analysis and robust stabilisation control design for Boolean networks with disturbance inputs. The main tool used in this paper is the semi-tensor product of matrices. First, a necessary and sufficient condition is presented for the robust stability of Boolean networks based on the algebraic representation of Boolean networks with disturbance inputs. Second, the concept of one-step robust reachability is defined for Boolean control networks (BCNs) with disturbance inputs, based on which a constructive procedure is proposed for the robust stabilisation control design of BCNs. The study of an illustrative example demonstrates the effectiveness of the obtained new results.     

状态和输入受限的切换奇异布尔控制网络的最优控制

本文研究了状态和输入均受限的切换奇异布尔控制网络的最优控制问题.利用矩阵半张量积方法获得受限切换奇异布尔控制网络的等价代数形式.然后通过类似针变化得到了存在最优控制的必要条件,并且提出了一个算法设计切换序列和控制策略使收益函数最大化.最后给出例子验证所得结果的有效性.     

Simultaneous stabilization for a set of Boolean control networks

This paper investigates simultaneous stabilization of a collection of Boolean control networks (BCNs) by using the semi-tensor product method, and presents a number of new results. First, an algebraic expression of the BCNs is obtained by the semi-tensor product, based on which some necessary and sufficient conditions are presented to solve the simultaneous stabilization problem by a free control sequence, a state-feedback control, and an output-feedback control, respectively. Second, using the column stacking form of matrices, a new procedure is established to design both state-feedback and output-feedback controllers for the simultaneous stabilization problem. The study of two illustrative examples shows that the new results obtained in this paper are very effective in solving simultaneous stabilization of a collection of BCNs.     

从布尔代数到布尔微积分

布尔函数作为最简单的有限值函数具有特殊的重要性．它在包括信息、控制等许多领域有着广泛的应用．本文综合介绍有关布尔函数的理论基础．包括从布尔代数到布尔微积分的主要理论结果,它们在信息与控制中的一些重要应用,以及其前沿动态与新进展．介绍的一个重点是矩阵半张量积在这些领域的应用．