Stability analysis of discrete-time fuzzy dynamic systems based on piecewise Lyapunov functions

This paper presents a stability analysis method for discrete-time Takagi-Sugeno fuzzy dynamic systems based on a piecewise smooth Lyapunov function. It is shown that the stability of the fuzzy dynamic system can be established if a piecewise Lyapunov function can be constructed, and moreover, the function can be obtained by solving a set of linear matrix inequalities that is numerically feasible with commercially available software. It is also demonstrated via numerical examples that the stability result based on the piecewise quadratic Lyapunov functions is less conservative than that based on the common quadratic Lyapunov functions.     

Stability Analysis and $H_{infty}$ Controller Design of Discrete-Time Fuzzy Large-Scale Systems Based on Piecewise Lyapunov Functions

This paper is concerned with stability analysis and $H_{infty}$ decentralized control of discrete-time fuzzy large-scale systems based on piecewise Lyapunov functions. The fuzzy large-scale systems consist of $J$ interconnected discrete-time Takagi–Sugeno (T–S) fuzzy subsystems, and the stability analysis is based on Lyapunov functions that are piecewise quadratic. It is shown that the stability of the discrete-time fuzzy large-scale systems can be established if a piecewise quadratic Lyapunov function can be constructed, and moreover, the function can be obtained by solving a set of linear matrix inequalities (LMIs) that are numerically feasible. The $H_{infty}$ controllers are also designed by solving a set of LMIs based on these powerful piecewise quadratic Lyapunov functions. It is demonstrated via numerical examples that the stability and controller synthesis results based on the piecewise quadratic Lyapunov functions are less conservative than those based on the common quadratic Lyapunov functions.      

Discrete-time Lyapunov-based small-gain theorem for parameterized interconnected ISS systems

Input-to-state stability (ISS) of a feedback interconnection of two discrete-time ISS systems satisfying an appropriate small gain condition is investigated via the Lyapunov method. In particular, an ISS Lyapunov function for the overall system is constructed from the ISS Lyapunov functions of the two subsystems. We consider parameterized families of discrete-time systems that naturally arise when an approximate discrete-time model is used in controller design for a sampled-data system.     

Linear parameter-varying discrete time-delay systems: Stability and l 2-gain controllers

In this paper, we investigate a class of linear parameter-varying discrete time-delay (LPVDTD) systems where the state-space matrices depend on time-varying parameters and the delay is unknown but bounded. We treat both notions of quadratic stability based on a single quadratic Lyapunov function and affine quadratic stability using parameter-dependent Lyapunov functions. In both cases, we develop LMI-based results of stability testing for time-delay as well as delayless discrete-time systems. Then, we design state-feedback controllers which guarantee quadratic stability and an induced l ₂-norm bound. For the case of dynamic output feedback control, we use a parameter-independent quadratic Lyapunov-Krasovskii function to develop LMI-based solvability conditions which are evaluated at the extreme points of the admissible parameter set. Throughout the paper, complementary results for linear parameter-varying discrete (LPVD) systems without delay are presented.     

Stabilisation of discrete-time polynomial fuzzy systems via a polynomial lyapunov approach

This paper deals with the problem of designing a controller for a class of discrete-time nonlinear systems which is represented by discrete-time polynomial fuzzy model. Most of the existing control design methods for discrete-time fuzzy polynomial systems cannot guarantee their Lyapunov function to be a radially unbounded polynomial function, hence the global stability cannot be assured. The proposed control design in this paper guarantees a radially unbounded polynomial Lyapunov functions which ensures global stability. In the proposed design, state feedback structure is considered and non-convexity problem is solved by incorporating an integrator into the controller. Sufficient conditions of stability are derived in terms of polynomial matrix inequalities which are solved via SOSTOOLS in MATLAB. A numerical example is presented to illustrate the effectiveness of the proposed controller.     

Stability analysis and control synthesis for switched systems: a switched Lyapunov function approach

This paper addresses the problem of stability analysis and control synthesis of switched systems in the discrete-time domain. The approach followed in this paper looks at the existence of a switched quadratic Lyapunov function to check asymptotic stability of the switched system under consideration. Two different linear matrix inequality-based conditions allow to check the existence of such a Lyapunov function. The first one is classical while the second is new and uses a slack variable, which makes it useful for design problems. These two conditions are proved to be equivalent for stability analysis. Investigating the static output feedback control problem, we show that the second condition is, in this case, less conservative. The reduction of the conservatism is illustrated by a numerical evaluation.     

