基于双分支特征融合的场景文本检测方法

研究一类布尔控制网络的集成集可控性和集成集镇定性问题.首先,利用矩阵的半张量积理论,给出布尔控制网络等价的代数表示;其次,通过自由控制序列研究布尔控制网络的集成集可控性,并给出相应的充分必要条件,对于布尔控制网络的集成集镇定性问题,使其转换为集成集可控性问题,并给出相应的判定定理;最后,给出数值例子说明所提出方法的有效性.     

概率级联布尔网络的集镇定及其应用

随着系统生物学和医学的迅速发展,基因调控网络已经成为一个热点研究领域.布尔网络作为研究生物系统和基因调控网络的一种重要模型,近年来引起了包括生物学家和系统科学家在内的很多学者的广泛关注.本文利用代数状态空间方法,研究了概率级联布尔网络的集镇定问题.首先给出概率级联布尔网络集镇定的定义,并利用矩阵的半张量积给出了概率级联布尔网络的代数表示.其次基于该代数表示,定义了一组合适的概率能达集,并给出了概率级联布尔网络集镇定问题可解的充要条件.最后将所得的理论结果应用于概率级联布尔网络的同步分析及n人随机级联演化布尔博弈的策略一致演化行为分析.     

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

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

具有切换概率分布的概率布尔网络的依分布稳定和镇定

布尔网络作为研究基因调控网络的一种重要模型,近年来引起了国内外很多学者的广泛关注.本文利用代数状态空间表示方法,研究具有切换概率分布的概率布尔网络的依分布稳定和镇定问题.首先,回顾针对切换布尔网络稳定性分析的现有的研究结果.其次,给出具有切换概率分布的概率布尔网络依分布稳定的定义,并利用矩阵的半张量积建立具有切换概率分布的概率布尔网络的代数表示.再次,基于该代数表示,建立具有切换概率分布的概率布尔网络的依分布稳定的充分必要条件.最后,给出具有切换概率分布的概率布尔控制网络镇定问题可解的充要条件,并给出相应的控制设计方法.     

基于事件触发和状态翻转的布尔控制网络输出跟踪

利用矩阵半张量积研究事件触发和翻转控制共同作用下布尔控制网络的输出跟踪问题.首先,基于布尔控制网络代数状态空间表示,构造增广系统将输出跟踪问题转化为状态集镇定问题;其次,得到布尔控制网络在两种控制下输出跟踪问题有解的充要条件,并在满足该条件时提出一种基于最小翻转节点集时间最优控制设计方法,进一步给出有限时间内寻找翻转节点集的计算过程;最后,给出一个算例说明结果的可行性.     

布尔网络的分析与控制——矩阵半张量积方法

布尔网络是描述基因调控网络的一个有力工具. 由于系统生物学的发展, 布尔网络的分析与控制成为生物学与系统控制学科的交叉热点. 本文综述作者用其原创的矩阵半张量积方法在布尔网络的分析与控制中得到的一系列结果. 内容包括: 布尔网络的拓扑结构, 布尔控制网络的能控、能观性与实现, 布尔网络的稳定性和布尔控制网络的镇定, 布尔控制网络的干扰解耦, 布尔 (控制) 网络的辨识,以及布尔网络的最优控制等.     

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

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

状态翻转控制下布尔控制网络的可镇定性和Q学习算法

在给定一个子集的条件下, 本文研究了在状态翻转控制下布尔控制网络的全局镇定问题. 对于节点集的给定子 集, 状态翻转控制可以将某些节点的值从1 (或0)变成0 (或1). 将翻转控制作为控制之一, 本文研究了状态翻转控制下的 布尔控制网络. 将控制输入和状态翻转控制结合, 提出了联合控制对和状态翻转转移矩阵的概念. 接着给出了状态翻转 控制下布尔控制网络全局稳定的充要条件. 镇定核是最小基数的翻转集合, 本文提出了一种寻找镇定核的算法. 利用可 达集的概念, 给出了一种判断全局镇定和寻找联合控制对序列的方法. 此外, 如果系统是一个大型网络, 则可以利用一 种名为Q学习算法的无模型强化学习方法寻找联合控制对序列. 最后给出了一个数值例子来说明本文的理论结果.     

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

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

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

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

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.     

Controllability of probabilistic Boolean control networks with time-variant delays in states时变时延概率布尔控制网络的能控性

