区间矩阵稳定的充分条件

本文讨论了几类元素不确定区间矩阵的稳定性问题,得到了若干充分判据,改进了对称区间矩阵稳定性的结果。     

Semiconvergence of P-regular splittings for solving singular linear systems

We investigate necessary and sufficient conditions for semiconvergence of a splitting for solving singular linear systems, where the coefficient matrix A is a singular EP matrix. When A is a singular Hermitian matrix, necessary and sufficient conditions for semiconvergence of P-regular splittings are given, which generalize known results. As applications, the necessary and sufficient conditions for semiconvergence of block AOR and SSOR iterative methods are derived. A numerical example is given to illustrate the theoretical results. The work is supported by the National Natural Science Foundation of China under grant 10371056, the Foundation for the Authors of the National Excellent Doctoral Thesis Award of China under grant 200720 and the Natural Science Foundation of Jiangsu Province of China under grant BK2006725.     

Markovian跳变不确定分布参数系统随机稳定性分析

研究了一类具有Markovian跳变的不确定分布参数系统的随机稳定性问题。基于线性矩阵不等式方法,通过构造适当的随机Lyapunov泛函,计算弱无穷小算子,利用Green公式及Schur补引理,系统随机稳定的充分条件以一组线性矩阵不等式给出。线性矩阵不等式很容易通过MATLAB中的LMI工具箱进行求解。该充分条件便于工程实际应用。最后,构建仿真模型验证了该方法的有效性。     

Systems of coupled generalized Sylvester matrix equations

This paper studies some systems of coupled generalized Sylvester matrix equations. We present some necessary and sufficient conditions for the solvability to these systems. We give the expressions of the general solutions to the systems when their solvability conditions are satisfied.     

参数摄动混杂离散系统的鲁棒稳定性

采用线性矩阵不等式(LMI)方法研究离散事件状态转移条件为状态依赖的参数摄动线性混杂离散系统的鲁棒稳定性问题, 提出此类系统全局鲁棒渐近稳定性判定定理, 基于分段Lyapunov函数给出了一般混杂离散系统在Lyapunov意义下局部稳定的判定定理, 该定理可将线性混杂离散系统的稳定性问题转化为LMI问题, 在此基础上提出了参数摄动线性混杂离散系统在Lyapunov意义下局部鲁棒稳定的充分条件.     

Robust Control of Permanent Magnet Synchronous Motors

In this paper, permanent magnet synchronous motors (PMSMs) are investigated. According to the feature of PMSMs, a novel state equation of PMSMs is obtained by choosing suitable state variables. Based on the state equation, robust controllers are designed via interval matrix and PI control idea. In terms of bilinear matrix inequations, sufficient conditions for the existence of the robust controller are derived. In order to reduce the conservation and the dependence on parameter, the control inputs of PMSMs are divided into two parts, a feedforward control input and a feedback control input, and relevant sufficient conditions for the existence of the controller are obtained. Because of the suitable choice of state variables, the proposed control strategies can cope with the load uncertainty and have robustness for disturbance. Finally, simulations are carried out via Matlab/Simulink soft to verify the effectiveness of the proposed control strategies. The performance of the proposed control strategies are demonstrated by the simulation results.      

求解对偶Riccati方程的矩阵符号函数法

本文介绍一种求解对偶代数Riccati方程正定(负定)稳定(反稳定)解的方法——矩阵符号函数法,给出这些解的唯一存在的充分必要条件和算法实现。     

关于时变区间矩阵的稳定性研究

本文对无界时变区间矩阵Ｎ［ Ｐ（ｔ），Ｑ（ｔ）］的稳定性进行了研究，给出了无界时 对变区间矩阵和具有分解的时变区间矩阵Ｎ［Ｐ（ｔ），Ｑ（ｔ）］稳定的充分条件，推广和改进了文［１，２］的工作。     

五对角矩阵的特征值反问题

本文讨论了一类由五个特征值和相应特征向量构造实对称五对角矩阵的特征值反问题.研究了解的存在性以及存在解的充分必要条件,而且给出了算法和数值例子.     

基于可辨识布尔矩阵的协调决策表的属性约简

