Abstract and Applied Analysis

Volume 2014 (2014), Article ID 302542, 8 pages

http://dx.doi.org/10.1155/2014/302542

Research Article

Global Uniform Asymptotic Stability of a Class of Switched Linear Systems with an Infinite Number of Subsystems

L. F. Araghi,¹ A. A. Suratgar,2,3 and E. Feizi⁴

¹Department of Electrical and Computer Engineering, Science and Research Branch, Islamic Azad University, Tehran 14515-775, Iran

²Department of Electrical Engineering, Amirkabir University of Technology, Tehran, Iran

³The Center of Excellence on Control and Robotics, Department of Electrical Engineering, Amirkabir University of Technology, Tehran, Iran

⁴Department of Mathematics, Bu-Ali Sina University, Hamedan, Iran

Received 31 December 2013; Revised 9 March 2014; Accepted 28 March 2014; Published 19 May 2014

Academic Editor: Ryan Loxton

Copyright © 2014 L. F. Araghi et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

Stability of switching systems with an infinite number of subsystems is important in some structure of systems, like fuzzy systems, neural networks, and so forth. Because of the relationship between stability of a set of matrices and switching systems, this paper first studies the stability of a set of matrices, then and the results are applied for stability of switching systems. Some new conditions for globally uniformly asymptotically stability (GUAS) of discrete-time switched linear systems with an infinite number of subsystems are proposed. The paper considers some examples and simulation results.

1. Introduction

A switched system is a dynamical system that consists of a finite or infinite number of subsystems and a logical rule that orchestrates switching between these subsystems. Mathematically, these subsystems are usually described by a collection of indexed differential or difference equations. One convenient way to classify switched systems is based on the dynamics of their subsystems, for example, continuous-time or discrete-time, linear or nonlinear, and so on [1]. In the recent years, many researchers have investigated on the stability of switching systems. Lin and Antsaklis proposed a necessary and sufficient condition for asymptotic stabilization of switched linear systems [1]. In [2] absolute asymptotic stability of discrete linear inclusions in Banach (both finite and infinite dimensional) space was studied and the relation between absolute asymptotic stability, asymptotic stability, uniform asymptotic stability, and uniform exponential stability was established.

The concept of state-norm estimators for switched nonlinear systems under averaged well-time switching signals was studied in [3]. Liberzon and Trenn showed that switching between stable subsystems may lead to instability and that the presence of algebraic constraints leads to a larger variety of possible instability mechanisms [4].

Some new sufficient conditions for exponential stability of switched linear systems under arbitrary switching were proposed in [5]. Hien et al. considered the problem of exponential stability and stabilization of switched linear time-delay systems. They assumed system parameter uncertainties are time varying and unknown but norm bounded [6].

A new sufficient condition that guarantees global exponential stability of switched linear systems based on Lyapunov-Metzler inequalities was proposed in [7]. A class of uncertain impulsive systems with delayed input was studied in [8]. It was shown that these systems can be transformed into switched systems without time delay.

Hante and Sigalotti considered switched systems on Banach and Hilbert spaces governed by strongly continuous one-parameter semigroups of linear evolution operators. They provided necessary and sufficient conditions for their global exponential stability, uniform with respect to the switching signal, in terms of the existence of a Lyapunov function common to all modes [9].

Du et al. proposed finite-time stability and stabilization problems for switched linear systems. Firstly, they extended the concept of finite-time stability to switched linear systems. Then, a necessary and sufficient condition for finite-time stability of switched linear systems was presented based on the state transition matrix of the system [10]. Stability and gain properties for a class of switched systems which are composed of normal discrete-time subsystems were studied in [11]. It was shown that when all subsystems are Schur stable, is a common quadratic Lyapunov function for the subsystems and the switched normal system is exponentially stable under arbitrary switching.

The exponential stability and stabilization problems of a class of nonlinear impulsive switched systems with time-varying disturbances were studied in [12], and some sufficient conditions were obtained by using the switched Lyapunov function method as algebraic inequality constraints and linear matrix inequalities.

