脉冲摄动微分系统的有界性

通过利用变分Lyapunov函数方法, 该文主要研究了脉冲摄动微分系统关于两个测度的有界性. 与以前结果相比, 不难发现变分Lyapunov函数方法是Lyapunov函数方法的推广 .     

关于切换正线性系统的共同Lyapunov函数

研究切换正线性系统的共同Lyapunov函数.分别就系统矩阵是三角阵和分块三角阵的情况给出了存在一类共同Lyapunov函数的证明,并基于证明过程给出了共同Lyapunov函数的一种求法.最后通过数值算例验证结果.     

计算微分代数系统稳定域的迭代Lyapunov函数方法

用迭代Lyapunov函数方法对微分代数系统稳定域进行了研究,根据所研究的微分代数系统形式,构造一个Lyapunov函数,然后对这个Lyapunov函数进行逐次迭代,给出了微分代数系统稳定域逐次扩大的迭代算法,数值实验表明迭代Lyapunov函数方法应用于微分代数系统稳定域的估计比单个Lyapunov函数具有良好的优越性。     

复杂网络混沌系统的最优控制

考虑到控制系统能量限制的要求,确定了一个二次目标函数,基于最优控制理论给出了复杂网络混沌系统的最优控制律,利用Lyapunov稳定性理论证明了闭环系统的稳定性,数值结果证明了该方法的有效性.     

非线性时变系统的Aeyels-Peuteman类型的Matrosov定理

主要讨论非线性时变系统的一致渐近稳定性,给出Aeyels-Peuteman类型的Matrosov定理定理.与一般的关于一致渐近稳定性的Matrosov定理不同,对Lyapunov函数的要求是不必可微的,并且Lyapunov函数的导数不必严格小于等于零.     

一类三阶非线性系统的全局渐近稳定性

在运用Lyapunov函数第二方法研究非线性系统稳定性的时候,能否做出合适的Lya- punov函数是问题的关键,本文对三阶非线性系统x g(x)x f(x,x) h(x)=0构造出了较好的Lyapunov函数,得到其零解全局渐近稳定的充分性准则,它包含并改进了这一形式非线性系统的大部分结果．     

一类变时滞神经网络的全局指数稳定性

本文研究一类变时滞神经网络平衡点的全局指数稳定性.在不要求激活函数全局Lipschitz条件下,利用Lyapunov函数方法,并结合Young不等式和Halanay时滞微分不等式,得到了系统全局指数稳定的充分条件.文末,一个数值例子用以说明本文结果的有效性.     

关于随机Lyapunov函数的存在性

本文对于一类非时齐的Ito型随机微分系统及可分离变量的常微辅助系统,建立了[1]的随机稳定性比较准则中的纯量Lyapunov函数及条件随机稳定性比较准则中的向量Lyapunov函数的存在性定理(这些Lyapunov函数我们就称其为随机Lyapunov函数).作为纯量随机Lyapunov函数存在性定理的一个推论,即为[2]中定理2的推广,并且在推论中所构造的随机Lyapunov函数,即为[4]中的Lyapunov函数.这些存在性定理也是[5]中常微分方程稳定性及条件稳定性比较准则的逆定理,对于随机微分系统的推广.     

Liu系统的Lyapunov维数估计

基于Leonov提出的Lyapunov维数理论,通过构造合适的Lyapunov函数,给出了Liu系统不变集的Lyapunov维数估计式.最后并给出了Liu系统混沌吸引子的Lyapunov维数估计.     

一类单摆系统的时滞控制和稳定性分析

采用位置反馈和时滞位置反馈控制器对有阻尼数学摆系统的稳定性展开研究.结合Lyapunov函数方法和Lyapunov矩阵方法,分别建立了系统参数所满足的稳定性充分条件.最后,数值实例的仿真结果佐证了结论的有效性.     

Construction of Lyapunov functionals for delay differential equations in virology and epidemiology

In the present paper, we present a method for constructing a Lyapunov functional for some delay differential equations in virology and epidemiology. Here some delays are incorporated to the original ordinary differential equations, for which a Lyapunov function is already obtained. We present simple and clear explanation of our method using some models whose Lyapunov functionals are already obtained. Moreover, we present several new results for constructing Lyapunov functionals using our method.     

Stability results involving time-averaged Lyapunov function derivatives

The stability results which comprise the Direct Method of Lyapunov involve the existence of auxiliary functions (Lyapunov functions) endowed with certain definiteness properties. Although the Direct Method is very general and powerful, it has some limitations: there are dynamical systems with known stability properties for which there do not exist Lyapunov functions which satisfy the hypotheses of a Lyapunov stability theorem.In the present paper we identify a scalar switched dynamical system whose equilibrium (at the origin) has known stability properties (e.g., uniform asymptotic stability) and we prove that there does not exist a Lyapunov function which satisfies any one of the Lyapunov stability theorems (e.g., the Lyapunov theorem for uniform asymptotic stability). Using this example as motivation, we establish stability results which eliminated some of the limitations of the Direct Method alluded to. These results involve time-averaged Lyapunov function derivatives (TALFD’s). We show that these results are amenable to the analysis of the same dynamical systems for which the Direct Method fails. Furthermore, and more importantly, we prove that the stability results involving TALFD’s are less conservative than the results which comprise the Direct Method (which henceforth, we refer to as the classical Lyapunov stability results).While we confine our presentation to continuous finite-dimensional dynamical systems, the results presented herein can readily be extended to arbitrary continuous dynamical systems defined on metric spaces. Furthermore, with appropriate modifications, stability results involving TALFD’s can be generalized to discontinuous dynamical systems (DDS).     

