New results on general observers for discrete-time nonlinear systems

In this paper, we establish that detectability is a necessary condition for the existence of general observers (asymptotic or exponential) for discrete-time nonlinear systems. Using this necessary condition, we show that there does not exist any general observer (asymptotic or exponential) for discrete-time nonlinear systems with real parametric uncertainty, if the state equilibrium does not change with the parameter values and if the plant output function is purely a function of the state. Next, using center manifold theory for maps, we derive necessary and sufficient conditions for the existence of general exponential observers for Lyapunov stable discrete-time nonlinear systems. As an application of this result, we show that for the existence of general exponential observers for Lyapunov stable discrete-time nonlinear systems, the dimension of the state of the general exponential observer should not be less than the number of critical eigenvalues of the linearization matrix of the state dynamics of the plant.     

Stability of periodically switched discrete-time linear singular systems

In this paper we present some necessary and sufficient conditions for the stability of periodically switched discrete-time linear index-1 singular system, (PSSS). In particular, it is proved that, if at least one subsystem of a PSSS is asymptotically stable, then there is a switching rule, so that the whole system is also uniformly exponentially stable. Furthermore, for a periodically switched control system with no stable subsystems, there exist a switching rule and feedback matrices, such that the obtained PSSS is uniformly exponentially stable.     

Stabilizability and a separation principle for periodic orbits

In this paper, we derive a result for stabilizability and a separation principle for periodic orbits. First, using degree theory, we derive a necessary condition for local asymptotic stabilizability of periodic orbits. This condition is similar to the famous Brockett's necessary condition (1983) for local asymptotic stabilizability for equilibria. Next, we derive a separation principle for periodic orbits. Our separation principle states that if a state feedback system defined in the neighborhood of a periodic orbit is asymptotically stabilizable and if an exponentially good state estimator is known, then the composite state feedback-state estimator scheme is locally orbitally asymptotically stable.     

Stability analysis of a class of nonlinear positive switched systems with delays

This paper addresses the stability problem of delayed nonlinear positive switched systems whose subsystems are all positive. Both discrete-time systems and continuous-time systems are studied. In our analysis, the delays in systems can be unbounded. Two conditions are established to test the local asymptotic stability of the considered systems. The method to compute the domains of attraction is also proposed provided that the system is locally asymptotically stable. When reduced to general nonlinear positive systems, that is, the considered switched system consists of only one mode, an interesting conclusion follows that the proposed nonlinear positive system is locally asymptotically stable for all admissible delays and nonnegative nonlinearities which satisfy an extra condition at the origin, if and only if the system represented by the linear part is asymptotically stable for all admissible delays. Finally, a numerical example is presented to illustrate the obtained results.     

Stabilization of a class of nonlinear composite stochastic systems

This paper deals with the stability for a class of nonlinear composite stochastic systems by feedback laws.Firstly,we give sufficient conditions for the existence of feedback laws which render the equilibrium solution of the stochastic system globally asymptotically stable in probability.Secondly,for stochastic systems of the same type,we prove that there exists a linear feedback law which exponentially stabilizes in mean square the closed–loop stochastic system at its equilibrium.     

A General Predator-Prey Model

We consider n = 2 populations of animals or plants that are living in mutual predator-prey relations or are pairwise neutral to each other. We assume the temporal development of the population densities to be described by a system of differential equations which has an equilibrium state solution. We at first give sufficient conditions for this equilibrium state to be asymptotically stable by linearizing the system around it. Then we derive sufficient conditions for asymptotic stability by Lyapunov’s method. Finally we investigate a discretization of the Volterra-Lotka model.     

具有稳定自治动态的一般非线性系统的镇定问题

针对一般非线性系统,在它的自治动态是稳定的条件下,应用Lyapunov方法获得它可全局渐近稳定的充分条件,同时在系统函数是解析的情况下,基于输出反馈控制律,构造出了类Luenberger观测器,使得闭环系统的平衡点全局渐近稳定.     