Santarelli studied switched state feedback control law for the stabilization of LTI systems of arbitrary dimension [13]. A unified approach to stability analysis for switched linear descriptor systems under arbitrary switching in both continuous-time and discrete-time domains was studied in [14]. The proposed approach was based on common quadratic Lyapunov functions incorporated with linear matrix inequalities (LMIs). The boundedness and attractiveness of nonlinear switched delay systems whose subsystems have different equilibria were studied in [15]. It was shown that the nonlinear switched delay system is attractive and obtained the attractive region. The authors of the paper proposed three methods for existence of a common quadratic Lyapunov function for robust stability analysis of fuzzy Elman neural network [16].

Since switched systems are used in many applications such as robotics, integrated circuit design, manufacturing, power electronics, switched-capacitor networks, chaos generators, and automated highway systems, some applications for linear or nonlinear switched systems have been further investigated, and many valuable results and simulations have been obtained; see [17–20] and some references therein.

In [17], an optimal control problem with dynamics that switch between several subsystems of nonlinear differential equations was considered. It was shown that an approximate solution for this optimal control problem can be computed by solving a sequence of conventional dynamic optimization problems.

An optimal control problem was considered in which the control takes values from a discrete set, the state and control are subject to continuous inequality constraints, and a new computational method was proposed for solving optimal discrete-valued control problems [18].

In [19] an approach with an existing hybrid power system model was explained. The problem of choosing an operating schedule to minimize generator, battery, and switching costs was first posed as a mixed discrete dynamic optimization problem. Some of the latest computational techniques for generating optimal control laws for switched systems with nonlinear dynamics and continuous inequality constraints were reviewed in [20].

In [21, 22], some theorems for stability analysis of TSK and linguistic fuzzy models were proposed by the authors.

In the recent years, there are many articles about switched systems and stability of them with a finite number of switching but there is no research about the stability of switched systems when the number of subsystems is infinite. Since the study of this class of switching systems is important in some structure of systems, like fuzzy systems, and so forth, so in this paper, stability analysis of discrete-time switched linear systems with an infinite number of switching is investigated and some new conditions are proposed for globally uniformly asymptotically stability (GUAS) of these systems.

The paper is organized as follows.

Section 2 introduces basic definitions and concepts. In Section 3, we derive some conditions for convergence to zero of infinite product of matrices. In Section 4, we extract some new methods for stability analysis of linear switching systems with infinite number of subsystems and provide some illustrative examples. Section 5 gives conclusions.

2. Problem Statement

Consider a set of matrices and pick an initial point , at . A switched linear system is a dynamical system of the type:

where is an infinite index set, is switching law, and the state and for all [23, 24].

This note means that, at every instant, the matrix defined to evolve the system can be replaced by another one from the set .

The stability of a switching system when there is no restriction on the switching signals is usually called stability analysis under arbitrary switching. For this analysis, it is necessary that all the subsystems are asymptotically stable. However, even when all the subsystems of a switching system are exponentially stable, it is still possible to construct a divergent trajectory from any initial condition. So, in general, the assumption of subsystems’ stability is not sufficient to ensure stability of switching systems under arbitrary switching, except for some special cases, such as pairwise commutative systems and symmetric or normal systems (all subsystems). Consequently, if there exists a common Lyapunov function for all the subsystems, then the stability of the switching system is guaranteed under arbitrary switching [23].

Definition 1. The linear switching system (1) is globally uniformly asymptotically stable (GUAS) if for any initial condition and any switching law [23, 25]:

As this is supposed to hold for any initial vector , it is equivalent to saying that all matrix products taken from converge to the zero matrix; that is,

The GUAS problem is closely related to determining the joint spectral radius (JSR) of the set of matrices , denoted by [26].

The joint spectral radius characterizes the maximal asymptotic growth rate of a point submitted to a switching linear system in discrete time. On the other hand, it characterizes the maximal asymptotic growth rate of the norms of long products of matrices taken in as a set . The stability of the system is ensured when the growth rate is less than one [25, 27].

