基于观测器的分段仿射离散系统H∞控制

针对分段仿射离散系统,提出一种基于观测器的H∞控制器设计方法。采用分段二次Lyapunov函数构造耗散不等式,以保证闭环系统的稳定性和H∞性能。通过椭球体近似逼近凸多面体形式的作用域,并借用奇异值分解技术处理矩阵等式约束,从而把H∞性能指标最小化问题转化为线性矩阵不等式(Linear matrix inequality,LMI)描述的凸优化问题,并运用LMI工具箱求解。最后通过仿真实例说明所提方法的可行性。     

不确定时滞关联大系统的分散鲁棒可靠H∞控制

综合考虑了工程实际中经常遇到的参数不确定性和控制元件失效2类典型问题.针对一类离散时间不确定时滞关联大系统,通过比较各子系统正常工作时和失效时的性能准则,给出了其分散鲁棒可靠状态反馈控制器的一种设计方法.该方法能够保证对于给定范围内的任意参数摄动和控制通道失效,受控系统都是内部稳定且满足指定的性能指标.结果基于线性矩阵不等式,便于计算机求解和参数优化.另外,对大系统可靠性控制与鲁棒性控制间的联系进行了分析.所作数值例子和相应的仿真结果说明了这个方法的有效性.     

一类向量值的加权模不等式

在本论文中 ,我们得到了关于权函数υ(x)≥ 0的Hardy—Littlewood极大算子 ,存在某些ω(x) <∞　a .ex∈Rn,从LpB(Rn,ωdx)到Lp(Rn,υdx)是有界的充分性结果     

不确定系统的鲁棒严格正实设计的LMI方法

考虑系数矩阵具有有界范数不确定性系统的鲁棒严格正实设计问题.定义了不确定系统的二次严格正实性,得到了用线性矩阵不等式表示的系统二次严格正实的充要条件,给出了基于状态反馈的不确定系统二次严格正实鲁棒优化控制器的设计方法.     

密码协议的分层安全需求及验证

将密码协议的安全需求分为浅层需求和深层需求2个层面,阐述了密码协议的分层安全需求.采用近世代数和时序逻辑的方法定义了形式化描述语言,并形式化地描述了密码协议的分层安全需求.将类BAN逻辑与模型检查相结合,在Abadi-Tuttle模型的基础上建立密码协议的计算模型.以Otway-Rees协议为例,利用该计算模型和定理证明技术对密码协议进行了多层需求验证.     

关于Klambauer的一个不等式

本文证明了关于函数的一个不等式：存在ｘ０＞０,使ｘ＞ｘ０时,（１＋１ｘ）ｘ（１＋１２ｘ＋ｐ）＜ｅ＜（１＋１ｘ）ｘ（１＋１ｐｘ＋１）（ｐ＞０）当且仅当５６≤ｐ≤２,从而推广和改进了Ｋｌａｍｂａｕｅｒ在文［１］中关于数列的一个不等式。     

多模切换控制方法及其在分导飞行器姿态机动控制中的应用研究

研究一类离散切换系统的鲁棒保性能状态反馈控制器设计问题。利用切换Lyapunov函数和线性矩阵不等式方法,得到了鲁棒保性能控制器存在的一个充分条件,给出了控制器的参数化表示,并将次优保性能控制器的设计问题转化为基于线性矩阵不等式约束下的凸优化问题。最后将所提理论应用于某飞行器的控制方案设计中,说明了本文所提设计方法的有效性。     

一种实现干扰补偿的控制策略

提出了一种实现系统干扰补偿的控制策略。针对无界斜坡干扰情况，通过构造一个系统输出并为其设计观测器，实现了对状态和干扰的同时估计，并将干扰的估计量引入到控制律当中，从而实现系统对干扰的补偿控制。仿真结果验证了这一方法的有效性。     

基于对角占优的航空发动机多变量控制

提出了以对角占优为基础,结合线性矩阵不等式进行航空发动机多变量控制系统频域预补偿器的设计。该方法通过使用有界实引理,将多变量频域预补偿器的设计问题与线性矩阵不等式的求解方法相结合,以达到削弱航空发动机多变量控制系统强耦合的目的。仿真验证表明,该方法有效地削弱了通道间的耦合,降低了控制器的阶次。