Riemann引理的若干证法和推广

本文首先给出了Ｒｉｅｍａｎｎ引理及其三种证法；然后通过直接方法、变量替换方法和多项式逼近的方法分别进行了证明．最后给出了Ｒｉｅｍａｎｎ引理的推广及其证明。     

线性离散不确定时滞系统滞后相关H∞鲁棒控制

基于Lyapunov泛函方法,对存在状态时滞的线性离散不确定系统,给出了滞后相关型无记忆H∞状态反控制器设计方案,通过求解相应的线性矩阵不等式即可求得满足设计要求的控制器．