- Research Article
- Open Access
Exponential Stability of Time-Switched Two-Subsystem Nonlinear Systems with Application to Intermittent Control
© C. Li and T. Huang. 2009
- Received: 15 February 2009
- Accepted: 16 September 2009
- Published: 8 November 2009
This paper studies the exponential stability of a class of periodically time-switched nonlinear systems. Three cases of such systems which are composed, respectively, of a pair of unstable subsystems, of both stable and unstable subsystems, and of a pair of stable systems, are considered. For the first case, the proposed result shows that there exists periodically switching rule guaranteeing the exponential stability of the whole system with (sufficient) small switching period if there is a Hurwitz linear convex combination of two uncertain linear systems derived from two subsystems by certain linearization. For the second case, we present two general switching criteria by means of multiple and single Lyapunov function, respectively. We also investigate the stability issue of the third case, and the switching criteria of exponential stability are proposed. The present results for the second case are further applied to the periodically intermittent control. Several numerical examples are also given to show the effectiveness of theoretical results.
- Linear Matrix Inequality
- Exponential Stability
- Positive Definite Matrix
- Impulsive Control
- Switching Period
In the recent years, motivated by the fact that many practical systems are inherently multimodal in the sense of that several dynamical systems are required to describe their behavior which may depend on various environmental factors [1, 2], and by the fact that the methods of intelligent control design are based on switching between different controllers [2, 3], the study of switched systems has been received an increasing attention in control theory and applications [2, 4–13]. It is also worth noting that the switching rule is naturally identified as two classes. One is known as state-switched system, and another is time-switched system. So far, most contributions to switched systems were made for the state-switched system. For example, the stability properties for state-dependent switched systems have been characterized in [4–7], and the switched control synthesis designs have been presented in [8, 9]. For the time-switched systems, we refer the readers to [14–16]. One can see that the study of time-switched systems is almost limited to the linear subsystems, at most with the nonlinear perturbations. In , the switched system consists of only Hurwitz stable subsystems. The papers [15, 16] deal with the switched systems with both stable and unstable subsystems by means of average dwell time approach.
In the present paper, we study the exponential stability of time-periodically switched systems composed of a pair of nonlinear subsystems with neural-type Lipstchiz nonlinearities (i.e., the nonlinear vector-valued function is of the form ). Three cases of such systems will be dealt with.
Case 1. Periodically switched system with a pair of unstable nonlinear subsystems.
Case 2. Periodically switched system with both stable and unstable nonlinear subsystems.
Case 3. Periodically switched system with a pair of stable nonlinear subsystems.
For the first case, a linearization transformation is introduced to shift the exponential stability issue of the original system into the robustly exponential stability of the transformed system with a pair of linear time-varying subsystems, and we will use the average-system approach to analyze the robustly exponential stability of the transformed systems. For the second and third cases, the general theoretical frameworks based on the multiple Lyapunov functions will be established. We also suggest that if there exists a common Lyapunov function such that (i) for the second case, for the first subsystem and for the second subsystem, then the system as a whole will be globally exponentially stable for any switching period and any switching rate satisfying ; (ii) for the third case, , , for the th subsystem, then the system as a whole will be globally exponentially stable for any switching period and any switching rate satisfying . Note also that for the first case because both subsystems are unstable there is no such common Lyapunov function that is negative definite for any subsystem. Based on the stability analysis of the second case, we address the periodically intermittent output feedback control problem. Several numerical examples will be presented to show the validity of the theoretical results.
The rest of the paper is organized as follows. In the next section, the problem to be dealt with is formulated and the necessary preliminaries are presented. Then, the theoretical results for three cases of time-switched systems are established in Sections 3–5, respectively. Section 6 deals with the stabilization problem by means of periodically intermittent control. In Section 7, several examples are given to verify the effectiveness of the theoretical results. Finally, conclusions are drawn in Section 8.
where denotes the state vector, and , are all constant matrices, is called the switching period, is called the time duration of the th subsystem with . It is clear that the system (2.1) is a class of periodically time-switched systems with m nonlinear subsystems. Throughout this paper, we also assume that with are continuous functions satisfying the following condition.
(H1) There exist constant scalar numbers such that
In order to linearize system (2.1), we define functions as follows:
Furthermore, let, for , be
In order to formulate the transformation, we still need the following quantities:
Because the entries of matrix are nonnegative, we further define
Simple computation yields, for ,
We then have the following lemma which is of key importance for our results.
Proof. A proof of this lemma is presented in the appendix.
It follows from Lemma 2.1 that the parameter uncertainties in (2.4) and (2.12) are identical, which implies that (2.12) is equivalent to system (2.4). It is also observed that the robust stability property of (2.4) implies the stability property of system (2.1). Therefore, in order to derive the sufficient conditions for stability of system (2.1), we consider the robust stability of system (2.12).
If the nonlinear function satisfies the assumption
(H2) for and , .
Then, and . This implies that , where denotes a matrix with as the th line and th column entry.
where is called the switching rate. The results for (2.13) and/or (2.14) are easily extended to the general systems (2.1) and/or (2.12) with subsystems.
The following two lemmas are useful in the sequel.
Lemma 2.3 (Sanchez and Perez ).
where the superscript means the transpose of a matrix.
Lemma 2.4 (Schur complement, Boyd et al. ).
Throughout this paper, we denote by the transpose of matrix ; and the minimal and maximal eigenvalues of a real symmetric matrix , respectively; the symmetrical and positive (semipositive, negative, seminegative) definite matrix , and the Euclidian norm of the square matrix.
In this section, we consider system (2.13) composed of a pair of unstable subsystems with neural-type nonlinearities. Since the robust stability property of system (2.14) implies the stability property of the original system (2.13), we will derive a sufficient condition of globally exponential stability. The theoretical result shows that similar switching criterion guaranteeing the exponential stability of the origin of time-switched LTI systems still holds for time-switched nonlinear systems with neural-type nonlinearities.
The main result in this section is as follows.
where are defined, respectively, in (2.8). Then, there exists (small) switching period T such that the origin of time-switched system (2.14) is globally robustly exponentially stable, and therefore system (2.13) is globally exponentially stable.
This concludes the proof.
This result is seen as the natural extension of that of time-switched linear systems .
In this section, we consider system (2.13) composed of both stable and unstable subsystems with neural-type nonlinearities. By means of, respectively, multiple and single Lyapunov function, we propose two general criteria, together with simple but effective sufficient conditions guaranteeing the globally exponential stability.
Reconsider the time-switched system (2.13). Here we assume that the first subsystem is globally exponentially stable at the origin, while the second one unstable. It is natural that the system as a whole will be globally exponentially stable for any given when the switching period T approaches to infinite and . Our interest here is to determine a region of the binary composed of the switching period and switching rate such that the system as a whole is globally exponentially stable therein.
Suppose that there exist two scalar functions , a continuous and monotonously increasing function with and constants , and such that the following conditions hold:
(ii)for any , when , , and when ;
(iii) , for any and ;
Then, the origin of the time-switched system (2.13) is globally exponentially stable.
From (4.1)-(4.2) and condition (iii), we have the following
(a)When , .
By induction, we have the following.
Therefore, we can conclude the proof from (e)-(f) and conditions (i) and (iv).
Based on Theorem 4.1, if we choose the quadratic Lyapunov function for the th subsystem, the following result is immediate.
Suppose that there exist symmetric and positive definite matrices and , the positive constants such that
Therefore, conditions (i)-(ii) in Theorem 4.1 hold. Obviously, the definition of implies which leads to condition (iii) in Theorem 4.1. Thus, we complete the proof.
Condition (iv) in Theorem 4.1 and condition (iii) in Corollary 4.2 hold for large enough switching period T if . This is completely consistent with the extreme case that only the stable system is activated, that is, .
Condition (iii) in this theorem can help to derive an estimated region of period T and switching rate , where each binary can guarantee the exponential stability of system (2.13). For computational consideration, we suggest the following steps.
Then, for any , system (2.13) is globally exponentially stable.
Similarly, following the idea of the proof of Theorem 4.1, we have the simpler result when a common Lyapunov function is chosen.
Suppose that there exist a Lyapunov function , a continuous and monotonously increasing function with , and constants , , and such that the following conditions hold:
(ii)for any , when , , and when , ;
Then, the origin of the time-switched system (2.13) is globally exponentially stable for any switching period .
The proof is similar with that of Theorem 4.1, and omitted here.
From this theorem, a standard Lyapunov function will yield the following corollary.
Suppose that there exist symmetric and a positive definite matrix , four positive constants such that
We now study this problem by using the linearization system (2.14) and Theorem 4.5. A simpler sufficient condition for exponential stability of system (2.13) with both stable and unstable subsystems is established.
Suppose that there exist symmetric and positive definite matrix , positive constants such that
then, for arbitrary , if , the origin of time-switched system (2.13) with both stable and unstable subsystems is globally exponentially stable.
Consider the common Lyapunov function for both subsystems. The rest of the proof is similar to that of Theorem 4.1, and hence omitted.
In Corollaries 4.6 and 4.7, condition (i) is to guarantee the exponential stability of the first subsystem, while the instability of the second subsystem follows condition (ii).
For computational consideration, we suggest the following algorithm.
(a)Find the maximum and the corresponding P from condition (i) in Corollary 4.6 (or Corollary 4.7) by using the convex optimization algorithm.
(b)Find the minimum from condition (ii) in Corollary 4.6 (or Corollary 4.7) by using the convex optimization algorithm. Note that the matrix is solved in (a).
(c)Calculate the low bound of , . Then, for any , if , system (2.13) is globally exponentially stable.
In this section, we consider the time-switched system (2.13) with a pair of stable subsystems. The contribution is twofold. Firstly, for the linear case, we characterize the stability properties in four aspects. Secondly, we extend the results for the linear case to the nonlinear system with neural-type nonlinearities.
5.1. Linear Case
where denotes the state vector, , are Hurwitz.
We have the following results.
System (5.1) with a pair of stable subsystems is globally exponentially stable for any switching rule if there exists a symmetric and positive definite matrix P such that both the following inequalities hold:
where , and is positive constant and satisfies . Note that for any , and therefore, (5.2) concludes the proof.
When the condition in Theorem 5.1 does not hold, we suggest the following claim.
Therefore, we have
Hence, if , that is, , system (5.1) is globally exponentially stable. The proof is thus completed.
5.2. Nonlinear Case
Consider again the nonlinear time-switched system (2.13) and the "linearization" system (2.14), but in this section we assume that both subsystems in (2.14) are robust Hurwitz-stable.
Arguing similarly with the previous subsection, we have the analogs of the results described by Theorems 5.1 and 5.2.
exist. Then, the origin of system (2.13) is globally exponentially stable if any one of the following conditions holds.
is satisfied for any .
Then, the following corollary is immediate.
System (2.13) is globally exponentially stable if any one of the following conditions holds.
and further the switching period and switching rate satisfy , where .
Intermittent control is a straightforward engineering approach to process control of any type. As a special form of switching control, intermittent control is also divided into two classes: state-dependent switching rule and time-switching rule. The former implies that the control operation is activated only when the states enter the certain region which is often pregiven; while the later activates the control only in some finite time intervals; the system evolves freely when the time goes out of those intervals. Therefore, these intermittent control systems are open-loop. Intermittent control has been used for a variety of purposes in such engineering fields as manufacturing, transportation, air-quality control, and communication, and so on. In the chaos control context, Carr and Schwartz [22–24] demonstrated a method to control unstable steady states in high-dimensional flows using the duration of time for which feedback control was applied as an addition parameter. Starrett  proposed the so-called "occasional bang-bang" method to stabilize a periodic saddle point in a strange attractor. The main idea of occasional bang-bang is to apply control only at regular intervals and for fixed durations. An application of intermittent control in air-quality control was reported in  where the authors reported a kind of intermittent control system which was designed to achieve ambient air quality standards constantly by varying emission rates in response to changing atmospheric dispersion conditions. Recently, the authors in  proposed a scheme to decouple neighboring qubits in quantum computers through bang-bang pulse control and demonstrated that two similar sequence of pulses with different time intervals not only suppress decoherence but entirely or selectively decouple two neighboring qubits. The authors in [27–31] suggested to controlling the evolution of a system by using strong, short pulses as a new means for quantum error prevention. Also, the authors in  discussed chaotic synchronization by using intermittent control.
An extreme case of intermittent control is impulsive control which has been gained increasing interest and intensively researched [33, 34]. The prominent characteristic of impulsive control is that the states of controlled system will "jump" at certain discrete time moments, namely, the control is with zero duration of time. Because the states of controlled systems are changed directly, impulsive control is an effective approach when the states are observable, but it seems to be invalid when the states of controlled systems are unobservable.
Our object is to find the appropriate , and such that system (6.2) is stabilized exponentially at the origin under the periodically intermittent control (6.3) with (6.4).
According to (2.8), it is not difficult to obtain , and , where and . Because , both the equalities and hold. For notational simplification, let us define , and . From Corollary 4.7, we have the following result.
There exist a matrix , and a symmetric, positive definite matrix P, and positive constants , and such that
Then, the origin of system (6.5) is exponentially stable for any , and the corresponding control gain matrix is determined by .
We only need to show that the conditions in Corollary 4.7 are satisfied. The proof is trivial, and therefore omitted here.
in which is a constant scalar. Then, from Theorem 6.1, the following corollary is immediate.
Let , and . The origin of controlled system (6.5) is exponentially stable for any if .
In this section, we will give two examples to show the validity of the proposed results.
which covers the whole region above the curve with and .
Globally exponential stability of a class of periodically time-switched systems with two nonlinear subsystems has been investigated in this paper. Based on the stability property of subsystems, we divided the considered systems into three subclasses, namely, system composed of a pair of unstable subsystems; system composed of both stable and unstable subsystems; system composed of a pair of stable subsystems. A least one sufficient condition guaranteeing global exponential stability of each of three subclasses was derived by different method including the "averaged" system approach, multiple and single Lyapunov function, and robust analysis of linear time-variant systems. The periodically intermittent control design problem was also addressed. This paper focuses on only the neural-type Lipstchitz nonlinearity, therefore, the further work may deal with the general nonlinear subsystems. Also, the effect of short and strong control strength on the reduction of the control cost in the presence of output noise seems to be an interesting topic.
The authors are grateful to the editor and reviewers for their constructive comments based on which the presentation of the paper has been greatly improved. The work described in this paper was partially supported by the National Natural Science Foundation of China (Grant no. 60974020, 10971240), the Natural Science Foundation Project of CQ CSTC (Grant no. 2006BB2228) and the Program for New Century Excellent Talents in University.
- Wicks M, Peleties P, Decarlo R: Switched controller synthesis for the quadratic stabilization of a pair of unstable linear systems. European Journal of Control 1998,4(2):140–147.View ArticleMATHGoogle Scholar
- Liberzon D, Morse AS: Basic problems in stability and design of switched systems. IEEE Control Systems Magazine 1999,19(5):59–70. 10.1109/37.793443View ArticleGoogle Scholar
- Morse AS: Supervisory control of families of linear set-point controllers. I. Exact matching. IEEE Transactions on Automatic Control 1996,41(10):1413–1431. 10.1109/9.539424MathSciNetView ArticleMATHGoogle Scholar
- Branicky MS: Multiple Lyapunov functions and other analysis tools for switched and hybrid systems. IEEE Transactions on Automatic Control 1998,43(4):475–482. 10.1109/9.664150MathSciNetView ArticleMATHGoogle Scholar
- Cheng D: Stabilization of planar switched systems. Systems & Control Letters 2004,51(2):79–88. 10.1016/S0167-6911(03)00208-1MathSciNetView ArticleMATHGoogle Scholar
- Li ZG, Wen CY, Soh YC: Stabilization of a class of switched systems via designing switching laws. IEEE Transactions on Automatic Control 2001,46(4):665–670. 10.1109/9.917674MathSciNetView ArticleMATHGoogle Scholar
- Ji Z, Wang L, Xie G: New results on quadratic stabilization of switched linear systems with polytopic uncertainties. IMA Journal of Mathematical Control and Information 2005,22(4):441–452. 10.1093/imamci/dni036MathSciNetView ArticleMATHGoogle Scholar
- Xu X, Antsaklis PJ: Stabilization of second-order LTI switched systems. International Journal of Control 2000,73(14):1261–1279. 10.1080/002071700421664MathSciNetView ArticleMATHGoogle Scholar
- Liberzon D: Switching in Systems and Control, Systems & Control: Foundations & Applications. Birkhäuser, Boston, Mass, USA; 2003:xiv+233.View ArticleGoogle Scholar
- Xu H, Liu X, Teo KL: Robust stabilisation with definite attenuance of an uncertain impulsive switched system. The ANZIAM Journal 2005,46(4):471–484. 10.1017/S1446181100009627MathSciNetView ArticleMATHGoogle Scholar
- Xu H, Liu X, Teo KL: Delay independent stability criteria of impulsive switched systems with time-invariant delays. Mathematical and Computer Modelling 2008,47(3–4):372–379. 10.1016/j.mcm.2007.04.011MathSciNetView ArticleMATHGoogle Scholar
- Xu H, Liu X, Teo KL: A LMI approach to stability analysis and synthesis of impulsive switched systems with time delays. Nonlinear Analysis: Hybrid Systems 2008,2(1):38–50. 10.1016/j.nahs.2007.01.004MathSciNetGoogle Scholar
- Ho CY-F, Ling BW-K, Liu Y-Q, Tam PK-S, Teo K-L: Optimal PWM control of switched-capacitor DC-DC power converters via model transformation and enhancing control techniques. IEEE Transactions on Circuits and Systems I 2008,55(5):1382–1391.MathSciNetView ArticleGoogle Scholar
- J. P. Hespanha and A. S. Morse: 1999 “Stability of switched systems with average dwell-time,” in Proceedings of the 38th IEEE Conference on Decision and Control (CDC ’99), vol. 3, pp. 2655–2660, Phoenix, Ariz, USA, December.Google Scholar
- Hu B, Xu X, Michel AN, Antsaklis PJ: 1999 Stability analysis for a class of nonlinear switched system. Proceedings of the 38th IEEE Conference on Decision and Control (CDC '99), December, Phoenix, Ariz, USA 5: 4374–4379.Google Scholar
- Zhai G, Hu B, Yasuda K, Michel AN: 2000 Stability analysis of switched systems with stable and unstable subsystems: an average dwell time approach. Proceedings of the American Control Conference, Chicago, Ill, USA 1: 200–204.Google Scholar
- Li CD, Liao XF, Zhang R: Global robust asymptotical stability of multidelayed interval neural networks: an LMI approach. Physics Letters A 2004,328(6):452–462. 10.1016/j.physleta.2004.06.053MathSciNetView ArticleMATHGoogle Scholar
- Wu FX, Shi ZK, Zhou ZX: 2000 Robust stabilization of linear time-variant interval systems. Proceedings of the 3rd World Conference on Intelligent Control and Automation, July, Hefei, China 3415–3418.Google Scholar
- Sanchez EN, Perez JP: Input-to-state stability (ISS) analysis for dynamic neural networks. IEEE Transactions on Circuits and Systems I 1999,46(11):1395–1398. 10.1109/81.802844MathSciNetView ArticleMATHGoogle Scholar
- Boyd S, El Ghaoui L, Feron E, Balakrishnan V: Linear Matrix Inequalities in System and Control Theory, SIAM Studies in Applied Mathematics. Volume 15. SIAM, Philadelphia, Pa, USA; 1994:xii+193.View ArticleGoogle Scholar
- van der Schaft A, Schumacher H: An Introduction to Hybrid Dynamical Systems, Lecture Notes in Control and Information Sciences. Volume 251. Springer, London, UK; 2000:xiv+174.View ArticleGoogle Scholar
- Carr TW, Schwartz IB: Controlling unstable steady states using system parameter variation and control duration. Physical Review E 1994,50(5):3410–3415. 10.1103/PhysRevE.50.3410View ArticleGoogle Scholar
- Carr TW, Schwartz IB: Controlling the unstable steady state in a multimode laser. Physical Review E 1995,51(5):5109–5111. 10.1103/PhysRevE.51.5109View ArticleGoogle Scholar
- Carr TW, Schwartz IB: Controlling high-dimensional unstable steady states using delay, duration and feedback. Physica D 1996,96(1–4):1–25.Google Scholar
- Starrett J: Control of chaos by occasional bang-bang. Physical Review E 2003,67(3):-4.Google Scholar
- Montgomery TL, Frey JW, Norris WB: Intermittent control systems for . Environmental Science and Technology 1975,9(6):528–532. 10.1021/es60104a608View ArticleGoogle Scholar
- Zhang Y, Zhou Z-W, Guo G-C: Decoupling neighboring qubits in quantum computers through bang-bang pulse control. Physics Letters A 2004,327(5–6):391–396. 10.1016/j.physleta.2004.05.019MathSciNetView ArticleMATHGoogle Scholar
- Viola L, Lloyd S: Dynamical suppression of decoherence in two-state quantum systems. Physical Review A 1998,58(4):2733–2744. 10.1103/PhysRevA.58.2733MathSciNetView ArticleGoogle Scholar
- Viola L, Knill E, Lloyd S: Dynamical decoupling of open quantum systems. Physical Review Letters 1999,82(12):2417–2421. 10.1103/PhysRevLett.82.2417MathSciNetView ArticleMATHGoogle Scholar
- Duan L-M, Guo G-C: Suppressing environmental noise in quantum computation through pulse control. Physics Letters A 1999,261(3–4):139–144. 10.1016/S0375-9601(99)00592-7MathSciNetView ArticleMATHGoogle Scholar
- Zanardi P: Symmetrizing evolutions. Physics Letters A 1999,258(2–3):77–82. 10.1016/S0375-9601(99)00365-5MathSciNetView ArticleMATHGoogle Scholar
- Huang T, Li C, Liu X: Synchronization of chaotic systems with delay using intermittent linear state feedback. Chaos 2008,18(3):-8.Google Scholar
- Yang T: Impulsive Control Theory, Lecture Notes in Control and Information Sciences. Volume 272. Springer, Berlin, Germany; 2001:xx+348.Google Scholar
- Yang T: Impulsive Systems and Control: Theory and Applications. Nova, Huntington, NY, USA; 2001.Google Scholar
This article is published under license to BioMed Central Ltd. 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.