将条件属性分成核心属性、相对必要属性和绝对不必要属性,给出协调决策表的快速属性约简算法。提出协调决策表的可辨识布尔矩阵和布尔矩阵的初等行变换的概念,建立属性约简的数学模型。用布尔矩阵的初等行变换把可辨识布尔矩阵化为最简矩阵,给出通过可辨识布尔矩阵和最简矩阵判定3种条件属性的3个充分必要条件以及一种新的属性约简算法。     

Finite‐Time Stability and Stabilization of Linear Itô Stochastic Systems with State and Control‐Dependent Noise

In this paper, finite‐time stability and stabilization problems for a class of linear stochastic systems are studied. First, a new concept of finite‐time stochastic stability is defined for linear stochastic systems. Then, based on matrix inequalities, some sufficient conditions under which the stochastic systems are finite‐time stochastically stable are given. Subsequently, the finite‐time stochastic stabilization is studied and some sufficient conditions for the existence of a state feedback controller and a dynamic output feedback controller are presented by using a matrix inequality approach. An algorithm is given for solving the matrix inequalities arising from finite‐time stochastic stability (stabilization). Finally, two examples are employed to illustrate the results.     

On controllability of the real shifted inverse power iteration

Controllability properties of the inverse power method on projective space are investigated. For complex eigenvalue shifts a simple characterization of the reachable sets in terms of invariant subspaces can be obtained. The real case is more complicated and is investigated in this paper. Necessary and sufficient conditions for complete controllability are obtained in terms of the solvability of a matrix equation. Partial results on conditions for the solvability of this matrix equation are given.     

利用关联矩阵的秩判断Petri网的公平性

本文对有界Ｐｅｔｒｉ网的公平性与分组公平性以及无界Ｐｅｔｒｉ网的公平性分别得到了利用关联矩阵的秩进行判断的一组充要条件，这些条件使用起来是非常方便的．     

一类矩阵不定问题有解的条件

讨论矩阵不定型问题minX∈Rn×str（（C-AXB）TJ（C-AXB））。利用矩阵的Kronecker积,拉直算子和双曲QR分解,给出问题有解的充分必要条件,并在有解条件下给出解的一般表达式。     

具有多状态和控制时滞的控制系统的绝对稳定性分析

基于线性矩阵不等式方法, 对具有多个状态和控制的时变时滞的Lurie型控制系统的稳定性进行分析, 得到了系统绝对稳定的几个充分条件, 这些条件用线性矩阵不等式表示, 具有较低的保守性. 最后通过一个实例验证了所得条件的保守性较以往结果的保守性小.     

一类滞后型控制系统的鲁棒绝对稳定性

利用Lyapunov泛函以及区间矩阵的分析方法,讨论了一类滞后型控制系统的鲁棒绝 对稳定性问题,给出了系统鲁棒绝对稳定的一些实用的代数判据．     

具有外部扰动的离散广义系统有限时间控制

讨论一类具有有限能量的外部扰动的线性离散广义系统的有限时间控制问题。分析问题可解性,得到该问题可解的充分条件,通过状态反馈控制器和输出反馈控制器的设计,给出实现闭环系统有限时间有界的充分条件,这些充分条件可以转化为线性矩阵不等式(LMI)的可行解问题,可借助Matlab中的LMI工具箱求解,最后通过数值算例验证该方法的...     

Iterative algorithm for minimal norm least squares solution to general linear matrix equations

This paper is concerned with minimal norm least squares solution to general linear matrix equations including the well-known Lyapunov matrix equation and Sylvester matrix equation as special cases. Two iterative algorithms are proposed to solve this problem. The first method is based on the gradient search principle for solving optimization problem and the second one can be regarded as its dual form. For both algorithms, necessary and sufficient conditions guaranteeing the convergence of the algorithms are presented. The optimal step sizes such that the convergence rates of the algorithms are maximized are established in terms of the singular values of some coefficient matrix. It is believed that the proposed methods can perform important functions in many analysis and design problems in systems theory.     

Generalized Hamiltonian realization of time-invariant nonlinear systems

A key step in applying the Hamiltonian function method is to express the system under consideration into a generalized Hamiltonian system with dissipation, which yields the so-called generalized Hamiltonian realization (GHR). In this paper, we investigate the problem of GHR. Several new methods and the corresponding sufficient conditions are presented. A major result is that if the Jacobian matrix of a time-invariant nonlinear system is nonsingular, the system has a GHR whose structure matrix and Hamiltonian function are given in simple forms. Then the orthogonal decomposition method and a sufficient condition for the feedback dissipative realization are proposed.