Robust stability and stabilization analysis for discrete-time randomly switched fuzzy systems with known sojourn probabilities

The stability and stabilization analysis problem is considered in this paper for a class of discrete-time switched fuzzy systems with known sojourn probabilities. By using Lyapunov functional, new delay-dependent sufficient conditions are derived to ensure the stability of the system. Convex combination technique is incorporated and the stability criteria are presented in terms of Linear matrix inequalities (LMIs). Furthermore, the developed approach is extended to address the robust stability and stabilization analysis of the delayed discrete-time switched fuzzy systems with randomly occurring uncertainties. Finally numerical examples are exploited to substantiate the theoretical results.     

On stability of discrete-time switched systems

This article deals with stability of discrete-time switched systems. Given a family of nonlinear systems and the admissible switches among the systems in the family, we first propose a class of switching signals under which the resulting switched system is globally asymptotically stable. We allow unstable systems in the family and our stability condition depends solely on asymptotic behaviour of the switching signals. We then discuss algorithmic construction of the above class of switching signals, and show that in the presence of exogenous inputs and outputs, a switching signal so constructed also ensures input/output-to-state stability for discrete-time switched nonlinear systems. We finally show that our class of switching signals that ensures global asymptotic stability also extends to the continuous-time setting with minor modifications under standard assumptions. We employ multiple Lyapunov-like functions and graph theoretic tools as the main apparatuses for our analysis.     

Equivalence between the Lyapunov–Krasovskii functionals approach for discrete delay systems and that of the stability conditions for switched systems

The stability of discrete-time systems with time varying delay in the state can be analyzed by using a discrete-time extension of the classical Lyapunov–Krasovskii approach. In the networked control systems domain a similar delay stability problem is treated using a switched system transformation approach. The paper aims to establish a relation between the switched system transformation approach and the classical Lyapunov–Krasovskii method. It is shown that using the switched systems transformation is equivalent to using a general delay dependent Lyapunov–Krasovskii functionals. This functional represents the most general form that can be obtained using sums of quadratic terms. Necessary and sufficient LMI conditions for the existence of such functionals are presented.     

Stability analysis of a class of uncertain switched systems on time scale using Lyapunov functions

This paper deals with the stability analysis of a class of uncertain switched systems on non-uniform time domains. The considered class consists of dynamical systems which commute between an uncertain continuous-time subsystem and an uncertain discrete-time subsystem during a certain period of time. The theory of dynamic equations on time scale is used to study the stability of these systems on non-uniform time domains formed by a union of disjoint intervals with variable length and variable gap. Using the concept of common Lyapunov function, sufficient conditions are derived to guarantee the asymptotic stability of this class of systems on time scale with bounded graininess function. The proposed scheme is used to study the leader–follower consensus problem under intermittent information transmissions.     

Stability analysis and stabilization of linear symmetric matrix-valued continuous,discrete, and impulsive dynamical systems — A unified approach for the stability analysis and the stabilization of linear systems

Matrix-valued dynamical systems are an important class of systems that can describe important processes such as covariance/second-order moment processes, or processes on manifolds and Lie Groups. We address here the case of processes that leave the cone of positive semidefinite matrices invariant, thereby including covariance and second-order moment processes. Both the continuous-time and the discrete-time cases are first considered. In the LTV case, the obtained stability and stabilization conditions are expressed as differential and difference Lyapunov conditions which are equivalent, in the LTI case, to some spectral conditions for the generators of the processes. Convex stabilization conditions are also obtained in both the continuous-time and the discrete-time setting. It is proven that systems with constant delays are stable provided that the systems with zero-delays are stable—which mirrors existing results for linear positive systems. The results are then extended and unified into an impulsive formulation for which similar results are obtained. The proposed framework is very general and can recover and/or extend many of the existing results in the literature on linear systems related to (mean-square) exponential (uniform) stability. Several examples are discussed to illustrate this claim by deriving stability conditions for stochastic systems driven by Brownian motion and Poissonian jumps, Markov jump systems, (stochastic) switched systems, (stochastic) impulsive systems, (stochastic) sampled-data systems, and all their possible combinations.     

Exponential stability of discrete-time systems with slowly time-varying delays

Slowly time-varying delays are seldom, but do need to be, considered in the context of discrete-time systems. This paper addresses the exponential stability issue of discrete-time systems with slowly time-varying delays. The basic idea is to transform, by utilizing the switching transformation approach, the original system with slowly time-varying delays into an equivalent switched system with special switching signal. Different types of delays correspond to different types of switching signals, and the stability issue of the original system is converted into that of a switched system. It is the first time that the method of switched homogeneous polynomial Lyapunov function is applied to general delayed systems. Some sufficient exponential stability conditions for the original system are proposed in several situations. It is numerically shown that the conservativeness of the proposed conditions reduces as the degree of the switched homogeneous polynomial Lyapunov function increases.     

