This paper presents LMI conditions for local, regional, and global robust asymptotic stability of rational uncertain nonlinear systems. The uncertainties are modeled as real time varying parameters with magnitude and rate of variation bounded by given polytopes and the system vector field is a rational function of the states and uncertain parameters. Sufficient LMI conditions for asymptotic stability of the origin are given through a rational Lyapunov function of the states and uncertain parameters. The case where the time derivative of the Lyapunov function is negative semidefinite is also considered and connections with the well known LaSalle's invariance conditions are established. In regional stability problems, an algorithm to maximize the estimate of the region of attraction is proposed. The algorithm consists of maximizing the estimate for a given target region of initial states. The size and shape of the target region are recursively modified in the directions where the estimate can be enlarged. The target region can be taken as a polytope (convex set) or union of polytopes (non-convex set). The estimates of the region of attraction are robust with respect to the uncertain parameters and their rate of change. The case of global and orthant stability problems are also considered. Connections with some results found in sum of squares based methods and other related methods found in the literature are established. The LMIs in this paper are obtained by using the Finsler's Lemma and the notion of annihilators. The LMIs are characterized by affine functions of the state and uncertain parameters, and they are tested at the vertices of a polytopic region. It is also shown that, with some additional conservatism, the use of the vertices can be avoided by modifying the LMIs with the S-Procedure. Several numerical examples found in the literature are used to compare the results and illustrate the advantages of the proposed method. STABILITY CONDITIONS FOR NONLINEAR SYSTEMS 3125 the region of attraction can be found in [6,7]. The stability conditions in both references are based on polynomial Lyapunov functions. In [7, 8], a particular system decomposition is adopted and the LMIs are obtained with the Finsler's Lemma. The stability conditions in [6] are transformed into LMIs by using sum of squares (SOS) relaxations and the S -Procedure. Analysis and design methods based on SOS polynomials has received much attention this last decade [9][10][11][12][13]. The idea is to express the Lyapunov conditions for stability as SOS polynomials. The interest of SOS polynomials is that the problem of testing if a polynomial is SOS can be recast as an LMI problem [10,11,14,15]. It is shown in [16] that any locally exponentially stable system with a thrice differentiable vector field will have a polynomial Lyapunov function, which decreases exponentially on that region. If in one hand, this shows that polynomial Lyapunov functions, not necessarily of SOS type, seems to be rich enough to tackle a wide class of stability problems, o...

No abstract

No abstract

No abstract

No abstract