A new discrete-time robust stability condition

A new robust stability condition for uncertain discrete-time systems with convex polytopic uncertainty is given. It enables to check stability using parameter-dependent Lyapunov functions which are derived from LMI conditions. It is shown that this new condition provides better results than the classical quadratic stability. Besides the use of a parameter-dependent Lyapunov function, this condition exhibits a kind of decoupling between the Lyapunov and the system matrices which may be explored for control synthesis purposes. A numerical example illustrates the results.     

Stability of periodically time-varying systems: Periodic Lyapunov functions

This paper proposes a novel approach to stability analysis of discrete-time nonlinear periodically time-varying systems. The contributions are as follows. Firstly, a relaxation of standard Lyapunov conditions is derived. This leads to a less conservative Lyapunov function that is required to decrease at each period rather than at each time instant. Secondly, for linear periodic systems with constraints, it is shown that compared to standard Lyapunov theory, the novel concept of periodic Lyapunov functions allows for the calculation of a larger estimate of the region of attraction. An example illustrates the effectiveness of the developed theory.     

Stability Analysis of Discrete TSK Type II/III Systems

We propose a new approach for the stability analysis of discrete Sugeno Types II and III fuzzy systems. The approach does not require the existence of a common Lyapunov function. We introduce the concept of fuzzy positive definite and fuzzy negative definite functions. This new concept is used to replace classical positive and negative definite functions in arguments similar to those of traditional Lyapunov stability theory. We obtain the equivalent fuzzy system for a cascade of two Type II/III fuzzy systems. We use the cascade of a system and a fuzzy Lyapunov function candidate to derive new conditions for stability and asymptotic stability for discrete Type II and Type III fuzzy systems. To demonstrate the new approach, we apply it to numerical examples where no common Lyapunov function exists.     

Stability and dissipativity theory for discrete-time non-negative and compartmental dynamical systems

Non-negative and compartmental dynamical systems are derived from mass and energy balance considerations that involve dynamic states whose values are non-negative. These models are widespread in engineering, biomedicine and ecology. In this paper we develop several results on stability, dissipativity and stability of feedback interconnections of discrete-time linear and non-linear non-negative dynamical systems. Specifically, using linear Lyapunov functions we first develop necessary and sufficient conditions for Lyapunov stability and asymptotic stability for non-negative systems. In addition, using linear and non-linear storage functions with linear supply rates we develop new notions of dissipativity theory for non-negative dynamical systems. Finally, these results are used to develop general stability criteria for feedback interconnections of non-negative dynamical systems.     

Design of stabilizing switching control laws for discrete- and continuous-time linear systems using piecewise-linear Lyapunov functions

In this paper, the stability of switched linear systems is investigated using piecewise linear Lyapunov functions. In particular, we identify classes of switching sequences that result in stable trajectories. Given a switched linear system, we present a systematic methodology for computing switching laws that guarantee stability based on the matrices of the system. In the proposed approach, we assume that each individual subsystem is stable and admits a piecewise linear Lyapunov function. Based on these Lyapunov functions, we compose 'global' Lyapunov functions that guarantee stability of the switched linear system. A large class of stabilizing switching sequences for switched linear systems is characterized by computing conic partitions of the state space. The approach is applied to both discrete-time and continuous-time switched linear systems.     

A Note on Marginal Stability of Switched Systems

In this note, we present criteria for marginal stability and marginal instability of switched systems. For switched nonlinear systems, we prove that uniform stability is equivalent to the existence of a common weak Lyapunov function (CWLF) that is generally not continuous. For switched linear systems, we present a unified treatment for marginal stability and marginal instability for both continuous-time and discrete-time switched systems. In particular, we prove that any marginally stable system admits a norm as a CWLF. By exploiting the largest invariant set contained in a polyhedron, several insightful algebraic characteristics are revealed for marginal stability and marginal instability.     

Stability and Robust Stability of Switched Positive Linear Systems With All Modes Unstable

This paper is concerned with the stability and robust stability of switched positive linear systems (SPLSs) whose subsystems are all unstable. By means of the mode-dependent dwell time approach and a class of discretized co-positive Lyapunov functions, some stability conditions of switched positive linear systems with all modes unstable are derived in both the continuous-time and the discrete-time cases, respectively. The copositive Lyapunov functions constructed in this paper are timevarying during the dwell time and time-invariant afterwards. In addition, the above approach is extended to the switched interval positive systems. A numerical example is proposed to illustrate our approach.      

