分段脉冲系统的有限时间稳定与滤波

利用线性矩阵不等式和松弛变量方法,研究连续时间分段脉冲系统的有限时间稳定和滤波问题.一方面给出滤波误差系统有限时间稳定和满足性能要求的充分条件.另一方面给出有限时间滤波问题可解的充分条件和滤波器的设计方法.最后通过数值算例表明结论的可行性和有效性.     

一类平面多项式系统极限环的存在唯一性

研究一类平面2n 1次多项式微分系统的极限环问题,利用Hopf分枝理论得到了该系统极限环存在性与稳定性的若干充分条件,利用Cherkas和Zheilevych的唯一性定理得到了极限环唯一性的若干充分条件.     

Banach空间中一类二阶具阻尼项的积分-微分包含的可控性

本文讨论了一类二阶具阻尼项的积分-微分包含问题.利用集值不动点定理将问题转化为求不动点问题,进而得到系统可控性的充分条件.     

离散时间不确定脉冲系统的有限时间稳定性与滤波

本文研究离散时间不确定脉冲系统的有限时间稳定性和滤波问题.利用线性矩阵不等式和松弛变量方法,不仅给出了滤波误差系统有限时间稳定和满足性能要求的充分条件,另外也给出了滤波器存在的充分条件和设计方法.最后通过数值模拟表明了结论的可行性和有效性.     

一类三次系统的广义相伴系统的定性分析

研究了一类三次多项式微分系统=-y+δx+lx~2+mxy+bxy~2+ax~3,=x的广义相伴系统=-y+δx+lx~2+mxy+bxy~2+ax~3,=x(y),对原点O进行了中心-焦点判定.利用旋转向量场的理论得出了系统不存在极限环的充分条件,利用Hopf分支问题的Lyapunov第二方法得到了该系统极限环存在性的若干充分条件,最后利用Coppel的唯一性定理得到了极限环唯一性的充分条件.     

具有时滞和反馈控制的离散Leslie系统的概周期解

讨论了具有时滞和反馈控制的离散Leslie概周期捕食与被捕食系统.利用差分不等式和通过构造适当的Lyapunov函数,得到了系统持久性和全局吸引的充分条件.利用泛函概周期的壳理论,得到了系统存在唯一全局吸引概周期解的充分条件.     

一类带时滞的阶段结构捕食模型的定性分析

研究了一类具有时滞和阶段结构的捕食模型系统,给出了系统持续生存的充分条件.利用比较定理和构造适当的Lyapunov泛函得到了该系统正平衡态全局渐近稳定的充分条件.     

一类非线性投资系统的稳定性

讨论了一类非线性中性技术进步与投资系统的稳定性问题,利用Lyapunov函数,对系统的稳定性进行了分析,给出了系统稳定的充分条件.     

具有时变时滞多智能体系统二分一致性

针对具有时变时滞的多智能体系统二分一致性问题,设计出相应的一致性协议.进一步,通过规范变换和状态变换将二分一致性问题转化为相应的稳定性问题.构造LyapunovKrasovskii泛函,利用线性矩阵不等式(LMI)理论并结合自由矩阵的方法得到多智能体系统达到二分一致的充分条件.对于固定拓扑和切换拓扑情形均进行了研究,当系统具有切换拓扑时,利用平均驻留时间方法分析得到保证系统二分一致性成立的充分条件.最后,利用仿真实例说明所得结果的有效性.     

含非线性项的不确定离散时滞系统鲁棒稳定性分析

针对一类同时存在非线性项和不确定项的离散时滞系统,研究了系统的鲁棒稳定性问题.通过构造Lyapunov函数并利用Schur补引理以线性矩阵不等式(LMI)形式给出了系统鲁棒稳定的充分条件;利用离散时滞系统鲁棒稳定性的充分条件,采用LMI技术,设计出基于LMI的状态反馈鲁棒控制器;理论证明该方法设计的控制器保证闭环系统鲁棒渐近稳定.     

Nonlinear Eigenvalue Problems in the Stability Analysis of Morphogen Gradients

This paper is concerned with several eigenvalue problems in the linear stability analysis of steady state morphogen gradients for several models of Drosophila wing imaginal discs including one not previously considered. These problems share several common difficulties including the following: (a) The steady state solution which appears in the coefficients of the relevant differential equations of the stability analysis is only known qualitatively and numerically. (b) Though the governing differential equations are linear, the eigenvalue parameter appears nonlinearly after reduction to a problem for one unknown. (c) The eigenvalues are determined not only as solutions of a homogeneous boundary value problem with homogeneous Dirichlet boundary conditions, but also by an alternative auxiliary condition to one of the Dirichlet conditions allowed by a boundary condition of the original problem. Regarding the stability of the steady state morphogen gradients, we prove that the eigenvalues must all be positive and hence the steady state morphogen gradients are asymptotically stable. The other principal finding is a novel result pertaining to the smallest (positive) eigenvalue that determines the slowest decay rate of transients and the time needed to reach steady state. Here we prove that the smallest eigenvalue does not come from the nonlinear Dirichlet eigenvalue problem but from the complementary auxiliary condition requiring only to find the smallest zero of a rational function. Keeping in mind that even the steady state solution needed for the stability analysis is only known numerically, not having to solve the nonlinear Dirichlet eigenvalue problem is both an attractive theoretical outcome and a significant computational simplification.     

