基于切换逻辑的非线性系统自适应鲁棒控制器设计

In this paper, a switching logic-based adaptive robust control is proposed for a class of nonlinearly parameterized systems (NPS). Specifically, the controller mainly consists of a robust type term to address the system uncertainty, and a switching logic tuning mechanism to update the involved control gain. The constructed controller achieves a global uniformly ultimate boundedness (GUUB) result for the system errors, and simulation results are included to demonstrate the effectiveness of the control law.     

具有输入时滞多智能体系统的鲁棒H_∞趋同控制（英文）

This paper investigates the consensus control for multi-agent systems subject to external disturbances, input delays and model uncertainties of networks. By defining an appropriate controlled output, we transform this question into a robust H∞control problem. Then, we give two criteria to judge the consensusability of closed-loop multi-agent systems and present a conecomplementary linearization algorithm to get the state feedback controller′s parameters. Finally, numerical examples are given to show the effectiveness of the proposed consensus protocols.     

Adaptive output consensus for heterogeneous nonlinear multi‑agent systems with multi‑type input constraints under switching‑directed topologies

This study concentrates on solving the output consensus problem for a class of heterogeneous uncertain nonstrict-feedbacknonlinear multi-agent systems under switching-directed communication topologies, in which all followers are subjected tomulti-type input constraints such as unknown asymmetric saturation, unknown dead-zone and their integration. A unifiedrepresentation is presented to overcome the difficulties originating from multi-agent input constraints. Moreover, the uncertainsystem functions in a non-lower triangular form and the interaction terms among agents are dealt with by exploitingthe fuzzy logic systems and their special property. Furthermore, by introducing a nonlinear filter to alleviate the problem of“explosion of complexity” during the backstepping design, a distributed common adaptive control protocol is proposed toensure that the synchronization errors converge to a small neighborhood of the origin despite the existence of multiple inputconstraints and arbitrary switching communication topologies. Both stability analysis and simulation results are conductedto show the effectiveness and performance of the proposed control methodology.     

Adaptive fuzzy tracking control for a class of uncertain MIMO nonlinear systems using disturbance observer

In this paper,the adaptive fuzzy tracking control is proposed for a class of multi-input and multioutput(MIMO)nonlinear systems in the presence of system uncertainties,unknown non-symmetric input saturation and external disturbances.Fuzzy logic systems(FLS)are used to approximate the system uncertainty of MIMO nonlinear systems.Then,the compound disturbance containing the approximation error and the timevarying external disturbance that cannot be directly measured are estimated via a disturbance observer.By appropriately choosing the gain matrix,the disturbance observer can approximate the compound disturbance well and the estimate error converges to a compact set.This control strategy is further extended to develop adaptive fuzzy tracking control for MIMO nonlinear systems by coping with practical issues in engineering applications,in particular unknown non-symmetric input saturation and control singularity.Within this setting,the disturbance observer technique is combined with the FLS approximation technique to compensate for the efects of unknown input saturation and control singularity.Lyapunov approach based analysis shows that semi-global uniform boundedness of the closed-loop signals is guaranteed under the proposed tracking control techniques.Numerical simulation results are presented to illustrate the efectiveness of the proposed tracking control schemes.     

借助Lyapunov方法的量子系统平衡态的布居控制

This paper studies the population control problem associated with the equilibrium states of mixed-state quantum systems by using a Lyapunov function with degrees of freedom. The control laws are designed by ensuring the monotonicity of the Lyapunov function; main results on the largest invariant set in the sense of LaSalle are given; and the strict expression of any state in the largest invariant set is normally deduced in the framework of Bloch vectors. By analyzing the obtained largest invariant set and the Lyapunov function itself, this paper also discusses the determination problem of the degrees of freedom. Numerical simulation experiments on a three-level system show the validity of research results.     

Adaptive fuzzy decentralized control for nonlinear large-scale systems based on high-gain observer

An adaptive fuzzy decentralized backstepping output-feedback control approach is proposed for a class of nonlinear large-scale systems with completely unknown functions,the interconnections mismatched in control inputs,and without the measurements of the states.Fuzzy logic systems are employed to approximate the unknown nonlinear functions,and an adaptive high-gain observer is developed to estimate the unmeasured states.Using the designed high-gain observer,and combining the fuzzy adaptive control theory with backstepping approach,an adaptive fuzzy decentralized backstepping output-feedback control scheme is developed.It is proved that the proposed control approach can guarantee that all the signals of the closed-loop system are semi-globally uniformly ultimately bounded(SUUB),and that the observer errors and the tracking errors converge to a small neighborhood of the origin by appropriate choice of the design parameters.Finally,a simulation example is provided to show the eectiveness of the proposed approach.     

Integrated Fuzzy Robust Controller for Flight Control Design