Let denote the Euclidean vector norm and denote [27]

and then the joint spectral radius is defined as

The switching system (1) is GUAS if and only if [26].

Some results show that computing or even approximating the JSR is extremely hard [25]. Here it is proposed some matrix structures for the subsystems in which the stability of a switching system is guaranteed.

Consider the discrete-time switching linear system as follows:

where , .

A switching dynamical system of the form (6) is stable if for any initial condition and any sequence of matrices , [25].

Lemma 2. Let be a set of square matrices. If there exists such that for all , , then

Proof. From the submultiplicity property of norms,

the following equation is correct:

Since, for all , , therefore,

So,

by continuity of the norms, it is extracted that

The next proof is based on the geometric series. It proves the sufficient condition for invertibility of matrices. The space of -matrices with real or complex numbers as elements is considered.

Lemma 3. Let be a real or complex -matrix and let be the identity matrix. If , then is invertible.

Proof. Let , , and .

Since , , hence, converges in .

If , then

whereas

As a result,

Similarly, .

So is invertible and .

Finally, (for more details see [28]).

3. Infinite Product of Matrices

In this section some conditions are studied for convergence to zero of infinite product of matrices.

Theorem 4. Let be a sequence of matrices and a matrix norm. If the sequence satisfies (1) and ( 2):

(1),(2),

where , , and is any rearrangement of the sequence, then .

Thus, this sequence converges to 0, and so converges to 0 [27].

Theorem 5. Let be a compact matrix set as . Then every infinite product taken from converges to 0 iff , where is the joint spectral radius of a set of matrices [27].

Corollary 6. Let be a compact matrix set. Then every infinite product, taken from , converges to 0 iff there is a norm such that [27].

The next theorem refers to a specific structure of matrices.

Consider the discrete-time switching linear system (6) such that

where , and is an infinite index set, .   , and , and the state .

Theorem 7. Let be a sequence of Matrices of the form (16) and let there exist two numbers and such that , , and , for some matrix norm . The sequence (infinite product of matrices) converges to zero if and only if .

Proof. To prove the sufficient condition, by construction from as follows:

where

By hypothesis of the theorem and Lemma 2, since , where ,

Therefore implies that and so

By some calculations, between and , the following relation is achieved:

By subtraction , the above equation is

According to Lemma 3 and because of , clearly, is invertible. Therefore,

From (20) and (23),

and consequently

Namely, by considering the assumed conditions of the Theorem 7, converges to zero if .

To prove the necessary condition of the theorem, it must be verified that if converges to zero, then .

To prove this, first it must be proved that

By defining as the difference between in (18) and ,

and as

From (27) and (28) it is obtained that

So, , such that , and therefore,

By repeating the above inequalities it is obtained that

Therefore,

because of .

By considering and since , so sequence is bounded; that is, there exist such that for all , . Moreover for all .

Thus the sequence is bounded. So there exist such that .

Now, let

In fact, we have . By taking the limit superior of both sides of the above equation, it is obtained that , hence , and since , then it implies that .

The above equation means that and from (27),

So, if , then , and also by hypothesis of Theorem 7 and Lemma 2,

Therefore,

So it completes the proof.

4. Stability of Switching Linear Systems with Infinite Number of Subsystems

The following conditions are extracted for stability of a switching linear system when it comprises an infinite number of subsystems. They are reached from the conditions for convergence to zero of infinite product of matrices.

Corollary 8. The switching linear system (6) is GUAS if the following conditions are satisfied:

(1),(2).

Proof. Thereby establishing these two conditions, from Theorem 4, it is obtained that . From Corollary 6, Lemma 2, and by Definition 1, , . Therefore, according to Theorem 5, , and so the system (6) is GUAS.

Corollary 9. Let be a sequence of switching systems of the form (16) with , . The discrete time switching linear system (6) with an infinite number of switching system is GUAS under arbitrary switching if