On the finite-dimensional dynamical systems with limited competition

The asymptotic behavior of dynamical systems with limited competition is investigated. We study index theory for fixed points, permanence, global stability, convergence everywhere and coexistence. It is shown that the system has a globally asymptotically stable fixed point if every fixed point is hyperbolic and locally asymptotically stable relative to the face it belongs to. A nice result is the necessary and sufficient conditions for the system to have a globally asymptotically stable positive fixed point. It can be used to establish the sufficient conditions for the system to persist uniformly and the convergence result for all orbits. Applications are made to time-periodic ordinary differential equations and reaction-diffusion equations.

     

Discrete infinite-dimensional type-K monotone dynamical systems and time-periodic reaction-diffusion systems

The asymptotic behavior of discrete type-K monotone dynamical systems and reaction-diffusion equations is investigated. The studying content includes the index theory for fixed points, permanence, global stability, convergence everywhere and coexistence. It is shown that the system has a globally asymptotically stable fixed point if every fixed point is locally asymptotically stable with respect to the face it belongs to and at this point the principal eigenvalue of the diagonal partial derivative about any component not belonging to the face is not one. A nice result presented is the sufficient and necessary conditions for the system to have a globally asymptotically stable positive fixed point. It can be used to establish the sufficient conditions for the system to persist uniformly and the convergent result for all orbits. Applications are made to time-periodic Lotka-Volterra systems with diffusion, and sufficient conditions for such systems to have a unique positive periodic solution attracting all positive initial value functions are given. For more general time-periodic type-K monotone reaction-diffusion systems with spatial homogeneity, a simple condition is given to guarantee the convergence of all positive solutions.     

Asymptotic stability of neutral differential systems with many delays

We are concerned with delay-independent asymptotic stability of linear system of neutral differential equations. We first establish a sufficient and necessary condition for the system to be delay-independently asymptotically stable, and then give some equivalent stability conditions. This paper improves many recent results on the asymptotic stability in the literature. One example is given to show that the sufficient and necessary condition is easy to verify.     

New results on general observers for nonlinear systems

In this paper, we establish that detectability is a necessary condition for the existence ofgeneral observers (asymptotic or exponential) for nonlinear systems. Using this necessary condition, we show that there does not exist any general observer (asymptotic or exponential), for nonlinear systems with real parametric uncertainty, if the state equilibrium does not change with the parameter values and if the plant output function is purely a function of the state. Next, using center manifold theory, we derive necessary and sufficient conditions for the existence of general exponential observers for Lyapunov stable nonlinear systems. As an application of this result, we show that for the existence of general exponential observers for Lyapunov stable nonlinear systems, the dimension of the state of the general exponential observer should not be less than the number of critical eigenvalues of the linearization matrix of the state dynamics of the plant.     

General observers for discrete-time nonlinear systems

This paper is a geometric study of finding general exponential observers for discrete-time nonlinear systems. Using center manifold theory for maps, we derive necessary and sufficient conditions for general exponential observers for Lyapunov stable discrete-time nonlinear systems. As an application of our characterization of general exponential observers, we give a construction procedure for identity exponential observers for discrete-time nonlinear systems.     

Existence of piecewise affine Lyapunov functions in two dimensions

In Marinosson (2002) [10], a method to compute Lyapunov functions for systems with asymptotically stable equilibria was presented. The method uses finite differences on finite elements to generate a linear programming problem for the system in question, of which every feasible solution parameterises a piecewise affine Lyapunov function. In Hafstein (2004) [2] it was proved that the method always succeeds in generating a Lyapunov function for systems with an exponentially stable equilibrium. However, the proof could not guarantee that the generated function has negative orbital derivative locally in a small neighbourhood of the equilibrium. In this article we give an example of a system, where no piecewise affine Lyapunov function with the proposed triangulation scheme exists. This failure is due to the triangulation of the method being too coarse at the equilibrium, and we suggest a fan-like triangulation around the equilibrium. We show that for any two-dimensional system with an exponentially stable equilibrium there is a local triangulation scheme such that the system possesses a piecewise affine Lyapunov function. Hence, the method might eventually be equipped with an improved triangulation scheme that does not have deficits locally at the equilibrium.     

