Advanced
Stability and Robust H<sub>∞</sub> Control for Time-Delayed Systems with Parameter Uncertainties and Stochastic Disturbances
Stability and Robust H Control for Time-Delayed Systems with Parameter Uncertainties and Stochastic Disturbances
Journal of Electrical Engineering and Technology. 2016. Jan, 11(1): 200-214
Copyright © 2016, The Korean Institute of Electrical Engineers
This is an Open-Access article distributed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc/3.0/) which permits unrestricted non-commercial use, distribution, and reproduction in any medium, provided the original work is properly cited.
  • Received : February 10, 2014
  • Accepted : September 01, 2015
  • Published : January 01, 2016
Download
PDF
e-PUB
PubReader
PPT
Export by style
Article
Author
Metrics
Cited by
TagCloud
About the Authors
Ki-Hoon Kim
School of Electrical Engineering, Chungbuk National University, Korea. (redpkzo;netgauss@chungbuk.ac.kr)
Myeong-Jin Park
School of Electrical Engineering, Chungbuk National University, Korea. (redpkzo;netgauss@chungbuk.ac.kr)
Oh-Min Kwon
Corresponding Author: School of Electrical Engineering, Chungbuk National University, Korea.(madwind@chungbuk.ac.kr)
Sang-Moon Lee
School of Electronics Engineering, Daegu University, Korea. (moony@daegu.ac.kr)
Eun-Jong Cha
Department of Biomedical Engineering, School of Medicine, Chungbuk National University, Korea. (ejcha@chungbuk.ac.kr)