On stability for switched linear positive systems

This paper addresses the stability properties of switched linear positive systems in continuous-time as well as in discrete-time. In the discrete-time case, some sufficient and necessary conditions for asymptotic stability are derived for pairs of second order systems. Similar conditions are also established for a finite number of second order systems. Furthermore, for higher order systems, some results on stability are provided in a similar manner. In particular, in this case, a common linear Lyapunov function guaranteeing the stability of the switched positive systems can be easily located by means of geometry properties. In the continuous-time case, a finite number of second order systems are considered. Some equivalent conditions for stability of such systems are developed.     

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.     

Necessary and sufficient conditions for quadratic stabilizability of switched systems on non-uniform time domains

In this paper, we consider the quadratic stabilizability via state feedback for a particular class of switched systems that evolve on a non-uniform time domain by introducing time scales theory. The system considered switches between a continuous-time subsystem with variable lengths and a discrete-time subsystem with variable discrete step sizes. Necessary and sufficient conditions are derived to guarantee the quadratic stability of this class of switched systems via a switching state feedback law based on the existence of a common positive definite matrix satisfying the quadratic stabilizability condition by considering that the two subsystems are unstable. By state feedback, we mean that the switching among subsystems depends on the system states. Current results for this kind of state switching feedback control are derived only for switched systems evolving on a continuous time domain or a discrete time domain with fixed step’s size. These results are not applicable for the particular class of switched systems where there is a mixing between the continuous and discrete dynamics. This motivates the derivation of a new and more general state feedback control law for switched systems in this work. A numerical example illustrating the results is presented.     

Analysis and design of switched normal systems

In this paper, we study the stability property for a class of switched linear systems whose subsystems are normal. The subsystems can be continuous-time or discrete-time ones. We show that when all the continuous-time subsystems are Hurwitz stable and all the discrete-time subsystems are Schur stable, a common quadratic Lyapunov function exists for the subsystems and thus the switched system is exponentially stable under arbitrary switching. We show that when unstable subsystems are involved, for a desired decay rate of the system, if the activation time ratio between stable subsystems and unstable ones is less than a certain value (calculated using the decay rate), then the switched system is exponentially stable with the desired decay rate.     

Analysis and design of switched normal systems

In this paper, we study the stability property for a class of switched linear systems whose subsystems are normal. The subsystems can be continuous-time or discrete-time ones. We show that when all the continuous-time subsystems are Hurwitz stable and all the discrete-time subsystems are Schur stable, a common quadratic Lyapunov function exists for the subsystems and thus the switched system is exponentially stable under arbitrary switching. We show that when unstable subsystems are involved, for a desired decay rate of the system, if the activation time ratio between stable subsystems and unstable ones is less than a certain value (calculated using the decay rate), then the switched system is exponentially stable with the desired decay rate.     

Robust Stability and Stabilization of a Class of Nonlinear Switched Discrete-Time Systems with Time-Varying Delays

In this paper, we investigate the problems of robust delay-dependent ℒ₂ gain analysis and feedback control synthesis for a class of nominally-linear switched discrete-time systems with time-varying delays, bounded nonlinearities and real convex bounded parametric uncertainties in all system matrices under arbitrary switching sequences. We develop new criteria for such class of switched systems based on the constructive use of an appropriate switched Lyapunov-Krasovskii functional coupled with Finsler’s Lemma and a free-weighting parameter matrix. We establish an LMI characterization of delay-dependent conditions under which the nonlinear switched delay system is robustly asymptotically stable with an ℒ₂-gain smaller than a prescribed constant level. Switched feedback schemes, based on state measurements, output measurements or by using dynamic output feedback, are designed to guarantee that the corresponding switched closed-loop system enjoys the delay-dependent asymptotic stability with an ℒ₂ gain smaller than a prescribed constant level. All the developed results are expressed in terms of convex optimization over LMIs and tested on representative examples.     

Stability and stabilization of positive switched systems with mode-dependent average dwell time

This paper investigates stability and stabilization of positive switched systems with mode-dependent average dwell time, which permits to each subsystem in the underlying systems to have its own average dwell time. First, by using the multiple linear copositive Lyapunov function, the stability analysis of continuous-time systems in the autonomous form is addressed based on the mode-dependent average dwell time switching strategy. Then, the stabilization of non-autonomous systems is considered. State-feedback controllers are constructed, and all the proposed conditions are solvable in terms of linear programming. The obtained results are also extended to discrete-time systems. Finally, the simulation examples are given to illustrate the correctness of the design. The switching strategy used in the paper seems to be more effective than the average dwell time switching by some comparisons.     

Verification of approximate opacity for switched systems: A compositional approach

