In this paper, we use a state-dependent Lyapunov function to reduce the conservatism in stability analysis of Takagi-Sugeno (T-S) fuzzy systems via Linear Matrix Inequalities (LMIs). Our approach uses T-S fuzzy rules to deene Lyapunov functions, and therefore substantially enlarges the class of Lyapunov functions which can be used to prove stability of T-S fuzzy systems. This approach greatly r...

By making use of a special Lyapunov-type function and applying the comparison method due to Conti, we prove global existence of solutions for a general class of nonlinear secondorder differential equations that includes, in particular, van der Pol, Rayleigh, and Lienard equations, widely encountered in applications. Relevant examples are discussed. @ 2003 Elsevier Science Ltd. All rights reserv...

In this paper we propose the definition of Mittag-Leffler stability and introduce the fractional Lyapunov direct method. Then we provide the fractional comparison principle. Third, we extend the application of Riemann-Liouville fractional systems by using Caputo fractional systems. Finally, an illustrative example is provided as a proof of concept. keywords Fractional order dynamic system, Nona...

The method of Lyapunov functions plays a central role in the study of the controllability and stabilizability of control systems. For nonlinear systems, it turns out to be essential to consider nonsmooth Lyapunov functions, even if the underlying control dynamics are themselves smooth. We synthesize in this article a number of recent developments bearing upon the regularity properties of Lyapun...

Amethod for determination and twomethods for approximation of the domain of attraction Da(0) of the asymptotically stable zero steady state of an autonomous, R-analytical, discrete dynamical system are presented. The method of determination is based on the construction of a Lyapunov function V , whose domain of analyticity is Da(0). The first method of approximation uses a sequence of Lyapunov ...

In this paper, finite-time boundedness and stabilization problems for a class of switched linear systems with time-varying exogenous disturbances are studied. Firstly, the concepts of finite-time stability and finite-time boundedness are extended to switched linear systems. Then, based on matrix inequalities, some sufficient conditions under which the switched linear systems are finite-time bou...

In this paper, we establish a model reduction technique for periodic discrete-time descriptor systems exploiting the generalized inverses of the periodic singular matrix pairs associated with the systems. We compute the generalized inverses of periodic singular matrix pairs to implement a structure preserving iterative method for the solution of the periodic projected Lyapunov equations that ar...

In this paper, we present an automatable decompositional method for the computation of Lyapunov functions for hybrid systems with complex discrete state spaces. We use graph-based reasoning to decompose hybrid automata into subgraphs, for which we then solve semidefinite optimization problems to obtain local Lyapunov functions. These local computations are made in a way that ensures that the fa...

Linear stability analysis of a dynamical system entails finding the rightmost eigenvalue for a series of eigenvalue problems. For large-scale systems, it is known that conventional iterative eigenvalue solvers are not reliable for computing this eigenvalue. A more robust method recently developed in Elman & Wu (2012) and Meerbergen & Spence (2010), Lyapunov inverse iteraiton, involves solving l...

We revisit the two standard dense methods for matrix Sylvester and Lyapunov equations: the Bartels-Stewart method for A1X +XA2 +D = 0 and Hammarling’s method for AX + XA + BB = 0 with A stable. We construct three schemes for solving the unitarily reduced quasitriangular systems. We also construct a new rank-1 updating scheme in Hammarling’s method. This new scheme is able to accommodate a B wit...