Arbitrary switching refers to switching systems that there are no restrictions on the discrete event dynamics.

Proof. By Definition 1 and Theorem 7, any infinite product of this kind of switching linear system under these conditions converges to 0. By definition of the joint spectral radius mentioned in (5),

and because of ,

Then,

So, and the switching linear system is GUAS.

Lemma 10. Consider the discrete-time switching linear system (6) with matrix structure of the form (16) and . The switching system is GUAS if and only if , are GUAS.

Proof. Let of the form where and .

Then,

such that the state . So

   if and only if,   ,  .

In fact, the discrete-time switching linear system (6) with is GUAS if and only if , are GUAS.

Result 1. The discrete time switching linear system (6) with an infinite number of switching systems of the form (16) is GUAS under arbitrary switching if there exist two numbers and such that, , , and is bounded.

Result 2. Because of , the discrete time switching linear system (6) with an infinite number of switching systems with the form (16) is GUAS under arbitrary switching if , .

Example 11. Consider switching linear system (6) with two subsystems of the form (16) and let be a set of triangular block matrices with blocks on the diagonal:

So

Because of

the switching linear system under arbitrary switching is GUAS.

Figure 1 shows the simulation result of Example 11.

Figure 1: Phase portrait of switching linear system with two subsystems.

Example 12. Consider a discrete time switching linear system of the form (16) that , and

According to Result 2 of this paper, this switching system with infinite number of subsystems is GUAS under arbitrary switching because of

So for all . Figure 2 shows some simulation results for , 100, 1000, and 2000 subsystems that switch in a switching system.

(a)

(b)

(c)

(d)

Figure 2: Phase portrait and switching surfaces with 10, 100, 1000, and 2000 subsystems.

5. Conclusion

This paper proposed a new necessary and sufficient condition for convergence to zero of infinite product of matrices. Using the conditions to convergence to zero of matrices, stability of switching linear system with an infinite number of subsystems was investigated. Some sufficient conditions were extracted for globally uniformly asymptotically stability (GUAS) of the discrete time switching linear systems.

Conflict of Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

References

H. Lin and P. J. Antsaklis, “Stability and stabilizability of switched linear systems: a survey of recent results,” IEEE Transactions on Automatic Control, vol. 54, no. 2, pp. 308–322, 2009.

D. Cheban and C. Mammana, “Absolute asymptotic stability of discrete linear inclusions,” Buletinul Academiei de Ştiinţe a Republicii Moldova: Matematica, no. 1, pp. 43–68, 2005.

M. A. Muller and D. Liberzon, “State-norm estimators for switched nonlinear systems under average dwell-time,” in Proceedings of the 49th IEEE Conference on Decision and Control, pp. 1275–1280, December 2010.

D. Liberzon and S. Trenn, “On stability of linear switched differential algebraic equations,” in Proceedings of the 48th IEEE Conference on Decision and Control, pp. 2156–2161, December 2009.

A. A. Agrachev, Y. Baryshnikov, and D. Liberzon, “Towards robust Lie-algebraic stability conditions for switched linear systems,” in Proceedings of the 49th IEEE Conference on Decision and Control, pp. 408–413, December 2010.

L. V. Hien, Q. P. Ha, and V. N. Phat, “Stability and stabilization of switched linear dynamic systems with time delay and uncertainties,” Applied Mathematics and Computation, vol. 210, no. 1, pp. 223–231, 2009.

J. Raouf and H. Michalska, “Exponential stabilization of switched linear systems,” in Proceedings of the 48th IEEE Conference on Decision and Control, pp. 1926–1931, December 2009.

H. Xu and K. L. Teo, “Robust stabilization of uncertain impulsive switched systems with delayed control,” Computers & Mathematics with Applications, vol. 56, no. 1, pp. 63–70, 2008.

F. M. Hante and M. Sigalotti, “Converse Lyapunov theorems for switched systems in Banach and Hilbert spaces,” SIAM Journal on Control and Optimization, vol. 49, no. 2, pp. 752–770, 2011.

