状态饱和2-D离散系统的稳定性分析

研究由Fornasini-Marchesini(简记F-M)第二模型描述的状态饱和2-D离散系统的渐近稳定性.定义参数s_i将系统表示成部分状态饱和2-D离散系统;构造具有较少限制的矩阵Q并引入参数β,利用Lyapunov方法给出了系统全局渐近稳定性的新的判别条件;设计了基于线性矩阵不等式的求解算法,并通过数值算例验证了算法的有效性.     

离散系统Lyapunov第二方法的一些问题

本文讨论线性时不变离散系统Lyapunov方程解集的几何性质以及分段线性离散系统的稳定性,得出每个子系统都是稳定的分段线性离散系统渐近稳定的一些充分条件,并把这些结果应用于二阶分段线性系统.     

离散大系统非线性比较方程的稳定性

用矢量李雅普诺夫函数解决大系统的稳定性问题必须要判断矢量比较方程的稳定性.对离散系统,过去只研究过线性驻定比较方程的稳定性.本文全面建立了离散非线性驻定比较方程的各种稳定性判别准则,其中渐近稳定的准则既是充分也是必要的,并由此推得了一个用于C₁类函数的准则,两者均可用来判断离散非线性(驻定或非驻定)系统的非指数稳定以至全局非指数稳定.所有准则均具有简单的代数形式,便于应用.     

时变离散大系统的稳定性

本文首先给出了线性时变离散系统稳定性的一个充分条件.然后研究当孤立子系统满足上述条件时的线性及非线性时变离散大系统的稳定性.利用向量李雅普诺夫函数法结合时变离散系统的比较原理,得到了时变离散大系统在稳定性中的集结模型.直接由集结系统的稳定性得到大系统稳定性的条件.     

非线性时变离散系统的稳定性

早在50年代,由于数字计算机在工程和科学上应用的增加,对控制理论家、经济学家以及生物学家来说,离散系统(差分方程)已经成为一个重要且有用的数学模型。因此,对离散系统的研究就越来越显得重要了.当时的工作主要是应用 Z 变换研究采样数据系统,近30多年来,离散系统的研究已经有了较大的发展,特别是离散系统稳定性方面更是如,     

线性微分差分系统渐近稳定性的充要条件

本文引进了一种可调参数的方法，应用该方法研究了线性微分差分系统的渐近稳定性，得到了该系统渐近稳定性的充要条件的代数判别准则．     

线性微分差分系统渐近稳定性的充要条件

本文引进了一种可谓参数的方法，应用该方法研究了线性微分差分系统的渐近稳定性，得到了该系统渐近稳定性的充要条件的代数判别准则．     

Marachkov-Barbashin-Krasovskii型渐近稳定性定理

本文研究非自治系统的渐近稳定性.且得到了不要求Liapunov函数正定,也不要求其沿系统的解的导数负定的渐近稳定性定理.一致渐近稳定性定理及全局渐近稳定性定理.     

一类变延迟中立型微分方程梯形方法的渐近估计

该文研究了一类变延迟中立型微分方程梯形方法的稳定性,并借助于一个泛函不等式得到了数值解的渐近估计.此渐近估计对数值解的性态不仅比数值渐近稳定性描述得更加精确,而且能给出非稳定情形数值解的上界估计式.     

中立型随机泛函微分方程的稳定性

该文研究了一般中立型随机微分方程解的渐近性质,利用Lyapunov函数和上鞅收敛定理,得到 了该方程解的一些渐近稳定性、多项式渐近稳定性及指数稳定性等渐近性质,其结果涵盖并 推广了已有文献的结论。     

Stability Analysis for Discrete Biological Models Using Algebraic Methods

This paper is concerned with stability analysis of biological networks modeled as discrete and finite dynamical systems. We show how to use algebraic methods based on quantifier elimination, real solution classification and discriminant varieties to detect steady states and to analyze their stability and bifurcations for discrete dynamical systems. For finite dynamical systems, methods based on Gr?bner bases and triangular sets are applied to detect steady states. The feasibility of our approach is demonstrated by the analysis of stability and bifurcations of several discrete biological models using implementations of algebraic methods.     

线性离散系统的部分稳定性

In this paper, we study the partial stability of linear discrete systems by means of Liapunov's functions of quadratic form . We obtain a necessary and sufficient condition for the system being stable with respect to part of variables and generalize Liapunov's equation to the partial stability of linear discrete systems . A method of constructing Liapunov's function of quadratic form for the stability of the systems is given.     

Switching systems with dwell time: Computing the maximal Lyapunov exponent

We study asymptotic stability of continuous-time systems with mode-dependent guaranteed dwell time. These systems are reformulated as special cases of a general class of mixed (discrete–continuous) linear switching systems on graphs, in which some modes correspond to discrete actions and some others correspond to continuous-time evolutions. Each discrete action has its own positive weight which accounts for its time-duration. We develop a theory of stability for the mixed systems; in particular, we prove the existence of an invariant Lyapunov norm for mixed systems on graphs and study its structure in various cases, including discrete-time systems for which discrete actions have inhomogeneous time durations. This allows us to adapt recent methods for the joint spectral radius computation (Gripenberg’s algorithm and the Invariant Polytope Algorithm) to compute the Lyapunov exponent of mixed systems on graphs.     

Analysis of stability and synthesis of stable control systems for a class of nonlinear nonstationary systems

On the basis of sufficient condition of the stability of linear nonstationary discrete systems stated in this paper, we carry out an analysis of stability for a special class of discrete systems with nonstationary linear part, whose parameters satisfy constraints in the form of sets, and with a scalar nonlinear function satisfying linear or nonlinear restrictions. The problem of parametric synthesis of robustly stable control systems is solved for the same class of objects. The obtained results are generalized to the class of nonstationary systems with many nonlinearities of the same type.     

异结构离散型混沌系统的延迟同步

以异结构离散型混沌系统为研究对象,设计了一种延迟同步控制器实现了离散型Henon混沌系统和Ikeda混沌系统之间的同步控制．根据稳定性定理,确定了延迟同步控制器的结构以及系统状态变量之间的误差方程．设计的延迟同步控制器对于不同的离散型混沌系统具有统一的形式,可以实现任意异结构离散型混沌系统之间的延迟同步．数值仿真模拟进一步验证了该控制器的有效性．     

离散广义系统的平稳振荡

为了研究离散广义系统的平稳振荡，本文利用广义Ｌｙａｐｕｎｏｖ函数方法，给出了一个ｍ周期解存在的充要条件，得出了离散广义系统的周期解的存在性、唯一性、稳定性的有关定理，进而研究具有某种分解的复杂离散广义系统的平稳振荡问题，方法简单易行．