Stabilization Analysis for the Switched Large-Scale Discrete-Time Systems via the State-Driven Switching

A criterion of stabilization for the switched large-scale discrete-time system is deduced by employing state-driven switching method and the Lyapunov stability theorem. This particular method especially can be applied to cases when all individual subsystems are unstable.


Introduction
Recently, switched systems have attracted great research attention in academic and industrial applications.They also have been widely and successfully applied to a variety of industrial processes such as the automotive industry, chemical procedure control systems, navigation systems, automobile speed change systems, aircraft control systems, air traffic control, and many other fields [1][2][3][4][5][6][7].Switched systems are a class of hybrid dynamical systems consisting of several continuous-time or discrete-time subsystems and a rule that orchestrates the switching sequences among them.In the study of switched systems, most of the works have been centralized on the problem of stability; see, for example, [8][9][10][11][12][13][14][15][16][17] and the references cited therein.Two important methods are used to construct the switching law for the stability analysis of the switched systems.One is the state-driven switching strategy [8][9][10][11][12][13], and the other is the time-driven switching strategy [14][15][16][17].The time-driven switching method is based on the concept of a dwell time.If there exists at least an individual stable subsystem, then the switched system is stable with appropriate dwell time switching law.But in many applications, all individual subsystems are unstable.Whereas for systems with the state-driven switching strategy, there have been many choices of switching strategy to make the whole system stable even when all individual subsystems are unstable.
Recently, some stability conditions and stabilization approaches have been proposed for the switched discrete-time systems.Reference [18] studied the quadratic stabilization of discrete-time switched linear systems when a designed switching rule is imposed upon the feedback controller of subsystems and studied quadratic stabilization of switched system with norm-bounded time-varying uncertainties.The event-driven scheduling strategy for constructing switching law to stabilize the switched system is presented in [19].Reference [20] studied stability property for the switched systems which are composed of a continuous-time LTI subsystem and a discrete-time LTI subsystem, when the two subsystems are Hurwitz and Schur stable, respectively.It was shown that if the subsystem matrices are symmetric, then a common Lyapunov function exists for these two subsystems and that the switched system is exponentially stable under arbitrary switching.There exists a switched quadratic Lyapunov function to check asymptotic stability of the switched discrete-time system in [21].References [22,23] studied robust stability analysis and control synthesis of uncertain switched systems.Reference [24] has shown that to achieve controllability for a switched linear system, it is sufficient to use cyclic and synchronous switching paths and constant control laws.
Large-scale systems, the mathematical models of many physical and engineering systems, are frequently of high dimension or possess interacting dynamic phenomena.Such systems consist of a number of interdependent subsystems which serve particular functions, share resources, and are governed by a set of interrelated goals and constraints [25,26].
In real systems, the large-scale systems include electric power systems, nuclear reactors, aerospace systems, large electric networks, economic systems, process control systems, chemical and petroleum industries, different types of societal systems, and ecological systems.Recently, many approaches have been used to investigate the stability and stabilization of large-scale systems [27][28][29][30][31][32][33].
As we have indicated, very few research articles have ever discussed the stabilization of the switched large-scale discrete-time system.Therefore, we will investigate the stabilization analysis of this new class of switched large-scale discrete-time systems.In this paper, we will present novel and general approaches by Lyapunov stability theorem to construct a state-driven switching strategy such that the switched large-scale discrete-time system is asymptotically stable.Particularly, this method can be applied to cases when all individual subsystems are unstable.

System Description and Problem Statement
Consider the switched large-scale discrete-time systems with  individual systems and each individual system composed of  interconnected subsystems: where   () ∈    is the state vectors of the th subsystem,  = 1, 2, . . ., ,  = ∑  =1   ,  (())  and  (())  are some constant matrices of compatible dimensions, } is a piecewise constant scalar function of state, called a switch signal; that is, (()) =  implies the subsystem matrices    and    ,  ∈ {1, 2, . . ., }.Essentially, the switched discrete-time system (1) can be described as follows.
Individual system : For the stabilization of switched large-scale discrete-time system (2), some helpful lemmas are given subsequently.
Lemma 1 (see [34]).For any matrices  and  with appropriate dimensions, one has for any constant  > 0.
Lemma 5.There exists a switching law for the nominal switched discrete-time system (9) such that the system (9) is asymptotically stable if there exist a symmetric matrix  > 0 and positive constants   (1 Proof.If there exist a symmetric matrix  > 0 and positive constants   (1 ≤  ≤ ) satisfying ∑  =1   = 1 such that the inequality (10) holds, the inequality ( 10) is equivalent to the following inequality: Then, for all () ∈ R  , () ̸ = 0, Therefore, it follows that, for any , at least there exists an  ∈ {1, 2, . . ., } such that From (13), it implies that a convex combination of the corresponding Lyapunov function ( 12) is negative along the trajectory, and from (13) at least one must be negative.Thus, the nominal switched discrete-time system ( 9) is asymptotically stable.
Lemma 6 (see [34]).Chebyshev inequality holds for any matrix   ∈  × : In the study of switched large-scale discrete-time systems, the main problems are how to constructively design a switching rule and how to derive sufficient stability conditions which can guarantee the stability of the switched large-scale discrete-time systems under the switching rule.
Remark 8.For the switched large-scale discrete-time system (1) with arbitrary  individual systems and  state vectors, Theorem 7 can be applied to cases when all individual subsystems are unstable.The particular method also can be applied to cases when  > , or  = ,  < .
Switching Law.Switched large-scale discrete-time system (1) is switched to or stays at mode  at sampling step  if ( 18) is satisfied at :

Conclusion
We have adopted the Lyapunov stability theorem to deal with the stabilization analysis of switched large-scale discretetime systems.The results are straightforward.By a simple switching law, the sufficient stability conditions have been derived for the switched large-scale discrete-time systems via the state-driven switching.The results can be applied to cases when  > ,  = , or  <  for the switched large-scale discrete-time system with arbitrary  individual systems and  state vectors.In addition, the particular method can be applied to cases when all individual subsystems are unstable.