Refined Hyers-Ulam approximation of approximately Jensen type mappings

In 1940 S.M. Ulam proposed the famous Ulam stability problem. In 1941 D.H. Hyers solved this problem for additive mappings subject to the Hyers condition on approximately additive mappings. In this paper we generalize the Hyers result for the Ulam stability problem for Jensen type mappings, by considering approximately Jensen type mappings satisfying conditions weaker than the Hyers condition, in terms of products of powers of norms. This process leads to a refinement of the well-known Hyers-Ulam approximation for the Ulam stability problem. Besides we introduce additive mappings of the first and second form and investigate pertinent stability results for these mappings. Also we introduce approximately Jensen type mappings and prove that these mappings can be exactly Jensen type, respectively. These stability results can be applied in stochastic analysis, financial and actuarial mathematics, as well as in psychology and sociology.     

瞬态问题稳定性及弥散分析的无网格RKPM配点法研究

介绍了基于强形式的RKPM配点法求解瞬态动力问题的算法,并提出了采用RKPM配点法,配合时间域中心差分求解二阶波动方程的稳定性评价方法,并通过数值算例验证了此方法的正确性．此评价方法可以方便有效地评估出实际计算时的临界时间步长．通过数值算例比较可知,实际算例的计算临界时间步长与本评价方法,所预测的临界时间步长结果非常接近．给出了如何合理地选择RKPM形函数支撑域的建议．最后与径向基函数配点法进行了对比研究．     

Inverse problem for an equation of parabolic-hyperbolic type with a nonlocal boundary condition

For an equation of the parabolic-hyperbolic type, we consider an inverse problem with a nonlocal condition relating solution derivatives that belong to different types of the equation in question. We justify a uniqueness criterion and prove the existence of a solution of the problem by the spectral analysis method. We prove the stability of the solution with respect to the nonlocal boundary condition.     

Robust Stability of Polynomials: New Approach

The problem of the robust stability of a Hurwitz polynomial which is the characteristic polynomial of a discrete-time linear time-invariant system is investigated. A new approach based on the Rouché theorem of classical complex analysis is adopted. An interesting sufficient condition for robust stability is derived. Three examples are included to support the theoretical result.     

New delay-dependent global robust stability conditions for interval neural networks with time-varying delays

This paper deals with the problem of delay-dependent global robust stability analysis for interval neural networks with time-varying delays. By introducing an equivalent transformation of interval systems and the free-weighting matrix technique, a new delay-dependent condition on global robust stability is established. This condition is presented in terms of a linear matrix inequality (LMI), which can be easily checked by using recently developed algorithms in solving LMIs. A numerical example is provided to demonstrate the effectiveness of the proposed method.     

Stability estimate for an inverse boundary coefficient problem in thermal imaging

We establish a stability estimate for an inverse boundary coefficient problem in thermal imaging. The inverse problem under consideration consists in the determination of a boundary coefficient appearing in a boundary value problem for the heat equation with Robin boundary condition (we note here that the initial condition is assumed to be a priori unknown). Our stability estimate is of logarithmic type and it is essentially based on a logarithmic estimate for a Cauchy problem for the Laplace equation.     

Nonlinear stability of convection induced by inclined thermal and solutal gradients

The energy method, giving the sufficient condition for stability, is developed for the convection problem induced by inclined thermal and solutal gradients in a horizontal layer of a saturated porous medium. The boundaries are taken to be perfectly conducting and Darcy's law is employed to represent the porous medium. A nonlinear stability analysis is performed and compound matrix method is employed for numerical calculations. The optimal stability bound is computed and numerical results are compared with the linear theory for different parameter values.     

一维抛物型方程一种新的边值问题的解法

在建立目标一维热红外温度模型时,提出了热传导方程的一个新的边值问题;通过比较,选择了GE差分格式,求解方程,并进行了稳定性分析;采用虚拟网格点法处理边界条件,得出了GE格式的完整形式;计算实例表明,分组显示方法更适合此类边值问题的实际计算.     

Stability analysis and stabilization of LPV systems with jumps and (piecewise) differentiable parameters using continuous and sampled-data controllers

Linear Parameter-Varying (LPV) systems with jumps and piecewise differentiable parameters is a class of hybrid LPV systems for which no tailored stability analysis and stabilization conditions have been obtained so far.¹ We fill this gap here by proposing an approach based on a clock- and parameter-dependent Lyapunov function yielding stability conditions under both constant and minimum dwell-times. Interesting adaptations of the latter result consist of a minimum dwell-time stability condition for uncertain LPV systems and LPV switched impulsive systems. The minimum dwell-time stability condition is notably shown to naturally generalize and unify the well-known quadratic and robust stability criteria all together. Those conditions are then adapted to address the stabilization problem via timer-dependent and a timer- and/or parameter-independent (i.e. robust) state-feedback controllers, the latter being obtained from a relaxed minimum dwell-time stability condition involving slack-variables. Finally, the last part addresses the stability of LPV systems with jumps under a range dwell-time condition which is then used to provide stabilization conditions for LPV systems using a sampled-data state-feedback gain-scheduled controller. The obtained stability and stabilization conditions are all formulated as infinite-dimensional semidefinite programming problems which are then solved using sum of squares programming. Examples are given for illustration.