离散广义大系统的Lyapunov稳定性分析

广义大系统的稳定性是广义大系统理论的基本问题之一,对其稳定性的研究要比状态空间大系统复杂得多,因为广义大系统不仅需要考虑稳定性,而且还要考虑正则性和因果性(离散广义系统)及脉冲自由(连续广义系统).本文在所有孤立子系统都是正则的且具有因果关系的条件下,利用Lyapunov方程,应用Lyapunov函数方法,研究了广义离散线性大系统和广义离散非线性大系统的稳定性和不稳定性问题,给出了离散广义大系统稳定性和不稳定性判定定理,得到了离散广义大系统的关联稳定参数域和不稳定域.     

一般广义时变系统的容许性和二次容许性

针对一般广义时变系统, 采用广义Lyapunov 不等式和受限等价变换的分析方法, 提出了一般广义时变系统容许性和二次容许性的概念, 建立了一般广义时变系统的Lyapunov 不等式. 将一般广义时变系统容许性问题转化为求解Lyapunov 不等式问题, 获得了该类系统容许和二次容许的充要条件, 所得结论是广义系统容许性研究成果向一般广义时变系统的自然推广. 最后, 通过数值算例验证了所得结论的有效性.     

具输入饱和因子的广义系统的镇定

广义系统的镇定问题是广义系统理论的基本问题之一.为了研究具输入饱和因子 的广义系统的镇定,首先利用代数方法,借助大系统分解原理,对具输入饱和因子的广义系统 进行综合,给出闭环系统渐近稳定的判别条件.其次,给出了闭环系统E一渐近稳定的概念,利 用广义Lyapunov函数方法,研究具输入饱和因子的广义系统,提出了合适的反馈控制,得到 了具输入饱和因子的广义系统E一渐近稳定的判别定理.     

类广义Lorenz系统的广义同步

应用广义Lorenz标准型研究了包括广义Lorenz系统、双曲型广义Lorenz系统以及Liu-Liu-Liu-Liu系统在内的类广义Lorenz系统的广义同步化问题．利用映射将一大类三阶二次混沌系统变换为广义Lorenz标准型,设计控制器使变换后的系统达到完全同步,进而使变换前的系统实现广义同步．将该方法分别用于拓扑等价和不等价的两个系统,通过数值仿真,发现结果和理论分析相符,从而表明了该方法的有效性．     

广义系统的周期解

本文研究了几类广义系统，得出了一类广义线性非齐次系统存在周期解的充要条件，一类广义线性时变系统存在唯一周期解的充分条件；一类广义非线性系统存在周期解的充分条件。     

广义不确定系统鲁棒稳定性及鲁棒镇定的矩阵不等式方法

考虑广义不确定系统的鲁棒稳定性及鲁棒镇定问题.提出了广义不确定系统'广义二 次稳定'及'广义二次可镇定'的概念,利用矩阵不等式,分别得到了所考虑广义不确定系统广义 二次稳定及广义二次可镇定的充要条件,而且,使广义不确定系统鲁棒镇定的状态反馈控制律 的设计可通过求解一给定的矩阵不等式而得到.     

广义分布参数系统的初值问题

本文定义了广义左逆、广义Ｆｏｕｒｉｅｒ变换，矩产方根等概念，论述了由带奇异系数矩耦合偏微分方程描述的广义分布参数系统，由广义Ｆｕｒｉｅｒ变换定理讨论了广义分布参数系统的初值问题，得到了该系统的解及其相容的初值条件。     

带控制时滞广义系统的PID型迭代学习算法

研究了一类线性时滞广义系统的迭代学习控制问题.针对广义系统的特点,引入选代学习控制方法,给出了线性时滞广义系统的PID型选代学习算法.结合矩阵广义逆理论,利用λ范数和Bellman引理,并从理论上给出了算法收敛性的完整证明.研究结果表明,只要充分利用广义系统的特点,寻找合适的收敛性分析方法,便可解决控制时滞广义系统的收敛性问题,对时滞广义系统速代学习控制问题的研究具有重要的理论意义与应用价值.     

广义系统的无穷远特征结构

研究了广义系统的无穷远征结构问题,给出了一种计算了广义系统的无穷远特征向量和广义无穷远特征向量的方法,在此基础上,讨了消除广义系统脉冲运动的问题,得到了保证系统无脉冲运动的充要条件。     

具有饱和执行器的时滞广义系统的鲁棒控制

利用李亚普诺夫方法研究了时滞广义系统、不确定广义系统和不确定时滞广义系统的鲁棒镇定问题.首先设计了时滞广义系统的具有饱和执行器的控制律,并给出其闭环系统渐近稳定的充分条件.对不确定项是范数有界的不确定广义系统,给出其控制器的设计方法和闭环系统渐近稳定的充分条件.在此基础上,进一步给出了不确定时滞广义线性系统的镇定条件.最后,给出了一个数值算例来说明方法的有效性.     

离散事件系统广义分式方法

本文在Z-域上考虑一类离散事件系统,引入极大代数上的有理式作为传递函数的紧致表达式,将有理式展开成广义分式进行系统分析与设计,讨论了广义分式的约简与标准形;研究了有理传递函数的谱特征与周期响应,同时给出了最优控制等应用实例。     

On generalized controllability canonical form with multiple input variables

