On the indirect approaches for CARMA model identification

In this paper, we study the problem of reconstructing a continuous-time (CT) model from an identified discrete-time (DT) model for a continuous-time stochastic process. We present a new necessary and sufficient condition for the existence of the solution. We also show that the solution is unique if it exists. Our results are useful in modeling multivariable processes as well. These results are then used to develop an algorithm where the intermediate discrete-time model estimation is not necessary. The performance of our algorithm is illustrated using numerical simulations.     

随机马尔可夫切换系统的H∞模型降阶

考虑一类带有时滞的不确定马尔可夫切换系统的H∞模型降阶问题.首先得到了一个矩阵不等式形式的充分条件,使该系统的H∞模型降阶问题对于满足条件的任意不确定性都是可解的;然后依据CCL(conecom plem entarity linearization)方法给出了该问题的求解算法,以及降阶模型的参数化方法.仿真算例说明该方法的有效性.     

Robust Stabilization for Single-Input Polytopic Nonlinear Systems

This note deals with the stabilization problem of single-input polytopic nonlinear systems. The robust control Lyapunov function approach is used to derive a sufficient condition for the existence of time-invariant, continuous, asymptotically stabilizing state feedback controllers. The obtained sufficient condition is proven also necessary for the existence of stabilizing state feedback controllers such that the closed-loop system has a robust Lyapunov function for all possible uncertainties. In addition, a universal formula for constructing stabilizing controllers when the presented sufficient condition is met is provided. The results are illustrated by a numerical example.     

约束随机线性二次最优控制的研究

本文研究线性终端状态约束下不定随机线性二次最优控制问题.首先利用Lagrange Multiplier 定理得到了存在最优线性状态反馈解的必要条件, 而在加强的条件下也得到了最优控制存在的充分条件. 从某种意义上讲, 以往关于无约束随机线性二次最优控制的一些结果可以看成本文主要定理的推论.     

输入受限不确定离散系统的灰色滑模控制

对于输入受限离散系统,首先构造出输入受限条件的等效约束矩阵,然后基于线性矩阵不等式给出了满足输入受限条件的切换函数时变参数的构造方法.采用离散趋近控制,结合李雅普诺夫函数和线性矩阵不等式方法提出了滑动模态渐近稳定的充分条件,对不确定部分建立灰色估计模型,证明了闭环系统的稳定性.理论和仿真表明,不仅利用到基于等效控制的滑模控制器构造简单、易于实现等优点,而且满足输入受限条件,克服了传统基于等效控制的滑模控制器瞬时输出量过大的缺点,有效地消除了系统抖振和不确定因素的影响.     

不确定奇异时滞系统的时滞相关型鲁棒∞弹性控制

讨论了不确定奇异时滞系统的时滞相关型鲁棒弹性控制器设计问题.在一个关于标称奇异时滞系统的新的时滞相关型稳定性判据的基础上给出了一种新的有界实引理(BRL:bounded real lemma);基于此给出了时滞相关型鲁棒弹性控制器存在的充分性条件,最后通过数值算例说明本文结果的有效性.     

基于强传递性的线性时不变系统同时稳定化的充分条件

本文考虑了离散线性时不变系统的同时稳定化问题.基于强传递性的方法,本文利用互素因子分解法建立了同时存在多个稳定控制器的充分条件.此外,在这个条件下,本文提出了同时稳定3个系统的控制器的设计方法.最后,给出了一个例子验证结果的有效性.     

一类参数不确定脉冲系统的保成本控制研究

根据脉冲系统的稳定性结果,得到了线性时变脉冲系统一致渐近稳定的充分条件．在此基础上研究了一类参数不确定系统的保成本状态反馈控制问题,根据稳定性理论与鲁棒控制原理得到了此类控制器的一个存在性条件．进一步通过有关参数不确定性的结论证明了该条件等价于一组线性矩阵不等式的可解性问题．最后给出了一个具体示例．     

On Linear Copositive Lyapunov Functions and the Stability of Switched Positive Linear Systems

We consider the problem of common linear copositive Lyapunov function existence for positive switched linear systems. In particular, we present a necessary and sufficient condition for the existence of such a function for switched systems with two constituent linear time-invariant systems. Several applications of this result are also given.     

死锁的PETRI NETS模型

本文给出了操作系统(OS)的一种基于Petri网的形式化模型,由此把死锁问题转化为线性代数问题。我们得到了OS中死锁存在的充要条件,以及一种消除系统中所有的死锁、保证系统正常工作的最优化方法。特别是对于分布式OS,我们大大改进了以往的一些处理死锁的方法,最后还通过举例进行了说明。