Approximation on attraction domain of Cohen-Grossberg neural networks

In this paper, approximations of attraction domains of the asymptotically stable equilibrium points of some typical Cohen-Grossberg neural networks are achieved. Most Cohen-Grossberg neural networks are highly nonlinear systems which makes it difficult to approximate their attraction domain. Under some weak assumptions, we are allowed to employ the optimal Lyapunov method to obtain a Lyapunov function for asymptotically stable equilibrium points of a given Cohen-Grossberg neural network. With the help of this Lyapunov function, we approximate the corresponding attraction domain by the iterative expansion approach. Numerical simulations also illustrate that the approximation obtained is really part of the attraction domain.     

Global asymptotic properties of an SEIRS model with multiple infectious stages

The paper presents a rigorous mathematical analysis of a deterministic model, which uses a standard incidence function, for the transmission dynamics of a communicable disease with an arbitrary number of distinct infectious stages. It is shown, using a linear Lyapunov function, that the model has a globally-asymptotically stable disease-free equilibrium whenever the associated reproduction threshold is less than unity. Further, the model has a unique endemic equilibrium when the threshold exceeds unity. The equilibrium is shown to be locally-asymptotically stable, for a special case, using a Krasnoselskii sub-linearity trick. Finally, a non-linear Lyapunov function is used to show the global asymptotic stability of the endemic equilibrium (for the special case). Numerical simulation results, using parameter values relevant to the transmission dynamics of influenza, are presented to illustrate some of the main theoretical results.     

Solving stable generalized Lyapunov equations with the matrix sign function

We investigate the numerical solution of the stable generalized Lyapunov equation via the sign function method. This approach has already been proposed to solve standard Lyapunov equations in several publications. The extension to the generalized case is straightforward. We consider some modifications and discuss how to solve generalized Lyapunov equations with semidefinite constant term for the Cholesky factor. The basic computational tools of the method are basic linear algebra operations that can be implemented efficiently on modern computer architectures and in particular on parallel computers. Hence, a considerable speed-up as compared to the Bartels–Stewart and Hammarling methods is to be expected. We compare the algorithms by performing a variety of numerical tests.     

Stability of solutions to impulsive differential equations in critical cases

We propose a new approach to constructing a piecewise differentiable Lyapunov function for some classes of nonlinear nonstationary systems of impulsive differential equations in the critical case. This approach allows us to obtain new sufficient conditions for the Lyapunov stability of solutions to this class of systems.     

Smooth Lyapunov Functions for Discontinuous Stable Systems

It has been proved that a differential system d x / d t = f(t, x) with a discontinuous right-hand side admits some continuous weak Lyapunov function if and only if it is robustly stable. This paper focuses on the smoothness of such a Lyapunov function. An example of an (asymptotically) stable system for which there does not exist any (even weak) Lyapunov functions of class C ¹ is given. In the more general context of differential inclusions, the existence of a weak Lyapunov function of class C ¹ (or C ) is shown to be equivalent to the robust stability of some perturbed system obtained in introducing measurement error with respect to x and t. This condition is proved to be satisfied by most of the robustly stable systems encountered in the literature. Analogous results are given for the Lagrange stability. As an application to the study of the links between internal and external stability for control systems, an extension of a result by Bacciotti and Beccari is obtained by means of a smooth Lyapunov function associated with a robustly Lagrange stable system.     

On the Existence and Construction of Common Lyapunov Functions for Switched Discrete Systems

Under consideration is the problem of stability of switched discrete systems with the generalized homogeneous right-hand sides. The conditions are obtained for the existence of the common Lyapunov function, and a method for its construction is proposed in the form of a combination of the partial Lyapunov functions obtained for isolated subsystems. For a special case of linear three-dimensional systems, some algorithms are proposed for constructing common Lyapunov functions as quadratic and fourth degree forms. Some examples illustrate the effectiveness of the proposed approach.     

Stability analysis of time-varying switched systems via indefinite difference Lyapunov functions

Asymptotic stability of time-varying switched systems is investigated in this paper. The less conservative sufficient criteria for asymptotic stability of time-varying discrete-time switched systems are proposed via common indefinite difference Lyapunov functions and multiple indefinite difference Lyapunov functions introduced in this note, respectively. Common indefinite difference Lyapunov functions can be used to analyze stability of a switched system with asymptotic stable subsystems and arbitrary switching signal. Multiple indefinite difference Lyapunov functions can be used to investigate stability of a switched system with unstable subsystems and a given switching signal. The difference of the proposed Lyapunov function may be positive at some instants for an asymptotically stable subsystem. We compare these main results and illustrate the effectiveness of the obtained theorems by three numerical examples.