The security in information-flow has become a major concern for cyber–physical systems (CPSs). In this work, we focus on the analysis of an information-flow security property, called opacity. Opacity characterizes the plausible deniability of a system’s secret in the presence of a malicious outside intruder. We propose a methodology of checking a notion of opacity, called approximate opacity, for networks of discrete-time switched systems. Our framework relies on compositional constructions of finite abstractions for networks of switched systems and their approximate opacity-preserving simulation functions. Those functions characterize how close concrete networks and their finite abstractions are in terms of the satisfaction of approximate opacity. We show that such simulation functions can be obtained compositionally by assuming some small-gain type conditions and composing local simulation functions constructed for each switched subsystem separately. Additionally, assuming certain stability property of switched systems, we also provide a technique on constructing their finite abstractions together with the corresponding local simulation functions. Finally, we illustrate the effectiveness of our results through an example.     

Stability analysis of time-varying switched systems via indefinite difference Lyapunov functions

Asymptotic stability of time-varying switched systems is investigated in this paper. The less conservative sufficient criteria for asymptotic stability of time-varying discrete-time switched systems are proposed via common indefinite difference Lyapunov functions and multiple indefinite difference Lyapunov functions introduced in this note, respectively. Common indefinite difference Lyapunov functions can be used to analyze stability of a switched system with asymptotic stable subsystems and arbitrary switching signal. Multiple indefinite difference Lyapunov functions can be used to investigate stability of a switched system with unstable subsystems and a given switching signal. The difference of the proposed Lyapunov function may be positive at some instants for an asymptotically stable subsystem. We compare these main results and illustrate the effectiveness of the obtained theorems by three numerical examples.     

An Excursion-Theoretic Approach to Stability of Discrete-Time Stochastic Hybrid Systems

We address stability of a class of Markovian discrete-time stochastic hybrid systems. This class of systems is characterized by the state-space of the system being partitioned into a safe or target set and its exterior, and the dynamics of the system being different in each domain. We give conditions for L ₁-boundedness of Lyapunov functions based on certain negative drift conditions outside the target set, together with some more minor assumptions. We then apply our results to a wide class of randomly switched systems (or iterated function systems), for which we give conditions for global asymptotic stability almost surely and in L ₁. The systems need not be time-homogeneous, and our results apply to certain systems for which functional-analytic or martingale-based estimates are difficult or impossible to get.     

Asymptotic stability and stabilizability of special classes of discrete-time positive switched systems

In this paper we consider discrete-time positive switched systems, switching among autonomous subsystems, characterized either by monomial matrices or by circulant matrices. Necessary and sufficient conditions are provided guaranteeing either (global uniform) asymptotic stability or stabilizability (i.e. the possibility of driving to zero the state trajectory corresponding to any initial state by resorting to some switching sequence). Such conditions lead to simple algorithms that allow to easily detect, under suitable conditions, whether a given positive switched system is not stabilizable.     

Global exponential stability of impulsive discrete-time neural networks with time-varying delays

This paper studies the problem of global exponential stability and exponential convergence rate for a class of impulsive discrete-time neural networks with time-varying delays. Firstly, by means of the Lyapunov stability theory, some inequality analysis techniques and a discrete-time Halanay-type inequality technique, sufficient conditions for ensuring global exponential stability of discrete-time neural networks are derived, and the estimated exponential convergence rate is provided as well. The obtained results are then applied to derive global exponential stability criteria and exponential convergence rate of impulsive discrete-time neural networks with time-varying delays. Finally, numerical examples are provided to illustrate the effectiveness and usefulness of the obtained criteria.     

Asymptotic disturbance attenuation properties for uncertain switched linear systems

In this paper, the disturbance attenuation properties in the sense of uniformly ultimate boundedness are investigated for a class of switched linear systems with parametric uncertainties and exterior disturbances. The aim is to characterize the conditions under which the switched system can achieve a finite disturbance attenuation level. First, arbitrary switching signals are considered, and a necessary and sufficient condition is given. Secondly, conditions on how to restrict the switching signals to achieve finite disturbance attenuation levels are investigated. Two cases are considered here that depend on whether all the subsystems are uniformly ultimately bounded or not. Both discrete-time and continuous-time switched systems are considered, and the techniques are based on multiple polyhedral Lyapunov functions and their extensions.     

Iterative learning control for discrete-time switched singular systems

This paper deals with the problem of iterative learning control for a class of discrete-time switched singular systems with arbitrary switching rules. According to the characteristics of the systems, two types of iterative learning algorithms are proposed and the corresponding convergence conditions of the algorithms are established. Under some given assumptions, the algorithms can ensure the system state converges to the desired state trajectory on a finite time interval. Finally, two numerical examples are constructed to support the theoretical analysis.