Stochastic stability and robust stabilization of semi‐Markov jump linear systems

The semi‐Markov jump linear system (S‐MJLS) is more general than the Markov jump linear system (MJLS) in modeling some practical systems. Unlike the constant transition rates in the MJLS, the transition rates of the S‐MJLS are time varying. This paper focuses on the robust stochastic stability condition and the robust control design problem for the S‐MJLS with norm‐bounded uncertainties. The infinitesimal generator for the constructed Lyapunov function is first derived. Numerically solvable sufficient conditions for the stochastic stability of S‐MJLSs are then established in terms of linear matrix inequalities. To reduce the conservativeness of the stability conditions, we propose to incorporate the upper and lower bounds of the transition rate and meanwhile apply a new partition scheme. The robust state feedback controller is accordingly developed. Simulation studies and comparisons demonstrate the effectiveness and advantages of the proposed methods. Copyright © 2012 John Wiley & Sons, Ltd.     

Fault Detection for Nonlinear Systems with Unknown Input

This paper extends the problem of fault detection for linear discrete‐time systems with unknown input to the nonlinear system. A nonlinear recursive filter is developed where the estimation of the state and the input are interconnected. Unknown input which can be any type of signal was obtained by least‐squares unbiased estimation and the state estimation problem is transformed into a standard unscented Kalman filter (UKF) problem. By testing the mean of the innovation process, a real‐time fault detection approach is proposed. Simulations are provided to demonstrate the effectiveness of the theoretical results.     

Bounded Consensus Algorithms for Multi‐Agent Systems in Directed Networks

In this paper, the consensus problem is investigated via bounded controls for the multi‐agent systems with or without communication. Based on the nested saturation method, the saturated control laws are designed to solve the consensus problem. Under the designed saturated control laws, the transient performance of the closed‐loop system can be improved by tuning the saturation level. First of all, asymptotical consensus algorithms with bounded control inputs are proposed for the multi‐agent systems with or without communication delays. Under these consensus algorithms, the states’ consensus can be achieved asymptotically. Then, based on a kind of novel nonlinear saturation functions, bounded finite‐time consensus algorithms are further developed. It is shown that the states’ consensus can be achieved in finite time. Finally, two examples are given to verify the efficiency of the proposed methods.     

Improved Bounded Model Checking for the Universal Fragment of CTL

SAT-based bounded model checking (BMC) has been introduced as a complementary technique to BDD-based symbolic model checking in recent years, and a lot of successful work has been done in this direction. The approach was first introduced by A. Biere et al. in checking linear temporal logic (LTL) formulae and then also adapted to check formulae of the universal fragment of computation tree logic (ACTL) by W. Penczek et al. As the efficiency of model checking is still an important issue, we present an impr...     

时变不确定非线性系统自适应滑模跟踪控制

针对一般的具有时变且界未知的非线性不确定性的单输入多输出非线性系统,提出一种自适应滑模跟踪控制器的框架.在该框架内,系统的时变且界未知的非线性不确定性可以通过函数逼近技术(FAT)表示成为一组正交基函数序列的组合,并通过滑模控制技术和直接Lyapunov方法获得基函数系数的更新律以及对不确定性逼近误差的在线自适应补偿,从而得到自适应的滑模控制律.所提出的基于函数逼近技术的自适应滑模跟踪控制策略在直流电机跟踪控制系统实验装置上进行了实际控制实验,并进行了性能的对比与分析.     

不确定系统的稳定广义预测控制

针对一类有界不确定线性离散被控对象,采用Min-Max优化方法,提出一种新的稳定广义预测控制(MMSGPC)算法.引入内模控制结构,将干扰和不确定性从被控对象中分离出来,并利用局部反环节对其进行补偿;采用Min-Max优化方法,将终端约束条件转化为有界不确定性最差情况时应的线性方程;通过引入矩阵的Moore-Penrose逆,得到了终端约束线性方程的通解,并结合性能指标函数求得了最优控制律.通过仿真实例验证了该方法的稳定效果.     