This paper investigates the controllability of probabilistic Boolean control networks (PBCNs) with time-variant delays in states. By cutting the time sequence, we split the network into at most countably infinitely many subnetworks with no delays, where any one of the longest subnetworks is called a controllability constructed path (CCP). When the CCP is of infinite length, we prove that the network is controllable iff any CCP is controllable, and give an equivalent condition for the controllability of the network. When it is of finite length, we give a necessary condition and a sufficient condition for the controllability of the network, and show that the controllability of the network is not equivalent to the controllability of a CCP.     

Controllability and observability of multi-agent systems with heterogeneous and switching topologies

ABSTRACT

This paper focuses on controllability and observability of multi-agent systems with heterogeneous and switching topologies, where the first- and the second-order information interaction topologies are different and switching. First, based on the controllable state set, a controllability criterion is obtained in terms of the controllability matrix corresponding to the switching sequence. Next, by virtue of the subspace sequence, two necessary and sufficient algebraic conditions are established for controllability in terms of the system matrices corresponding to all the possible topologies. Furthermore, controllability is considered from the graphic perspective. It is proved that the system is controllable if the union graph of all the possible topologies is controllable. With respect to observability, two sufficient and necessary conditions are derived by taking advantage of the system matrices and the corresponding invariant subspace, respectively. Finally, some simulation examples are worked out to illustrate the theoretical results.     

Controllability and observability of switched multi-agent systems

This paper considers controllability and observability of switched multi-agent systems, which are composed of continuous-time and discrete-time subsystems. First, a controllability criterion is established in terms of the system matrices. Then, by virtue of the concepts of the invariant subspace and the controllable state set, a method is proposed to construct the switching sequence to ensure controllability of switched multi-agent systems, and a necessary and sufficient condition is obtained for controllability. Moreover, a necessary controllability condition is derived in terms of eigenvectors of the Laplican matrix. With respect to observability, two necessary and sufficient algebraic conditions are obtained. Finally, simulation examples are provided to illustrate the theoretical results.     

Constrained controllability of discrete-time systems†

The constrained controllability of the discrete-time system x_k+1=A(k)x_k+B(k)u,_k is considered where the control uk is termed admissible if it satisfies specified magnitude constraints. Constrained controllability is concerned with the existence of an admissible control which steers the state x to a given target set from a specified initial state

Conditions for checking constrained controllability to a given target set from a specified initial state are presented. These conditions involve solving finite-dimensional optimization problems and can be checked via numerical computation. In addition, conditions for checking global constrained controllability to a given target set are presented. A system is globally constrained controllable if for every initial state, there exists an admissible control that steers the system to the target.

If a given discrete-time system is constrained controllable, it may be desirable to obtain an admissible control that steers the system to the target from a specified initial state. Such a control is called a steering control. Results for computing steering controls are also presented

This paper is concluded with a numerical example. In this example, it is shown that the constrained controllability of a continuous-time system which has been discretized is dependent on the discretization time. The set of states which can be steered to the target changes as the discretization time changes. Furthermore, the example shows that a discrete-time steering control cannot always be obtained by discretizing a continuous-time steering control; the steering control for the discrete-time system must be obtained directly from the discrete-time model.     

Band criteria and recursive tests of complete controllability and observability of linear algebraic-differentiable systems

New criteria are introduced of complex controllability and observability of controllable linear stationary algebraic-differentiable systems with many inputs and outputs, which reduce to the calculation of the rank of special band matrices. Recursive tests are set up, which permit reducing computational expenses in the verification for the fulfillment of the conditions of complete controllability and observability of algebraic-differentiable systems of a large dimension.     

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.     

Minimal controllability for systems with delays†

In this paper we consider the problem of minimal controllability for a general class of linear spectrally controllable systems. We show that the smallest number of controls that are necessary in order that spectral controllability may hold depends only upon the matrices of the uncontrolled system and that it is equal to the smallest number of outputs necessary for the dual problem of ‘spectral observability’; moreover, any spectrally controllable system can be made minimally controllable by acting upon the control matrix only, and any spectrally observable system can be made minimally observable by acting upon the output matrix only. In the sequel this result is explained in the cases of the delayed systems and of some kind of generalized systems.     

Controllability of predicates and languages in discrete-event systems

In discrete-event systems, two control techniques, called supervisory control and state feedback logic, are applicable if control specifications are given in terms of predicates on the set of states. The concepts of controllability for both techniques has been proposed for the analysis and design of these techniques. First it is shown that controllability of the legal language for a given predicate is equivalent to that for the corresponding reachability set. Next we deal with the relationship between the supremal controllable subpredicate of the predicate and the supremal controllable sublanguage of the corresponding legal language