不确定离散时滞线性系统的完整性设计

在工程实践中 ,容错控制问题关系到系统的可靠性和安全性 ,具有十分重要的意义。研究了离散时滞线性系统的状态反馈容错控制问题。针对离散时滞系统的传感器和执行器的失效问题 ,基于Lyapunov渐近稳定性理论讨论了其在故障条件下仍具有完整性的充分条件 ,并进一步分析了该系统存在有界参数不确定时的完整性设计 ,提出了保证系统鲁棒稳定的设计算法。研究结果表明 ,该算法能保障系统的容错性和稳定性。仿真数值结果验证了该方法的有效性     

一类非匹配不确定性混沌系统的鲁棒自适应控制

针对一类含有非匹配未知参数和非参数不确定性的混沌系统控制问题,结合反演设计和“σθ-修改”参数自适应技术,提出了一种适用于输出跟踪的混沌系统鲁棒自适应控制器设计新方法,对非匹配的未知参数和非参数不确定具有鲁棒性。该控制器设计方法不仅能保证闭环系统所有信号有界,且能使跟踪误差以指数速度收敛到零的小临域内。计算机仿真验证了理论研究成果的有效性和正确性。     

多智能体协同的认知规范模型检测算法

 在Wooldridge提出的利用不变式特征的方法来模型检测时态认知逻辑的基础上,研究多智能体协同逻辑ATEL(Alternating Temporal Epistemic Logic)中认知算子的模型检测算法,包括多层的认知算子,分布式认知算子和公共知识算子等等。研究结果表明,加入认知算子后的ATEL的在增加系统描述能力的同时并没有明显增加其计算复杂性。     

Robust dissipative filtering for continuous-time polytopic uncertain neutral systems

This article is concerned with the problem of robust dissipative filtering for continuous-time polytopic uncertain neutral systems. The main purpose is to obtain a stable and proper linear filter such that the filtering error system is strictly dissipative. A new criterion for the dissipativity of neutral systems is first provided in terms of linear matrix inequalities (LMI). Then, an LMI sufficient condition for the existence of a robust filter is established and a design procedure is proposed for this type of systems. Two numerical examples are given. One illustrates the less conservativeness of the proposed criterion; the other demonstrates the validity of the filtering design procedure.     

水文水资源管理经济中气候变化影响评估的不确定性问题

大多数关于气候变化对水文过程影响评估的文献中,对大气模型中存在的显著的不确定性往往考虑不足.在很多重要的领域,GCM生成的长期预测很少能用于未来水资源规划与管理,因为其结果无法对变化趋势进行准确的描述,也就是对水文变量增加或减少趋势的预测缺乏可信度.一项借助于14个GCM模型以及不同发展情景(包括基准情景)开展的径流预报集合分析研究验证了这一点.GCM的输出情景作为水平衡模型的输入这种方法用于多瑙河上游未来水文变化的预测.如果将这种预测情景用于预测由气候变化引起的水文变化经济成本,更大的不确定性将会在经济数学模型中产生.著名的Stern"气候变化经济学"评论在水资源管理领域被广泛的应用.在经济学文献中对Stern评论的观点存在很多争议,很多专家对方法的使用和结论提出了一些质疑,本文的实例也证明了这一点.因此,进行气候变化对水文和水资源影响评估的学者们应该意识到不仅在GCM中存在很大的不确定性,大气-水文-经济模型的耦合过程可能会导致更大的不确定性.     

基于地图的移动机器人定位技术新进展

综述了基于地图的移动机器人定位技术的研究现状，总结了定位过程中遇到的各种不确定性因素的成因，根据使用地图类型和推理手段对当前的定位方法进行归纳，并具体分析了几种典型方法的实现思想和各自的优缺点，阐述了移动机器人定位问题中存在的一般问题，指出了今后的发展方向。     

不确定非线性系统的直接自适应变结构控制

针对同时存在参数及结构不确定性的一类非线性系统,研究其在未知扰动作用下的输出跟踪问题．基于李亚普诺夫稳定性理论提出了一种直接自适应滑模控制律,讨论了自适应律的收敛性．从理论上证明了闭环系统存在滑动模态,参数估计值收敛,系统信号保持有界．并给出仿真实例．     

不确定时滞系统的滑模控制

考虑同时存在状态不确定性和控制不确定性的时滞系统的滑模控制问题,其中控制不确定性是不匹配的。利用Lyapunov方法和线性矩阵不等式技术,给出了闭环系统渐近稳定的充分条件。利用该线性矩阵不等式的解可以得到所设计的滑模控制律和滑模面。从理论上证明了该滑模控制律能保证状态轨迹被驱动到指定的切换面上。仿真结果验证了该算法的有效性。     

基于滤波器的中立跳变系统参数估计和故障检测

研究了一类含时滞和不确定性的中立跳变系统的参数估计和故障检测问题,通过重构系统,获取了包括未知输入、模型不确定性和时滞的误差动态特性.故障检测滤波器和鲁棒故障检测滤波器的存在条件都以线性矩阵不等式的形式给出.所设计的受限于模态的故障检测滤波器使得系统随机稳定,具有很好的抗扰性能和故障检测能力.仿真示例说明了设计方法的有效性.     

关于PF群环

给出了开放逻辑中形成新的假说的一个方法即子结构扩充法，并讨论了相应的认识进程的极限问题。