Abstract
This paper investigates the problem of stability analysis and robust H controller for time-delayed systems with parameter uncertainties and stochastic disturbances. It is assumed parameter uncertainties are norm bounded and mean and variance for disturbances of them are known. Firstly, by constructing a newly augmented Lyapunov-Krasovskii functional, a stability criterion for nominal systems with time-varying delays is derived in terms of linear matrix inequalities (LMIs). Secondly, based on the result of stability analysis, a new controller design method is proposed for the nominal form of the systems. Finally, the proposed method is extended to the problem of robust H controller design for a time-delayed system with parameter uncertainties and stochastic disturbances. To show the validity and effectiveness of the presented criteria, three examples are included.
Keywords
1. Introduction
During the past several decades, the topic of stability analysis and stabilization for time-delayed systems has been tackled by many researchers since time delays occur in many practical systems. For examples, most sensors in systems usually have time-delays since they take some times to measure. Also, it is unavoidable that communications have time-delays since processes of modulation and demodulation require some times. Moreover, in digital systems, time-delays occur in some processes like a sampling. It is well known that occurrence of time delays cause poor performance or even instability. Therefore, a great deal of efforts has been done in stability analysis and stabilization for time-delayed systems [1 - 26] based on delay-dependent approach since delay-dependent criteria are less conservative than delay-independent ones especially when the sizes of time-delays are small.
One of the main issue in the field of delay-dependent stability analysis and stabilization is to find larger delay bounds for guaranteeing the asymptotic stability of the concerned dynamic system. Therefore, the size of maximum delay bound obtained by stability or stabilization criteria has been the main index for comparing the superiority of stability or stabilization criteria. With this regard, to enhance the feasible region of stability or stabilization, some new Lyapunov-Krasovskii functional such as triple or quadruple integral form were introduced in [3 - 7 , 16 , 18 , 20] , and [22] . The application of free-weighting matrix techniques to reduce the conservatism of stability criteria for various systems can be found in [1 , 2 , 5 , 13 , 15 , 17 , 18 , 21 , 23] , and [24] . In [5] , delay-partitioning techniques with a newly augmented Lyapunov-Krasovskii functional were utilized in stability analysis for uncertain neutral systems with time-varying delays. Zhu et al. [12] tried to reduce the decision number of LMI variable by not introducing slack variables in delay-dependent stability analysis of time-delay systems. The model transformation such as a descriptor system was utilized in [14 , 25] , and [26] . To obtain more tighter upper bound of time-derivative of Lyapunov-Krasovskii functional, Jensen’s inequality [10] , reciprocally convex optimization approach [8] , and Wirtinger-based integral inequality [9] are well recognized in reducing the conservatism of delay-dependent stability analysis. The application of reciprocally convex optimization approach [8] in discrete-time systems with time-varying delays can be found in [11] and [19] . From the analysis of delay-dependent stability and stabilization for dynamic systems with time-delays mentioned before, one can see that how to construct Lyapunov-Krasovskii functional and estimate its time-derivative value with some techniques play key roles to increase maximum delay bounds.
In practical systems, there exist some uncertainties because it is very difficult to be obtain an exact mathematical model due to environment noise, system complexities, friction, uncertain or slowly varying parameters, and so on. Hence, considerable efforts in [20 - 24] , [27 - 29] have been devoted to the stability and stabilization for uncertain dynamics with norm-bounded parameter uncertainties.
On the other hand, disturbances can have an adverse effect on the stability of systems. Thus, it is important to design a controller for the systems with disturbances. For an example, when disturbances like earthquake occurred, building and structure systems require controllers that minimize the effect of external disturbances as well as stabilize the system. Therefore, an H control [30] has been used to minimize the effect of the disturbances because the goal of the H control is to design the controllers such that the closed-loop systems are stable and their H -norm of the transfer functions between the controlled output and the disturbances will not exceed prescribed level of performances. With this regard, a number of research results on H control has been addressed for various systems such as time-delayed systems in [25 - 28] , singular systems [29] , and so on.
Recently, a variety of stochastic systems have been researched such as systems with stochastic sampling and stochastic systems with missing measurement in [31 , 32] . Moreover, systems with randomly occurring uncertainties have been introduced in [33 , 34] . In [31] , it is assumed that the time-delay has a stochastic characteristic to describe the systems which has sampling period varying by stochastic characteristic. In [32] , it was assumed that the system output has the stochastic variables for probabilistic missing data. Also, the parameter uncertainties are multiplied by the stochastic variables in [33 , 34] .
However, it is natural to assume that stochastic characteristic exist not only in the mentioned systems in [31 - 34] but also in disturbances since the disturbances are affected by random change of environment. For an example, aircraft is affected by disturbances when the wind is strong like a storm. Other existing literatures in [31 - 34] , even though stochastic variables are used, variance is not considered. Thus, it is desirable and realistic that the stochastic data of the disturbances such as mean and variance is utilized in stability analysis and stabilization for systems with stochastic disturbances. However, the systems with stochastic disturbances have not been fully investigated yet.
With motivations mentioned in above discussions, this paper focuses on the problem of the H controller design for linear time-delayed systems with stochastic disturbances. The main contribution of this research lies in two aspects.
• Some new augmented Lyapunov-Krasovskii functional are introduced in stability and stabilization problem for time-delayed systems with parameter uncertainties.
• The problem of designing a robust H control for the systems with both stochastic disturbance and parameter uncertainties is investigated for the first time.
First, by construction of a newly Lyapunov-Krasovskii functional and utilization of reciprocally convex approach [8] with some new zero equalities, a new stability criterion for the nominal form of systems with time-varying delays is derived in Theorem 1 with the LMI framework, which can be formulated as convex optimization algorithms which are amenable to computer solution [35] . Secondly, based on the results of Theorem 1, a new controller design method for the nominal form of systems with time-varying delays will be proposed in Theorem 2. Finally, Theorem 2 will be extended to Theorem 3 which deals with the robust H controller design methods for the systems with both stochastic disturbance and parameter uncertainties. Through three numerical examples, the advantage and effectiveness of the proposed theorems will be shown.
Notation : R n is the n -dimensional Euclidean space, R m×n denotes the set of m × n real matrix. For symmetric matrices X and Y , X > Y (respectively, X Y ) means that the matrix X Y is positive definite (respectively, nonnegative). XT denotes the transposition of X . In denotes the n × n identity matrix. 0n and 0 n×m denote the n × n zero matrix and the n × m zero matrix, respectively. || . || refers to the Euclidean vector norm and the induced matrix norm. diag {…} denotes the block diagonal matrix, respectively. * represents the elements below the main diagonal of a symmetric matrix. L 2 [0, ∞) is the space of square integrable vector. E { x } and E { x | y } denote the expectation of x and the expectation of x conditional on y , respectively. X [f(t)] means that the elements of the matrix X [f(t)] includes the value of f ( t ); e.g., X [a] = X [f(t)=a] . Pr { x } means the varying probability of the event x .
2. Problem statements
Consider the linear system with uncertain parameters and a time-varying delay:
PPT Slide
Lager Image
where x ( t ) ∈ R n is the state vector, u ( t ) ∈ R m is the control input, w ( t ) ∈ R p is the disturbance input which belongs to L 2 [0, ∞) , z ( t ) ∈ R q is the vector of controlled output, A , Ad R n×n , B R n×m , Bw R n×q and C R q×n are known real constant matrices, Δ A ( t ) and Δ Ad ( t ) are the parameter uncertainties of system matrices of the form
PPT Slide
Lager Image
in which D R n×s , Ea R r×n and Ed R r×n are known constant matrices and F ( t ) ∈ R s×r is norm bounded with FT ( t ) F ( t ) ≤ Ir . Also, h ( t ) is a time-delay satisfying time-varying continuous function as follows:
PPT Slide
Lager Image
where hM is a known positive scalar and hd is any constant one.
In this paper, it is assumed that the disturbance has stochastic properties. Let us define the stochastic variable ρ ( t ) which satisfies the following conditions:
PPT Slide
Lager Image
where ρ 0 and σ 2 are mean and variance of ρ ( t ) , respectively. From (4), the expectation of ρ 2 ( t ) can be obtained as
PPT Slide
Lager Image
For the assumption about the stochastic disturbances, in this paper, the term Bw w ( t ) in Eq. (1) is multiplied by ρ ( t ) . Thus, in this paper, the following model is considered:
PPT Slide
Lager Image
This model has a form of ρ ( t ) Bw w ( t ) which obtain the stochastic variable ρ ( t ) and reflects a stochastic character of disturbances. For the various disturbances, even if means of disturbances are same, the disturbances can be different each other because of variances. If the variance of ρ ( t ) is 0, ρ ( t ) can be assumed by the constant value ρ 0 .
Remark 1. It is supposed that the ρ ( t ) has the stochastic characteristic and its mean and variance are known. Thus, the disturbances considered in Eq. (6) can be characterized by stochastic properties. Since the disturbances are affected by random change of environment, considering mean and variance of ρ ( t ) is reasonable. For the aircraft as an example, if wind is strong like storm, then the flight performance of the aircraft will be deteriorated since the strength of the disturbances is intense. That is, mean of ρ ( t ) will be increased. Also, if wind is fluctuating sharply, variance of ρ ( t ) will be increased. Thus, if the stochastic information of ρ ( t ) when a controller is designed is utilized, then it may be expected that more practical controllers can be provided to the system (6) than other ones in existing literatures.
Let us consider a memoryless state feedback controller:
PPT Slide
Lager Image
where K R m×n is a gain matrix of the feedback controller. In order to develop a delay-dependent H controller for the system (6), the following conditions are satisfied:
(i) With w ( t ) = 0 , the closed loop system (6) with control input is asymptotically stable.
(ii) Under zero initial condition, the closed-loop system satisfies
PPT Slide
Lager Image
where γ > 0 is a prescribed scalar. Under these condition, the system (6) is said to be stabilizable with an H disturbance attenuation level γ . Then, the obtained controller u ( t ) is said to be an H stabilization controller.
The objective of this paper is to design a state feedback controller (7) such that system (6) is asymptotically stable and an H disturbance attenuation level γ is minimized. To derive main results, the following lemmas are utilized in deriving the main results.
Lemma 1 [4]. For a positive matrix Z , scalars h 2 > h 1 >0 such that the integrations are well defined, then
PPT Slide
Lager Image
PPT Slide
Lager Image
PPT Slide
Lager Image
Lemma 2 [8]. For a scalar α (0 < α < 1) , a given matrix R R n×n > 0 , two matrices W 1 R n×m and W 2 R n×m , any vector ξ R m , let us define the function Θ( α , R ) given by:
PPT Slide
Lager Image
Then, if there exists a matrix X R n×n such that
PPT Slide
Lager Image
, then the following inequality holds
PPT Slide
Lager Image
Lemma 3 (Finsler's lemma) [36]. Let ζ R n , Φ = Φ T R n×n and B R m×n such that rank ( B ) < n . The following statements are equivalent:
  • ζTΦζ< 0, ∀Bζ= 0,ζ≠ 0,
( B ) T Φ B < 0, where B is right orthogonal complement of B .
Lemma 4 [11]. For a positive matrix Λ , a symmetric matrix Ξ , and a matrix Γ , two following statements are equivalent:
(1) Ξ − Γ T ΛΓ < 0,
(2) There exists a matrix U of appropriate dimension such that
PPT Slide
Lager Image
Lemma 5 [37]. Let E , H , and F ( t ) be real matrices of appropriate dimensions, and let F ( t ) satisfy FT ( t ) F ( t ) ≤ I for all t . Then, for a positive scalar ε , the following inequality holds:
PPT Slide
Lager Image
3. Main results
This section consists of three subsections. The goal of first subsection is stability analysis of a nominal system. The second subsection will be extended to a stabilization. And the final section will introduce a design method of a robust H controller for uncertain linear systems with time-varying delays and stochastic disturbances.
- 3.1 Stability analysis
Firstly, in this subsection, a delay-dependent stability criterion for the nominal system of (6) with w ( t ) = 0 , u ( t ) = 0 and without parameter uncertainties is derived. Here, the following nominal system of (6) is given by
PPT Slide
Lager Image
Now, for simplicity of matrix and vector representation, ei R 9n×n ( i = 1,...,9) are defined as block entry matrices which will be used in Theorem 1. The other notations are defined as
PPT Slide
Lager Image
Now, the following theorem is given as a delay-dependent stability criterion for the system (16).
Theorem 1. For given scalars 0≤ hM and hd , the system (16) is asymptotically stable for 0 ≤ h ( t ) ≤ hM , ( t ) ≤ hd , if there exist positive definite matrices R R 5n×5n , N R 4n×4n , G R 3n×3n , Q 1 R 2n×2n , Q 2 R 2n×2n , Q 3 R n×n , symmetric matrices P 1 R n×n , P 2 R n×n , any matrices S 1 R 2n×2n , S 2 R 2n×2n and U R 4n×8n satisfying the following LMIs:
PPT Slide
Lager Image
PPT Slide
Lager Image
PPT Slide
Lager Image
Proof. Let us consider the following Lyapunov-Krasovskii functional candidate as
PPT Slide
Lager Image
where
PPT Slide
Lager Image
Now, the time-derivative of V 1 ( t ) is
PPT Slide
Lager Image
Also,
PPT Slide
Lager Image
is calculated as
PPT Slide
Lager Image
The upper-bound of
PPT Slide
Lager Image
can be given as follows:
PPT Slide
Lager Image
Moreover,
PPT Slide
Lager Image
can be derived as:
PPT Slide
Lager Image
Inspired by the work in [13] , for symmetric matrices P 1 and P 2 , let us consider the following zero equalities:
PPT Slide
Lager Image
By adding (26) into (25) and using Lemma 1, an upper bound of
PPT Slide
Lager Image
is still same as
PPT Slide
Lager Image
where ϕ 1 ( t ) = h ( t ) / hM which satisfies 0 < ϕ 1 ( t ) < 1 when 0 < h ( t ) < hM . It should be pointed that when h ( t )=0, equalities
PPT Slide
Lager Image
is obtained, and when h ( t )= hM , equalities
PPT Slide
Lager Image
is obtained. Thus, equality (27) still holds when 0 ≤ h ( t ) ≤ hM .
From Lemma 2 with Λ 1 ≥ 0 which is defined in (17), a new upper-bound of
PPT Slide
Lager Image
calculated by
PPT Slide
Lager Image
In succession, through Lemma 1,
PPT Slide
Lager Image
can be obtained as
PPT Slide
Lager Image
where
PPT Slide
Lager Image
, ϕ 2 ( t ) = ( h ( t ) / hM ) 2 which satisfies 0 < ϕ 2 ( t ) < 1 when 0 < h ( t ) < hM . Note that when h ( t )=0, equalities
PPT Slide
Lager Image
is obtained, and when h ( t )= hM , equalities
PPT Slide
Lager Image
is obtained. Thus, equality (29) still holds when 0 ≤ h ( t ) ≤ hM .
Using Lemma 2 with Λ 2 ≥ 0 defined in (17) yields the following inequality:
PPT Slide
Lager Image
where
PPT Slide
Lager Image
.
Moreover, from Lemma 1,
PPT Slide
Lager Image
has a new upper-bound given by
PPT Slide
Lager Image
By combining (22)-(31), an upper-bound of
PPT Slide
Lager Image
is obtained as follows:
PPT Slide
Lager Image
From the dynamic equation of the system (16), it is true that 0 = Θ ζ ( t ). Therefore, by using Lemma 3, a stability criterion for system (16) can be obtained as
PPT Slide
Lager Image
For any matrix U and by using Lemma 4, a new upper-bound of (33) is given by
PPT Slide
Lager Image
Note that inequality (34) is affinely dependent on h ( t ) where 0 ≤ h ( t ) ≤ hM . So, ϒ [h(t)] < 0. is satisfied if and only if LMIs (18) and (19). This completes our proof.                                  ■
Remark 2. Compared with the existing works, the main differences of Lyapunov-Krasovskii functionals are V 1 ( t ), V 2 ( t ) and V 3 ( t ). They are used to reduce the conservatism of stability and stabilization criteria for the time-delayed system since the utilized augmented vector in V 1 ( t ) includes not only single and double integral terms of states but also triple integral term
PPT Slide
Lager Image
. In the proposed methods, more information on states were utilized by using V 1 ( t ) with this vector as one term of the Lyapunov-Krasovkii functional in (21). By calculating the time-derivative of V 2 ( t ) and V 3 ( t ), some cross terms such as
PPT Slide
Lager Image
and
PPT Slide
Lager Image
are obtained and utilized in estimating the time-derivative of V ( t ) by including the integral terms of derivative of state as the integrands of V 2 ( t ) and V 3 ( t ). In next section, it will be shown Theorem 1 can provide larger delay bounds than the works in other literature by comparing maximum delay bounds for a system which has been utilized in many literature to check the conservatism of delay-dependent stability criteria.
- 3.2 Controller design
Let us consider the following system
PPT Slide
Lager Image
where h ( t ) is satisfied with (3) and u ( t ) is the control input which is defined in (7). In this section, a stabilization method for the system (35) will be introduced based on the result of Theorem 1. For simplicity of matrix representation, some notations are defined as
PPT Slide
Lager Image
where other terms were defined in (17).
Now, the following theorem is given by the second result.
Theorem 2. For given scalars 0≤ hM , hd and α > 0 the system (35) is asymptotically stable for 0 ≤ h ( t ) ≤ hM and ( t ) ≤ hd , if there exist positive definite matrices
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
, symmetric matrices
PPT Slide
Lager Image
,
PPT Slide
Lager Image
, any matrices
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
, X R n×n and Y R m×n satisfying the following LMIs:
PPT Slide
Lager Image
PPT Slide
Lager Image
PPT Slide
Lager Image
Then, if the above conditions are feasible, a desired controller gain matrix is obtained by K = YX −1 .
Proof. For the same Lyapunov-Krasovskii candidate functional in (21) and by (32), the upper-bound of
PPT Slide
Lager Image
is given as follows:
PPT Slide
Lager Image
with the inequalities (20).
Then, for any matrices Z 1 and Z 2 , the following zero equality is considered:
PPT Slide
Lager Image
where
PPT Slide
Lager Image
.
For R = [ Rij ] 5×5 R 5n×5n and a given scalar α > 0 , let us define Z 1 = αR 11 and Z 2 = R 11 . By adding (41) to (40), a new upper-bound of
PPT Slide
Lager Image
is given by
PPT Slide
Lager Image
Let us define
PPT Slide
Lager Image
and
PPT Slide
Lager Image
. For examples, Φ 1 = X and Φ 2 = diag { X , X } . Then, to derive more simply, let us define following matrices as
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
and Y = KX . Then, the following inequalities can be obtained by multiplying Φ 9 to pre and post of (42)
PPT Slide
Lager Image
At this time, the conditions are attended as follows:
PPT Slide
Lager Image
.
Also, by Lemma 4 with any matrix Û , an inequality (43) is equivalent to
PPT Slide
Lager Image
Note that inequality (44) is affinely dependent on 0 ≤ h ( t ) ≤ hM . So,
PPT Slide
Lager Image
is satisfied if and only if (37) and (38). This completes our proof.                                  ■
- 3.3 RobustH∞controller design for stochastic disturbances
In this subsection, the robust H controller design for the system (6) will be derived based on Theorem 2. The notations are defined as
PPT Slide
Lager Image
where other terms were defined in (17) and (36).
Theorem 3. For given scalars 0≤ hM , hd and α > 0 the system (35) is asymptotically stable for 0 ≤ h ( t ) ≤ hM and ( t ) ≤ hd , if there exist positive definite matrices
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
, symmetric matrices
PPT Slide
Lager Image
,
PPT Slide
Lager Image
, any matrices
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
, X R n×n , Y R m×n and a positive scalar λ satisfying the following LMIs:
PPT Slide
Lager Image
PPT Slide
Lager Image
PPT Slide
Lager Image
Then, if the above conditions are feasible, a desired controller gain matrix is obtained by K = YX −1 .
Proof. Let us consider the same Lyapunov-Krasovskii candidate functional in (21). By infinitesimal operator L in [31] , a new upper-bound of L V ( t ) is obtained by
PPT Slide
Lager Image
with the inequalities (20).
Then, the following equation is obtained for any matrix Z 1 and Z 2 :
PPT Slide
Lager Image
where
PPT Slide
Lager Image
Let us define Z 1 = αR 11 and Z 2 = R 11 . By adding (50) into (49), a new upper-bound of L V ( t ) can be obtained as follows:
PPT Slide
Lager Image
The expectation of (51) can be obtained with (4) and (5) as follows:
PPT Slide
Lager Image
Since V (0)=0 and V (∞)≥0 are satisfied under the zero initial condition, the following inequality can be obtained from H performance index in (8) as
PPT Slide
Lager Image
If the inequality (53) is satisfied, the system (6) is stable with H performance level γ under the obtained controller (7) . With zT ( t ) z ( t )= xT ( t ) CT Cx ( t ), (53) is equivalent to the following inequality
PPT Slide
Lager Image
Using Lemma 5, an upper-bound of (54) can be obtained for λ >0 as follows:
PPT Slide
Lager Image
where
PPT Slide
Lager Image
Therefore, inequality (55) is equivalent to the following condition
PPT Slide
Lager Image
Let us define
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
,
PPT Slide
Lager Image
and Y = KX . Then, the following inequalities can be obtained by pre- and post-multiplying (56) by diag 9 , Ip }
PPT Slide
Lager Image
where
PPT Slide
Lager Image
At this time, the conditions are attended as follows:
PPT Slide
Lager Image
.
Using Lemma 4 with any matrix Û , (57) is equivalent to
PPT Slide
Lager Image
Note that inequality (58) is affinely dependent on h ( t ) where 0 ≤ h ( t ) ≤ hM . So,
PPT Slide
Lager Image
is satisfied if and only if (46) and (47). This completes our proof.                                  ■
4. Numerical examples
In this section, three numerical examples demonstrate the effectiveness of the proposed criteria.
Example 1. Consider the system (16) with following parameters:
PPT Slide
Lager Image
For different hd , the maximum delay bounds for guaranteeing the asymptotic of system (16) with above parameters are listed in Table 1 which conducts the comparison of the obtained results by Theorem 1 with the previous results. Table 1 shows that when hd is bigger, the maximum upper-bound of h ( t ) is smaller. It means that hd affects the stability region of the system. Moreover, it can be seen that Theorem 1 is less conservative than those of the existing results in [1 - 3] , [6] , [8] and [12] . Thus, it can be confirm that the proposed Layponove-Krasovskii functional and some utilized techniques in Theorem 1 are effective in reducing the conservatism of stability criterion. It should be noted that when time-delay is constant, the maximum delay bound for guaranteeing the asymptotic stability of system (16) with above parameters is 6.1725.
The maximumhMin Example 1.
PPT Slide
Lager Image
The maximum hM in Example 1.
Example 2. Consider the system (35) with following parameters:
PPT Slide
Lager Image
When hd = 0, by applying Theorem 2 to the system (35) with the above parameters, the obtained maximum delay bounds and the corresponding controller gain are listed and comparison with the previous results are conducted in Table 2 . The obtained maximum allowable delay bounds of h ( t ) is 50.01 and the controller gain is K = 10 4 ×[−1.7155, −1.7331] . At this time, the tuning parameter α is 0.0334 when hM =50.01. In order to confirm one of the results, the simulation result with the time delay h ( t )=50.01 and the designed controller gain K is illustrated in Fig. 1 which shows the state trajectories goes to zero as time increases. To compare the obtained results by Theorem 2 with some other ones, the various hM and corresponding controller gain are listed in Table 2 when hM are 1, 2, 5, 10 and 11. From Table 2 , one can confirm that the feasible region of Theorem 2 is much larger than the previous literature [14 - 16] , [24 - 26] .
The maximumhMwithhd=0 in Example 2.
PPT Slide
Lager Image
The maximum hM with hd =0 in Example 2.
PPT Slide
Lager Image
Simulation for Example 2 with the controller gain K when hM =50.01 and hd =0.
Example 3. Consider the system (6) with following parameters:
PPT Slide
Lager Image
Also, let us define the disturbances as
PPT Slide
Lager Image
where
PPT Slide
Lager Image
Moreover, ρ ( t ) is a stochastic variable of which mean and variance are ρ 0 and σ 2 , respectively.
By applying Theorem 3, the feedback controller gains K can be obtained with minimum γ when hM =2, hd =1, α =4, ρ 0 =1 and various σ 2 in Table 3 . More specifically, in order to show the effectiveness of the variance for the system, the results are obtained when σ 2 are 0, 1, 2 and 3. Even though the means of the disturbances are same, minimum values of γ can be obtained differently which are increased as σ 2 is increased. The results are dependent on variance and are obtained by Theorem 3 which is derived for our new system model. Also, Fig. 2 is illustrated for state response of the system (6) with stochastic disturbances and the time-delay h ( t ) = 0.5 hM (cos(2 hd t / hM ) + 1) by simulation with parameters listed in Table 3 . It shows that the closed-loop system (6) is asymptotically stable with H disturbance attenuation level γ for any time-varying delay h ( t ) satisfying (3). Even if the mean of disturbances are same, the effect of disturbances increases when the variance σ 2 becomes large.
Minimum value ofγwithρ0=1,hM=2,hd=1,α=4 and variousσ2in Example 3.
PPT Slide
Lager Image
Minimum value of γ with ρ0 =1, hM =2, hd=1, α =4 and various σ2 in Example 3.
PPT Slide
Lager Image
Simulation for Example 3 with parameters in Table 3.
In addition, in Table 4 , minimum values of γ and controller gains K which dependent on mean of ρ ( t ) are listed when σ 2 =1, hM =2, hd =1, α =4 and various ρ 0 . It can be shown that the minimum of γ is increased as ρ 0 is increased which means that the system is influenced more by the disturbances. It is natural that the results are worse when the mean of disturbances increases because disturbances cause poor performances. Fig. 3 shows the simulation results with parameters listed in Table 4 and the time-delay h ( t ) = 0.5 hM (cos(2 hdt / hM ) + 1) . It shows the state responses of the system (6) when the stochastic disturbances occurred with various ρ 0 . From Fig. 3 , the closed-loop system (6) with the controller gain in Table 4 is asymptotically stable with H disturbance attenuation level γ for any time-varying delay h ( t ) satisfying (3). Also, when ρ 0 increases, the signal of disturbance become large. This means that system is more affected by disturbance and thus the performance of the closed-loop system (6) is deteriorated.
Minimum value ofγwithσ2=1,hM=2,hd=1,α=4 and variousρ0in Example 3.
PPT Slide
Lager Image
Minimum value of γ with σ2 =1, hM =2, hd=1, α =4 and various ρ0 in Example 3.
PPT Slide
Lager Image
Simulation for Example 3 with parameters in Table 4.
5. Conclusion
In this paper, the problems of stability analysis, stabilization, and design the delay-dependent robust H controller for time-delayed systems with parameter uncertainties and stochastic disturbances were investigated. It was assumed that the parameter uncertainties were norm bounded. In order to use stochastic characteristic of the disturbances, the mean and variance for disturbances were utilized. Main results were three separated subsections which were the stability analysis criterion, controller design criterion and robust H controller design criterion. Firstly, in Theorem 1, the stability criterion for the nominal systems with time-varying delays was derived by utilizing the newly augmented Lyapunov-Krasovskii functional. Secondly, based on the results of Theorem 1, the new stabilization criterion for the nominal form of the systems was established in Theorem 2. Finally, Theorem 2 was extended to the problem of robust H controller design for the time-delayed systems with parameter uncertainties and stochastic disturbances in Theorem 3. Moreover, three examples were given to illustrate the effectiveness of the presented criterion.
Acknowledgements
This research was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (2011-0009273). This work was also supported by the Human Resources Development of the Korea Institute of Energy Technology Evaluation and Planning (KETEP) grant funded by the Korea government Ministry of Trade, Industry & Energy (no. 20144030200450).
BIO
Ki-Hoon Kim He received B.S. and M.S. degrees both in Electrical Engineering from Chungbuk National University, Cheongju, Korea, in 2012 and 2014, respectively. His research interests are time-delay systems.
Myeong-Jin Park He received B.S. and Ph.D. degrees both in Electrical Engineering from Chungbuk National University, Cheongju, Korea, in 2009 and 2015, respectively. His current research interests include consensus of multi-agent systems and control of time-delay systems.
Oh-Min Kwon He received B.S. degree in Electronic Engineering from Kyungbuk National University, Daegu, Korea, in 1997, and Ph.D. degree in Electrical and Electronic Engineering from POSTECH, Pohang, Korea, in 2004. From February 2004 to January 2006, he was a senior researcher in Mechatronics Center of Samsung Heavy Industries. He is currently working as an associate professor in School of Electrical Engineering, Chungbuk National University. His research interests include time-delay systems, cellular neural networks, robust control and filtering, large-scale systems, secure communication through synchronization between two chaotic systems, complex dynamical networks, multi-agent systems, and so on. He has presented more than 130 international papers in these areas. He is a member of KIEE, ICROS, and IEEK. Currently, he serves as an editorial member of ICROS, Nonlinear Analysis: Hybrid Systems, and The Scientific World Journal.
Sang-Moon Lee He received B.S. degree in Electronic Engineering from Kyungpook National University, and M.S. and Ph.D. degrees at Department of Electronic Engineering from POS-TECH, Korea. Currently, he is an assistant professor at Division of Electronic Engineering in Daegu University. His main research interests include robust control theory, nonlinear systems, model predictive control and its industrial applications.
Eun-Jong Cha He received B.S. degree in Electronic Engineering from the Seoul National University, Seoul, Korea, in 1980, and Ph.D. degree in Biomedical Engineering from the University of Southern California, Los-Angeles, USA, in 1987. He founded a venture company, CK International Co., in 2000 and is serving as the president since then. In 2005-2006, he served as the Director of Planning and Management of the Chungbuk National University. He is currently appointed as a Professor and the Chair of the Biomedical Engineering Department, Chungbuk National University, Cheongju, Korea. His research interest includes biomedical transducer, cardiopulmonary instrumentation, and intelligent biomedical system. He serves as a Member of KOSOMBE, KSS, KOSMI, IEEK, KIEE, and IEEE. He has also been serving the Korean Intellectual Patent Society as the Vice President since 2004.
References
He Y. , Wang Q.G. , Xie L. , Lin C. 2007 “Further improvement of free-weighting matrices technique for systems with time-varying delay,” IEEE Transactions on Automatic Control 52 293 - 299    DOI : 10.1109/TAC.2006.887907
Park P.G. , Ko J. Wan 2007 “Stability and robust stability for systems with a time-varying delay,” Automatica 43 1855 - 1858    DOI : 10.1016/j.automatica.2007.02.022
Qian W. , Karimi H.R. 2013 “New delay-dependent stability conditions for time-varying delay systems,” Mathematical Problems in Engineering 40 1435 - 1439
Qian W. , Cong S. , Li T. , Fei S. 2012 “Improved stability conditions for systems with interval time-varying delay,” International Journal of Control, Automation, and Systems 10 1146 - 1152    DOI : 10.1007/s12555-012-0609-9
Kwon O.M. , Park M.J. , Park J.H. , Lee S.M. , Cha E.J. 2012 “New delay-partitioning approaches to stability criteria for uncertain neutral systems with time-varying delays,” Journal of the Franklin Institute 349 2799 - 2823    DOI : 10.1016/j.jfranklin.2012.08.013
Kim J.H. 2011 “Note on stability of linear systems with time-varying delay,” Automatica 47 2118 - 2121    DOI : 10.1016/j.automatica.2011.05.023
Park M.J. , Kwon O.M. , Park J.H. , Lee S.M. 2011 “A new augmented Lyapunov-Krasovskii functional approach for stability of linear systems with time-varying delays” Applied Mathematics and Computation 217 7197 - 7209    DOI : 10.1016/j.amc.2011.02.006
Park P.G. , Ko J.W. , Jeong C. 2011 “Reciprocally convex approach to stability of systems with time-varying delays,” Automatica 47 235 - 238    DOI : 10.1016/j.automatica.2010.10.014
Seuret A. , Gouaisbaut F. 2013 “Wirtinger-based integral inequality: Application to time-delay systems,” Automatica 49 2860 - 2866    DOI : 10.1016/j.automatica.2013.05.030
Gu K. 2000 “An integral inequality in the stability problem of time-delay systems,” Proc. the 39th IEEE Conference on Decision and Control 2805 - 2810
Liu J. , Zhang J. 2012 “Note on stability of discrete-time time-varying delay systems,” IET Control Theory Appl. 6 335 - 339    DOI : 10.1049/iet-cta.2011.0147
Zhu X.L. , Yang G.H. , Li T. , Lin C. , Guo L. 2009 “LMI stability criterion with less variables for time-delay systems,” International Journal of Control, Automation and Systems 7 530 - 535    DOI : 10.1007/s12555-009-0404-4
Kim S.H. , Park P. , Jeong C.K. 2010 “Robust $H_\infty$ stabilisation of networks control systems with packet analyser,” IET Contr. Theory Appl. 4 (9) 1828 - 1837    DOI : 10.1049/iet-cta.2009.0346
Fridman E. , Shaked U. 2002 “An improved stabilization method for linear time-delay systems,” IEEE Transactions on Automatic Control 47 1931 - 1937    DOI : 10.1109/TAC.2002.804462
Zhang X.M. , Wu M. , She J.H. , He Y. 2005 “Delay-dependent stabilization of linear systems with time-varying state and input delays,” Automatica 41 1405 - 1412    DOI : 10.1016/j.automatica.2005.03.009
Sun J. , Liu G.P. , Chen J. 2009 “Delay-dependent stability and stabilization of neutral time-delay systems,” International Journal of Robust and Nonlinear Control 19 1364 - 1375    DOI : 10.1002/rnc.1384
Kwon O. M. , Park J. H. 2009 “Delay-range-dependent stabilization of uncertain dynamic systems with interval time-varying delays,” Applied Mathematics and Computation 208 58 - 68    DOI : 10.1016/j.amc.2008.11.010
Kwon O.M. , Park M.J. , Park J.H. , Lee S.M. , Cha E.J. 2013 “Stability and stabilization for discrete-time systems with time-varying delays via augmented Lyapunov-Krasovskii functional,” Journal of the Franklin Institute 350 521 - 540
Park M.J. , Kwon O.M. , Park J.H. , Lee S.M. , Kim K.H. 2012 “Randomly occurring leader-following consensus criterion for multi-agent systems with communication delay” Proc. Control, Automation and Systems (ICCAS), 2012 12th International Conference on 883 - 886
Qian W. , Cong S. , Sun Y. , Fei S. 2009 “Novel robust stability criteria for uncertain systems with time-varying delay,” Applied Mathematics and Computation 215 866 - 872    DOI : 10.1016/j.amc.2009.06.022
Wu M. , He Y. , She J.H. , Liu G.P. 2004 “Delay-dependent criteria for robust stability of time-varying delay systems,” Automatica 40 1435 - 1439    DOI : 10.1016/j.automatica.2004.03.004
Xu S. , Lam J. , Zou Y. 2005 “Further results on delay-dependent robust stability conditions of uncertain neutral systems,” International Journal of Robust and Nonlinear Control 15 233 - 246    DOI : 10.1002/rnc.983
He Y. , Wu M. , She J.H. , Liu G.P. 2004 “Delay-dependent robust stability criteria for uncertain neutral systems with mixed delays,” Systems and Control Letters 51 57 - 65    DOI : 10.1016/S0167-6911(03)00207-X
Li T. , Guo L. , Zhang Y. 2008 “Delay-range-dependent robust stability and stabilization for uncertain systems with time-varying delay,” International Journal of Robust and Nonlinear Control 18 1372 - 1387    DOI : 10.1002/rnc.1280
Fridman E. , Shaked U. 2003 “Delay-dependent stability and H∞ control: constant and time-varying delays,” International Journal of Control 76 48 - 60    DOI : 10.1080/0020717021000049151
Gao H. , Wang C. 2003 “Comments and further results on “A descriptor system approach to H∞ control of linear time-delay systems”,” IEEE Transactions on Automatic Control 48 520 - 525    DOI : 10.1109/TAC.2003.809154
Yan H. , Zhang H. , Meng M.Q.H. 2010 “Delay-range-dependent robust H∞ control for uncertain systems with interval time-varying delays,” Neurocomputing 73 1235 - 1243    DOI : 10.1016/j.neucom.2010.01.004
De Souza C.E. , Li X. 1999 “Delay-dependent robust H∞ control of uncertain linear state-delayed systems,” Automatica 35 1313 - 1321    DOI : 10.1016/S0005-1098(99)00025-4
Yao J. , Guan Z.H. , Chen G. , Ho D.W.C. 2006 “Stability, robust stabilization and H∞ control of singular-impulsive systems via switching control,” Systems and Control Letters 55 879 - 886    DOI : 10.1016/j.sysconle.2006.05.002
Zames G. 1981 “Feedback and optimal sensitivity: Model reference transformations, multiplicative semi norms, and approximate inverses,” IEEE Transactions on Automatic Control 26 301 - 320    DOI : 10.1109/TAC.1981.1102603
Gao H. , Wu J. , Shi P. 2009 “Robust sampled-data H∞ control with stochastic sampling,” Automatica 45 1729 - 1736    DOI : 10.1016/j.automatica.2009.03.004
Wang Z. , Ho D.W.C. , Liu Y. , Liu X. 2009 “Robust H∞ control for a class of nonlinear discrete time-delay stochastic systems with missing measurements,” Automatica 45 684 - 691    DOI : 10.1016/j.automatica.2008.10.025
Wang Z. , Wang Y. , Liu Y. 2010 “Global synchronization for discrete-time stochastic complex networks with randomly occurred nonlinearities and mixed time delays,” IEEE Transactions on Neural Networks 21 11 - 25    DOI : 10.1109/TNN.2009.2033599
Hu J. , Wang Z. , Gao H. , Stergioulas L.K. 2012 “Robust sliding mode control for discrete stochastic systems with mixed time delays, randomly occurring uncertainties, and randomly occurring nonlinearities,” IEEE Transactions on Industrial Electronics 29 3008 - 3015
Boyd S. , Ghaoui El , Feron E. , Balakrishnan V. 1994 Linear Matrix Inequalities in System and Control Theory, Studies in Applied Mathematics SIAM Philadelphia
de Oliveira M.C. , Skelton R.E. 2001 Stability tests for Constrained Linear systems Springer-Verlag Berlin
Wang Y. , Xie L. , de Souza C.E. 1992 “Robust control of a class of uncertain nonlinear systems,” Systems and Control Letters 19 139 - 149    DOI : 10.1016/0167-6911(92)90097-C