H. Du, X. Lin, and S. Li, “Finite-time stability and stabilization of switched linear systems,” in Proceedings of the 48th IEEE Conference on Decision and Control, pp. 1938–1943, December 2009.

G. Zhai, H. Lin, X. Xu, J. Imae, and T. Kobayashi, “Analysis of switched normal discrete-time systems,” Nonlinear Analysis: Theory, Methods & Applications, vol. 66, no. 8, pp. 1788–1799, 2007.

H. Xu and K. L. Teo, “Exponential stability with -gain condition of nonlinear impulsive switched systems,” IEEE Transactions on Automatic Control, vol. 55, no. 10, pp. 2429–2433, 2010.

K. R. Santarelli, “A switched state feedback law for the stabilization of LTI systems,” in Proceedings of the American Control Conference, pp. 1701–1707, Baltimore, Md, USA, 2010.

G. Zhai and X. Xu, “A unified approach to stability analysis of switched linear descriptor systems under arbitrary switching,” International Journal of Applied Mathematics and Computer Science, vol. 20, no. 2, pp. 249–259, 2010.

Y. Zhang, Y. Zhao, H. Xu, H. Shi, and K. L. Teo, “On boundedness and attractiveness of nonlinear switched delay systems,” Abstract and Applied Analysis, vol. 2013, Article ID 713847, 8 pages, 2013.

L. F. Araghi and H. S. Hosseini, “Robust atability of Fuzzy Elman neural network,” in Proceedings of the IEEE International Conference on Granular Computing (GRC '09), pp. 13–18, 2009.

R. C. Loxton, K. L. Teo, and V. Rehbock, “Computational method for a class of switched system optimal control problems,” IEEE Transactions on Automatic Control, vol. 54, no. 10, pp. 2455–2460, 2009.

C. Yu, B. Li, R. Loxton, and K. L. Teo, “Optimal discrete-valued control computation,” Journal of Global Optimization, vol. 56, no. 2, pp. 503–518, 2013.

S. F. Woon, V. Rehbock, and R. Loxton, “Towards global solutions of optimal discrete-valued control problems,” Optimal Control Applications & Methods, vol. 33, no. 5, pp. 576–594, 2012.

Q. Lin, R. Loxton, and K. L. Teo, “Optimal control of nonlinear switched systems: computational methods and applications,” Journal of the Operations Research Society of China, vol. 1, no. 3, pp. 275–311, 2013.

A. A. Suratgar and S. K. Y. Nikravesh, “A new sufficient conditions for stability of fuzzy systems,” in Proceedings of the International Conference on Electrical Engineering (ICEE '02), Tabriz, Iran, 2002.

A. A. Suratgar and S. K. Y. Nikravesh, “A new sufficient conditions for asymptotic stability of a class of applied nonlinear dynamical system,” in Proceedings of the 10th IEEE International Conference on Electronic, Circuit and Systems, vol. 3, pp. 1062–1065, 2003.

R. M. Jungers, Infinite matrix products from the joint spectral radius to combinatorics [Ph.D. thesis], 2008.

R. Jungers, The Joint Spectral Radius: Theory and Applications, vol. 385, Springer, Berlin, Germany, 2009.

T. Monovich and M. Margaliot, “A second-order maximum principle for discrete-time bilinear control systems with applications to discrete-time linear switched systems,” Automatica, vol. 47, no. 7, pp. 1489–1495, 2011.

A. A. Ahmadi, R. M. Jungers, P. Parrilo, and M. Roozbehani, “Analysis of the joint spectral radius via lyapunov functions on path-complete graphs,” in Proceedings of the International Conference on Hybrid Systems: Computation and Control (HSCC '11), Chicago, Ill, USA, 2011.

D. J. Hartfiel, Nonhomogeneous Matrix Products, Birkhäauser, Boston, Mass, USA, 2002.

J. B. Conwey, A Course in Functional Analysis, Springer, 2nd edition, 1997.