This paper proposes a generalized controllability canonical form for linear multi-input systems by extending the normal controllability canonical forms. It is shown that there exists appropriate similarity transformation for any non-trivial system to transform it into a generalized controllability canonical form, even if the system is not completely controllable. The potential application scenarios are reviewed, especially for large-scale networked systems. The Luenberger format is taken as an instance to delineate the configuration of a generalized form. A numerical example is presented to demonstrate the relevant algorithm.     

Stabilization of linear time-invariant interval systems viaconstant state feedback control

This paper investigates the stabilization problem of linear uncertain systems via constant state feedback control. The systems under consideration contain time-invariant uncertain parameters whose values are unknown but bounded in given compact sets and are thus called interval systems. The criterion for the asymptotic stability of the closed-loop system, obtained when a state feedback control is applied, is that all the eigenvalues of the resulting system matrix are in the strict left half of the complex plane. First, the author shows that to insure an interval system stabilizable, some entries of the system matrices must be sign invariant. More precisely, the number of the least-required, sign-invariant entries in system matrices is equal to the system order. Then, the author studies the stabilizability of a set of interval systems called standard systems which contain sufficient numbers of sign-invariant entries in proper locations. After dividing all standard systems into some subsets by the uncertainty locations, the author then derives necessary and sufficient conditions under which every system in a subset is stabilizable, regardless of its parameter varying bounds. The conditions show that all uncertain entries in system matrices should form a particular geometrical pattern called a “generalized antisymmetric stepwise configuration”. For an interval system satisfying the stabilizability conditions, a computational control design procedure is also provided and illustrated via an example. The result is further generalized for nonstandard systems via linear transformation     

Generalized normal form and stabilization of non-linear systems

This paper considers the normal form of non-linear control systems. First we propose a generalized relative degree (relative degree vector) for non-linear single (respectively, multiple) input control system, which is called the point relative degree (respectively, point relative degree vector). For the systems without output, the concepts of essential relative degree (respectively, essential relative degree vector) and the essential point relative degree (respectively, essential point relative degree vector) are defined. Unlike the classical definition which requires regularity, the point relative degree (vector) is always well defined. Using these new concepts the generalized normal form is obtained. Its relationship with the Jacobian linearization is investigated. Using it, a straightforward computation algorithm is provided to achieve the generalized normal form. Based on the generalized normal form we prove that with an additional condition, if the zero-dynamics is stable the overall system is stabilizable by using pseudo-linear state feedback control. For the systems under generalized normal form with unstable zero dynamics, the centre manifold approach is applied. It is shown that the stabilization technique via a designed centre manifold is still applicable to this kind of general non-linear control system.     

Extending the functional equivalence of radial basis functionnetworks and fuzzy inference systems

We establish the functional equivalence of a generalized class of Gaussian radial basis function (RBFs) networks and the full Takagi-Sugeno model (1983) of fuzzy inference. This generalizes an existing result which applies to the standard Gaussian RBF network and a restricted form of the Takagi-Sugeno fuzzy system. The more general framework allows the removal of some of the restrictive conditions of the previous result.     

The theory of interactive generalized semi-Markov processes

In this paper we introduce the calculus of interactive generalized semi-Markov processes (IGSMPs), a stochastic process algebra which can express probabilistic timed delays with general distributions and synchronizable actions with zero duration, and where choices may be probabilistic, non-deterministic and prioritized. IGSMP is equipped with a structural operational semantics which generates semantic models in the form of generalized semi-Markov processes (GSMPs), i.e. probabilistic systems with generally distributed time, extended with action transitions representing interaction among system components. This is obtained by expressing the concurrent execution of delays through a variant of ST semantics which is based on dynamic names. The fact that names for delays are generated dynamically by the semantics makes it possible to define a notion of observational congruence for IGSMP (that abstracts from internal actions with zero duration) simply as a combination of standard observational congruence and probabilistic bisimulation. We also present a complete axiomatization for observational congruence over IGSMP. Finally, we show how to derive a GSMP from a given IGSMP specification in order to evaluate the system performance and we present a case study.     

Godel系统中一类子代数上的广义重言式理论

将Godel辑系统中的广义重言式理论进行推广,讨论了一类无限子代数上的广义重言式理论,并利用可达广义重言式的概念在G的标准子代数E0中给出F（S）关于┑同余的一个分划。     

广义信息系统的属性约简

把完备信息系统、不完备信息系统、序信息系统、覆盖信息系统等常见信息系统统称为广义信息系统,采用新的知识表达形式将其知识结构进行统一表示,特别是将覆盖信息系统纳入了广义信息系统的框架之中。在广义信息系统中引入粒度熵的概念,对属性的重要性给出度量;在此基础上,提出一种广义信息系统属性约简的启发式算法,进而得到广义信息系统的知识约简,并给出了若干算例。     

Global output feedback tracking for nonlinear systems in generalized output-feedback canonical form

A global output feedback dynamic compensator is proposed for stabilization and tracking of a class of systems that are globally diffeomorphic into systems which are in generalized output-feedback canonical form. This form includes as special cases the standard output-feedback canonical form and various other forms considered previously in the literature. Output-dependent nonlinearities are allowed to enter both additively and multiplicatively. Under the assumption that a constant matrix can be found to achieve a certain property, it is shown that a reduced-order observer and a backstepping controller can be designed to achieve asymptotic tracking. For the special case of linear systems, the designed dynamic controller reduces to the standard reduced-order observer and linear controller. This is the first global output-feedback tracking results for this class of systems.