μ-synthesis is a practical design approach and has been applied successfully to achieve a nominal and robust performance objectives. However, this design method suffers from the complexity of its practical implementation and high computational demand due to its high order dynamics. To overcome this problem, the interaction between fuzzy logic control which is a part of intelligence control theory and μ-synthesis controller is carried out. This is called integrated fuzzy robust controller in this paper. It is obtained by coupling fuzzy pd with μ-synthesis controller through the outer loop. Using this design strategy, we can keep the system performance and robustness even a high order μ-synthesis controller is reduced into second order model. In order to test the effectiveness of this design method, the linear simulation results for a launch vehicle’s attitude control motion are presented at the end of this paper.     

基于自调节有限时间预设性能函数的多智能体系统动态面状态约束量化控制

针对一类非线性多智能体系统,构建一种基于自调节有限时间预设性能函数的动态面状态约束量化控制策略.所提出控制方法的主要特点为:1)将自调节有限时间预设性能函数与屏障Lyapunov函数相结合对多智能体系统的状态进行约束,使得构建出的约束函数能够根据系统当前跟踪误差自行调节自身参数而无需人为干预; 2)通过使用动态面控制方法,避免传统反步控制方法的“微分爆炸”现象,并设计滤波补偿函数消除因引入动态面方法而产生的滤波误差和信号振荡的问题; 3)使用RBF神经网络逼近系统中未知非线性的同时,引入量化器以减轻系统的通讯负担,且所构建量化控制方法仅需量化器具有扇形有界性质即可.稳定性分析表明,闭环系统内所有信号均为半全局一致有界的.仿真环节验证了所提出控制策略的有效性.     

用XYZ／E语言描述和验证硬件的行为

本文考虑用时态逻辑语言ＸＹＺ／Ｅ描述硬件行为的可行性．作为实例,用ＸＹＺ／Ｅ语言描述了一个基于微处理器的容错计算机系统,这种描述可以在ＸＹＺ系统上执行,从而可对系统进行模拟．特别有意义的是利用ＸＹＺ／ＶＥＲＩ验证子系统对所期望的性质进行了形式化证明．本文还将ＸＹＺ／Ｅ描述与相应的ＶＨＤＬ（ＶＨＳＩＣｈａｒｄｗａｒｅｄｅｓｃｒｉｐｔｉｏｎｌａｎｇｕａｇｅ）描述进行了比较．从中可以看出时态逻辑语言的描述具有其独特的优点.     

非完整约束多智能体系统基于屏障控制函数的分布式协同控制

本文设计了一种基于屏障控制函数(CBF)的分布式协同控制算法,实现了领航–跟随者框架下非完整约束多智能体系统的连通性与编队控制.首先,通过将连通性保持问题建模为系统约束,定义了该约束的调零屏障函数(ZBF).其次,在此基础上,构建李雅普诺夫函数与角速度输入之间的关系,对跟随者智能体设计了基于调零屏障函数的协同控制算法,其中线速度控制器保证跟随者的速度的跟踪与队形的跟踪,而梯度型角速度控制器实现跟随者角度的矫正.然后,利用调零屏障函数不变集相关引理证明了连通性约束集为正不变集,若初始时刻连通,则跟随者智能体始终与领航者保持连通性.同时,本文提出的算法实现编队误差的渐近收敛.本文中的队形适用常见的固定队形编队需求,也适用于领航者是动态(有线速度和角速度)的情况.最后,通过数值仿真进一步验证了该算法在不同队形需求下的有效性.     

输出约束的有限时间自适应区间二型模糊输出反馈PMSM伺服控制

针对永磁同步电机驱动的伺服系统在不确定性摩擦和未知负载的影响下难以达到高精度的控制效果,提出一种基于区间二型模糊系统的带有输出约束的有限时间自适应输出反馈控制方案.首先,构建一个基于非线性扰动观测器的区间二型模糊状态观测器,分别完成对于未知扰动和速度的估计,区间二型模糊系统完成对于非线性摩擦的逼近;然后,在此基础上,结合滤波误差补偿机制和有限时间技术,引入障碍Lyapunov函数和反步控制技术设计输出约束的自适应区间二型模糊输出反馈控制器;最后,根据Lyapunov稳定性理论提出严格的稳定性分析,保证闭环系统的所有信号均是有限时间内有界的,并通过数值仿真和实验验证了所提出方法的有效性.     

Distributed synthesis is simply undecidable

The distributed synthesis problem of safety and reachability languages is known to be undecidable. In this article, we establish that this is the case for very simple languages, namely for safety and reachability specifications in the intersection of LTL and ACTL.     

时序逻辑语言XYZ/E中指针的形式化表示与验证

指针是一种重要的数据类型,使用指针能使程序更加有效和优美.可是指针却以不易驾御而闻名,至今在时序逻辑语言中未见到对它的形式化工作.XYZ/E既是一个时序逻辑系统也是一个程序设计语言,它能表示普通高级语言中几乎所有的重要机制.本文主要讨论在时序逻辑语言XYZ/E中指针的形式化表示问题以及在结构化XYZ/SE程序中指针的验证问题.