A less conservative method for designing H∞ filters for linear time‐delay systems

This paper focuses on H_∞ filtering for linear time‐delay systems. A new Lyapunov–Krasovskii functional (LKF) is constructed by uniformly dividing the delay interval into two subintervals, and choosing different Lyapunov matrices on each subinterval. Based on this new LKF, a less conservative delay‐dependent bounded real lemma (BRL) is established to ensure that the resulting filtering error system is asymptotically stable with a prescribed H_∞ performance. Then, this new BRL is equivalently converted into a set of linear matrix inequalities, which guarantee the existence of a suitable H_∞ filter. Compared with some existing filtering results, some imposed constraints on the Lyapunov matrices are removed through derivation of the sufficient condition for the existence of the filter. Numerical examples show that the results obtained in this paper significantly improve the H_∞ performance of the filtering error system over some existing results in the literature. Copyright © 2008 John Wiley & Sons, Ltd.     

基于重建误差的任务型对话未知意图检测

现有未知意图检测模型通常将语句映射到向量空间,并使用局部异常因子算法定义密度较小的特征点为未知意图,但经交叉熵损失训练的已知意图特征簇更加狭长,簇内的整体间距、密度和分散情况不均匀,进而增加了检测难度。针对上述问题,提出一种基于自动编码器重建误差的未知意图检测模型。在训练阶段,使用融入标签知识的联合损失函数训练已知意图分类器,使已知意图特征类间距离大且类内距离小,并利用这些特征训练一个仅能获取已知意图信息的自动编码器。在测试阶段,利用自动编码器将重建误差较大的样本视为未知意图,其余样本视为已知意图正常分类。在SNIPS数据集上的实验结果表明,在已知意图占比为25%、50%、75%时,该模型的Macro F1得分相比于表现最优的增强语义的高斯混合损失基线模型分别提升了16.93%、1.14%和2.37%,能够检测到更多的未知意图样本,同时在类别分布极不平衡的ATIS数据集上也有较好的性能表现。     

基于深度神经网络的多指灵巧手抓取手势优化

基于深度神经网络模型,提出了一种适用于多指灵巧手的抓取手势优化方法。首先,在仿真环境下构建了一个抓取数据集,并在此基础上训练了一个卷积神经网络,依据目标物体单目视觉信息和多指灵巧手抓取位形来预测抓取质量函数,由此可以将多指灵巧手的抓取规划问题转化为使抓取质量最大化的优化问题,进一步,基于深度神经网络中的反向传播和梯度上升算法实现多指灵巧手抓取手势的迭代与优化。在仿真环境中,比较该网络和仿真平台对同一抓取位形的抓取质量评估结果,再利用所提出的优化方法对随机搜索到的初始手势进行优化,比较优化前后手势的力封闭指标。最后,在实际机器人平台上验证本文方法的优化效果,结果表明,本文方法对未知物体的抓取成功率在80%以上,对于失败的抓取,优化后成功的比例达到90%。     

Adaptive fuzzy leader-follower consensus control using sliding mode mechanism for a class of high-order unknown nonlinear dynamic multi-agent systems

In this article, a distributed leader-follower consensus approach is developed for a class of high-order unknown nonlinear dynamic multi-agent systems (MASs). Because every agent of the MAS contains multiple state variables, the existing consensus methods are not completely applicable for it. In order to find the qualified consensus protocol for this high-order MAS, sliding mode mechanism can be naturally considered for designing the consensus control because it can manage multiple state variables with the help of a constructed hyperplane. To this consensus control design, the sliding mode term is composed of all tracking error variables. Since the method does not require the switching control term around sliding surface, it can avoid the chattering phenomenon, which exits in most of the published sliding mode controls (SMCs). Furthermore, to handle the unknown nonlinear dynamic problem, the adaptive approximation strategy is implemented by employing fuzzy logic system (FLS). In the light of Lyapunov stability analysis, it is demonstrated that the proposed control approach can accomplish the consensus tasks. Finally, a numerical example is implemented to further show the desired results.