一类神经网络全局渐近稳定性分析

在这篇文章里,我们研究了一类时滞神经网络的平衡点的存在,唯一性,及其全局渐近稳定性(GA S).我们的主要思想方法是同胚映射,李雅谱诺夫泛函方法,我们在很弱的条件下解决一类时滞神经网络的GA S.     

Study the stability of solutions of functional differential equations via fixed points

In this paper, we study the stability properties of solutions of a class of functional differential equations with variable delay. By using the fixed point theory under an exponentially weighted metric, we obtain some interesting sufficient conditions ensuring that the zero solution of the equations is stable and asymptotically stable.     

Revised CPA method to compute Lyapunov functions for nonlinear systems

The CPA method uses linear programming to compute Continuous and Piecewise Affine Lyapunov functions for nonlinear systems with asymptotically stable equilibria. In [14] it was shown that the method always succeeds in computing a CPA Lyapunov function for such a system. The size of the domain of the computed CPA Lyapunov function is only limited by the equilibrium?s basin of attraction. However, for some systems, an arbitrary small neighborhood of the equilibrium had to be excluded from the domain a priori. This is necessary, if the equilibrium is not exponentially stable, because the existence of a CPA Lyapunov function in a neighborhood of the equilibrium is equivalent to its exponential stability as shown in [11]. However, if the equilibrium is exponentially stable, then this was an artifact of the method. In this paper we overcome this artifact by developing a revised CPA method. We show that this revised method is always able to compute a CPA Lyapunov function for a system with an exponentially stable equilibrium. The only conditions on the system are that it is C²$C^2$ and autonomous. The domain of the CPA Lyapunov function can be any a priori given compact neighborhood of the equilibrium which is contained in its basin of attraction. Whereas in a previous paper [10] we have shown these results for planar systems, in this paper we cover general n-dimensional systems.     

Lyapunov density for coupled systems

We prove a necessary and sufficient condition for the existence of Lyapunov density for a system of coupled autonomous ordinary differential equations. In particular, we characterize the kinds of couplings that preserve almost everywhere uniform stability of the origin provided the isolated systems have an almost everywhere uniformly stable equilibrium point at the origin.     

具有动态边界的非均匀Euler-Bernoulli梁的边界反馈镇定

本讨论一端带有重物的Euler-Bernoulli梁的边界反馈镇定问题。在生物的质量忽略不计而只考虑重物的转动惯量的情况下，证明了同时在梁的自由端施加力和力矩反馈，闭环系统的能量可被指数镇定。进而对于系统只有力反馈或只有力矩反馈的情况，得到了闭环系统（指数）稳定的充分必要条件。     

Local stability and attractive basin of Cohen–Grossberg neural networks

The local stability analysis of a neural network is essential in evaluating the performance of this network when it acts as associative memories. This paper addresses the local stability of the Cohen–Grossberg neural networks (CGNNs). A sufficient condition for the local exponential stability of an equilibrium point is presented, and the size of the attractive basin of a locally exponentially stable equilibrium is estimated. The proposed condition and estimate are easily checkable and applicable, because they are phrased only in terms of the network parameters, the nonlinearities of the neurons, and the relevant equilibrium point. To our knowledge, this is the first time that such an estimate for CGNNs has been presented. The utility of our results is illustrated via a numerical example.     

GLOBAL STABILITY OF SIRS EPIDEMIC MODELS WITH A CLASS OF NONLINEAR INCIDENCE RATES AND DISTRIBUTED DELAYS＊

In this article,we establish the global asymptotic stability of a disease-free equilibrium and an endemic equilibrium of an SIRS epidemic model with a class of nonlinear incidence rates and distributed...