切换时间受限时离散切换系统的稳定性

切换系统作为一类典型的混杂系统,近年来在国内外受到极大重视。实际工程中,由于切换过于频繁难以使系统保持稳定,针对切换时间间隔受限的情况,研究一类离散线性切换系统的稳定性。利用李亚普诺夫稳定性理论,给出系统满足稳定性的充分条件,并利用此条件设计出相应的切换控制规律和状态反馈子控制器。最后对包含两个离散子系统的切换系统进行了仿真计算,其结果验证了文中所给出定理的有效性。     

Changing supply rates for input-output to state stable discrete-time nonlinear systems with applications

We present results on changing supply rates for input-output to state stable discrete-time nonlinear systems. Our results can be used to combine two Lyapunov functions, none of which can be used to verify that the system has a certain property, into a new composite Lyapunov function from which the property of interest can be concluded. The results are stated for parameterized families of discrete-time systems that naturally arise when an approximate discrete-time model is used to design a controller for a sampled-data system. We present several applications of our results: (i) a LaSalle criterion for input to state stability (ISS) of discrete-time systems; (ii) constructing ISS Lyapunov functions for time-varying discrete-time cascaded systems; (iii) testing ISS of discrete-time systems using positive semidefinite Lyapunov functions; (iv) observer-based input to state stabilization of discrete-time systems. Our results are exploited in a case study of a two-link manipulator and some simulation results that illustrate advantages of our approach are presented.     

Stability analysis of discrete-time Lur’e systems

A class of Lyapunov functions is proposed for discrete-time linear systems interconnected with a cone bounded nonlinearity. Using these functions, we propose sufficient conditions for the global stability analysis, in terms of linear matrix inequalities (LMI), only taking the bounded sector condition into account. Unlike frameworks based on the Lur’e-type function, the additional assumptions about the derivative or discrete variation of the nonlinearity are not necessary. Hence, a wider range of cone bounded nonlinearities can be covered. We also show that there is a link between global stability LMI conditions based on this new Lyapunov function and a transfer function of an auxiliary system being strictly positive real. In addition, the novel function is considered in the local stability analysis problem of discrete-time Lur’e systems subject to a saturating feedback. A convex optimization problem based on sufficient LMI conditions is formulated to maximize an estimate of the basin of attraction. Another specificity of this new Lyapunov function is the fact that the estimate is composed of disconnected sets. Numerical examples reveal the effectiveness of this new Lyapunov function in providing a less conservative estimate with respect to the quadratic function.     

Stability analysis of piecewise discrete-time linear systems

Presents a stability analysis method for piecewise discrete-time linear systems based on a piecewise smooth Lyapunov function. It is shown that the stability of the system can be established if a piecewise Lyapunov function can be constructed and, moreover, the function can be obtained by solving a set of linear matrix inequalities (LMIs) that is numerically feasible with commercially available software.     

离散广义T-S模糊系统的稳定性分析

针对广义模糊系统的结构特点和技术要求,构造出离散广义分段模糊Lyapunov函数的处理技术,讨论了输入采用双交叠模糊分化的离散广义T-S模糊系统的稳定性和控制器设计问题,在分段Lyapunov函数的基础上采用并行分布补偿法设计出离散广义模糊系统的模糊控制器,得出了新的判定闭环离散T-S模糊广义系统稳定性的充分条件,即在...     

Stability analysis of gray discrete-time systems

The stability of discrete-time system whose state matrix is an interval matrix is discussed. In terms of Lyapunov stability theory, some sufficient conditions are obtained which guarantee the stability of gray discrete-time systems (or interval discrete-time systems). Illustrative examples are given     

A multivariable extension of the Tsypkin criterion using aLyapunov-function approach

For analyzing the stability of discrete-time systems containing a feedback nonlinearity, the Tsypkin criterion is the closest analog to the Popov criterion which is used for analyzing such systems in continuous time. Traditionally, the proof of this criterion is based upon input-output properties and function analytic methods. In this paper we extend the Tsypkin criterion to multivariable systems containing an arbitrary number of monotonic sector-bounded memoryless time-invariant nonlinearities, along with providing a Lyapunov function proof for this classical result