Hindawi Publishing Corporation Journal of Applied Mathematics Volume 2013, Article ID 319415, 8 pages http://dx.doi.org/10.1155/2013/319415 Research Article Memory State-Feedback Stabilization for a Class of Time-Delay Systems with a Type of Adaptive Strategy Lin Chai1,2 and Shumin Fei1,2 1 2 Key Laboratory of Measurement and Control of Complex Systems of Engineering, Southeast University, Nanjing 210096, China School of Automation, Southeast University, Nanjing 210096, China Correspondence should be addressed to Lin Chai; chailin 1@163.com Received 31 December 2012; Revised 20 May 2013; Accepted 13 June 2013 Academic Editor: Constantinos Siettos Copyright © 2013 L. Chai and S. Fei. 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. Stabilization of a class of systems with time delay is studied using adaptive control. With the help of the “error to error” technique and the separated “descriptor form” technique, the memory state-feedback controller is designed. The adaptive controller designed can guarantee asymptotical stability of the closed-loop system via a suitable Lyapunov-Krasovskii functional. Some sufficient conditions are derived for the stabilization together with the linear matrix inequality (LMI) design approach. Finally, the effectiveness of the proposed control design methodology is demonstrated in numerical simulations. 1. Introduction Time delay is one of the instability sources for various systems in practice. With the aid of memoryless state-feedback controllers, Choi and Chung [1] extended the Riccati equation approach to uncertain dynamic systems with time-varying delay in both the system state and control. Since that, considerable attention has been devoted to the problem of delay-dependent stability analysis and controller design for time-delay systems; see, for example, Fridman [2, 3], where the functional was based on the “descriptor form,” Liu et al. [4] and He et al. [5], where free weighting matrix technique and Leibniz-Newton formula were utilized to reduce the conservativeness, Park and Jeong [6], where delay-upperbounded state was exploited, and Tian and Zhou [7], where a less conservative conclusion was investigated on neural networks by integral inequality and taking delay upper bound into account. By constructing the whole state-space trajectory solution, De la Sen [8] investigated the stabilization problems for time-delay time-invariant systems and switched dynamic systems with incommensurate point delays. Some robust controllers for uncertain time-delay systems can also be seen in Tsai et al. [9], Han [10], Chen et al. [11], and Zheng et al. [12], where some different kinds of functional were employed to design controllers. Apparently, the memory state-feedback controller is less conservative than the memoryless one [4], as the former can take delayed states into account. However, the memory control results in the mentioned results require precise information of the time delay; that is, the time-delay parameter must be known exactly. If this crucial piece of information is not available, the memory control schemes developed so far cannot be implemented. For these papers mentioned above, only stability analysis can be pursued for systems with unknown time-delay parameter. To the best of the authors’ knowledge, few results have been reported to design memory controllers with unknown time-delay parameter. Jiang et al. [13] provided a type of memory controller with adaptation to the unknown delay parameter; however, the estimate value of the unknown delay was limited to be larger than its real value, which results in the adaptive regulation being unavailable in practice. The bound of the unknown delay was not used to construct the adaptive controller, which is an important factor in leading conservatism. In addition, the LMIs seem unsolvable. Specifically, unknown matrixes like π and π−1 exist in the same LMI. On the other hand, the aforementioned results have not considered the time-delay effect which is actually very common in input. The problem of memory state-feedback controllers for systems with control input delay and available adaptation to unknown time-delay parameter remains open, which motivates the research in this paper. 2 Journal of Applied Mathematics The main contributions of this paper can be illustrated in the following two aspects: (1) for the unknown time-delay parameter, a new adaptive strategy design method is proposed, considering both the current estimate value and the bound of the time-delay; (2) this work simultaneously constructs a memory controller for a class of systems, which are delayed in the system state, control input, and system matrix. This paper is organized as follows: in Section 2, we first formulate the problem of the memory controller and adaptive regulation for a class of time-delay systems of a particularly complex nature, since the unknown delay parameter exists in the system state, control input, and system matrix. A lemma is provided to introduce the novel kind of adaptive idea, which can be described as the error to error adaptive technique. In Section 3, for the stabilization problem, by using the function based on “descriptor form” and the technique of separation, the memory controller and the adaptive regulation for the unknown delay parameter can be obtained despite the delayed control input. The bound of the unknown delay parameter is considered in the adaptive strategy, which guarantees the less conservatism. The estimate value is not limited to be larger than the real value; what is more is that it is contained in the memory controller, and thus the conservatism can be reduced further. All the necessary matrixes can be obtained by calculating a solvable LMI. In Section 4, a numerical example is presented to demonstrate the effectiveness of the design method. Finally, several formulations are collected in the appendices. 2. Problem Statements Consider the following class of time-delay systems as follows: π₯Μ (π‘) = π΄π₯ (π‘) + π΄ (π1 ) π₯ (π‘ − π1 ) + π΅π’ (π‘ − π2 ) , π₯ (π‘) = π (π‘) , ∀π‘ ∈ [− max (π1 , π2 ) , 0] , (1) where π₯(π‘) ∈ π π is the state vector and π’(π‘) ∈ π π1 is the control input vector. π΄, π΅ are known constant matrices with appropriate dimensions, and π΄(π1 ) is the matrix depending on π1 . π2 ≥ 0 is the time delay in control input with known value. π1 ≥ 0 is the time delay in system state which is not known exactly, but the upper bound π1∗ and the lower bound π1∗ are available. π(π‘) ∈ πΆ[−π, 0] is a given continuous vector-valued initial function of system (1). Moreover, there exists a positive constant β1 such that 0 < π1∗ ≤ β1 ≤ π1∗ holds. Generally, the value β1 can be chosen as the mean value between π1∗ and π1∗ ; that is, β1 = (π1∗ + π1∗ )/2. Assumption 1. The system matrix π΄(π1 ) is composed of a constant matrix π΄ 1 and a matrix π΄ 2 (π1 ) which is linear with π1 ; that is, π΄ (π1 ) = π΄ 1 + π1 π΄ 2 (π1 ) . (2) Remark 2. The system matrix π΄(π1 ) is a function of the state delay, which can be seen in the model of measuring intensity for nuclear physics system obtained by [14]. So the problem of stabilization for this type of systems is of some practical significance, and the difficulty in constructing controllers is obvious. We consider the following feedback controller with memory, with all time delays known: π’ (π‘) = πΎ1 π₯ (π‘) + πΎ2 π₯ (π‘ − π1 ) + π1 πΎ3 π₯ (π‘ − π1 ) . (3) If the time-delay constant π1 of system (1) is not known exactly, which has been introduced above, our main result on memory feedback controller with adaptation to delay parameter for system (1) is presented as follows: 2 π1 (π‘) − β1 ) ) π’ (π‘) = πΎ1 π₯ (π‘) + πΎ2 π₯ (π‘ − π1 πΜ1 (π‘) − (Μ 2 π1 (π‘) − β1 ) ) + (π1 πΜ1 (π‘) + (Μ (4) 2 × πΎ3 π₯ (π‘ − π1 πΜ1 (π‘) − (Μ π1 (π‘) − β1 ) ) , where πΜ1 (π‘) is the estimate value of the unknown delay π1 (π‘) − β1 ) + π1 ] ≤ 0, for all parameter π1 , satisfying πΜΜ1 (π‘)[2(Μ π1 (π‘) − π‘ ≥ 0. By using past state information, (π1 πΜ1 (π‘) + (Μ β1 )2 )πΎ3 π₯(π‘ − π1 πΜ1 (π‘) − (Μ π1 (π‘) − β1 )2 ) in the controller (4) is designed for π1 π΄ 2 (π1 ) in system (1); thus the controller allows for the property of the time-delay system. The constants π1 , β1 and the matrices πΎπ (π = 1, 2, 3) wait to be determined. The objective of this paper is to stabilize the system (1) by using the controller (4), obtaining the adaptation law for πΜ1 (π‘), which is everywhere time differentiable, at the same time. In order to prove our results, we introduce the following lemmas. Lemma 3 (see [15]). Given matrices π and π with the appropriate dimensions, ππ π + ππ π ≤ ππ ππ + πππ−1 π, ∀π > 0. (5) Lemma 4. Considering the following gain adaptive law for the estimator π1 (π‘) − β1 ) + π1 ] π (π‘) , πΜΜ1 (π‘) = − [2 (Μ (6) where π1 and β1 are positive constants and π(π‘) ≥ 0 is a positive derivative function, which will be determined later. If we choose π1 and β1 with the following equations: 2 β1 = √β1 + β1 , 2 π1 = 2 (√β1 + β1 − β1 ) , (7) then πΜ1 (π‘) is bounded, and π1 πΜ1 (π‘) + (Μ π1 (π‘) − β1 )2 can be bounded with β1 . Proof. From (6), it is obvious that πΜ1 (π‘) satisfies πΜΜ1 (π‘)[2(Μ π1 (π‘)− β1 ) + π1 ] ≤ 0, for all π‘ ≥ 0. Let us prove the boundedness of πΜ1 (π‘), for which a π1 (π‘)) = πΜ12 (π‘)/2. Lyapunov function can be constructed as π(Μ The time derivative of π(Μ π1 (π‘)) along the adaptive strategy of (6) is π1 (π‘) [2 (Μ π1 (π‘) − β1 ) + π1 ] π (π‘) . πΜ (Μ π1 (π‘)) = −Μ (8) Journal of Applied Mathematics 3 If πΜ1 (π‘) > (2β1 − π1 )/2, it results in πΜ (Μ π1 (π‘)) < πΜ1 (π‘) π (π‘) ≤ 0, (9) 2 where π = max(π1∗ , π21 +2π1∗ (√β1 + β1 −β1 )+π2 ). Considering the “descriptor form” in [2, 3], we can rewrite (13) as π₯Μ (π‘) = π¦ (π‘) + π§ (π‘) , which implies the boundedness of πΜ1 (π‘) at (2β1 − π1 )/2. If πΜ1 (π‘) ≤ (2β1 − π1 )/2, together with (8), we have π1 (π‘)) ≥ πΜ1 (π‘) π (π‘) ≥ 0. πΜ (Μ (10) Therefore, πΜ1 (π‘) is increased only when it is less than (2β1 − π1 )/2. Once πΜ1 (π‘) = (2β1 − π1 )/2, πΜ1 (π‘) will be fixed at this value. Then from (7) yields 2β − π1 πΜ1 (π‘) = 1 = 2 2 2 2√β1 + β1 − 2 (√β1 + β1 − β1 ) 2 = β1 . It can also be obtained that if πΜ1 (π‘) is fixed at (2β1 − π1 )/2, the value of π1 πΜ1 (π‘) + (Μ π1 (π‘) − β1 )2 can also be bounded as follows: 2 π1 πΜ1 (π‘) + (Μ π1 (π‘) − β1 ) = β12 − 2 β1 = β1 + 2 β1 − 2 β1 π§ (π‘) = π΅πΎ1 π₯ (π‘ − π2 ) + [π΅πΎ2 + (π1 πΜ1 (π‘ − π2 ) + (Μ π1 (π‘ − π2 ) − β1 ) ) π΅πΎ3 ] 2 − (Μ π1 (π‘ − π2 ) − β1 ) ) which yields consequently π¦ (π‘) + π§ (π‘) = [π΄ + π΄ 1 + π1 π΄ 2 (π1 ) + π΅πΎ] π₯ (π‘) − [π΄ 1 + π1 π΄ 2 (π1 )] ∫ π‘ (12) − π΅πΎ1 ∫ π‘−π2 π‘ − π΅πΎ2 ∫ π‘−π3 − π4 π΅πΎ3 ∫ Remark 5. πΜ1 (π‘) is the estimate value of the unknown delay π1 (π‘) − β1 ) + π1 ] ≤ 0. Then constant π1 , satisfying πΜΜ1 (π‘)[2(Μ πΜΜ1 (π‘)[Μ π1 (π‘) − β1 ] ≤ 0 can be obtained by fixing β1 and π1 in Lemma 4. Apparently, the difference between πΜ1 (π‘) and β1 determines the variation of πΜ1 (π‘). So the adaptive strategy for πΜ1 (π‘) is based on a novel type of adaptive idea, which can be described as error to error adaptive technique. This adaptive strategy imposes no limitation on the estimate value. It also guarantees πΜ1 (π‘) always in its bound; that is, 0 < π1∗ ≤ πΜ1 (π‘) ≤ π1∗ , for πΜ1 (π‘) can be fixed at β1 . 3. Main Results Using the controller (4), the closed-loop system (1) can be written as π₯Μ (π‘) = π΄π₯ (π‘) + [π΄ 1 + π1 π΄ 2 (π1 )] π₯ (π‘ − π1 ) + π΅πΎ1 π₯ (π‘ − π2 ) + [π΅πΎ2 + (π1 πΜ1 (π‘ − π2 ) π‘ 2 ∀π‘ ∈ [−π, 0] , (π¦ (π ) + π§ (π )) ππ with πΎ = πΎ1 + πΎ2 + π3 πΎ3 , and π3 = π4 = π2 + π1 πΜ1 (π‘ − π2 ) + (Μ π1 (π‘ − π2 ) − β1 )2 . Μ Remark 6. By separating the “descriptor form” π₯(π‘) into two parts π¦(π‘) and π§(π‘), the specific adaptive regulation constructed later can be obtained in spite of the control input delay. For systems (15a) and (16a), we consider the following Lyapunov-Krasovskii functional as π 2 π1 (π‘ − π2 ) − β1 ) + π1 ] , π (π₯π‘ ) = π1 (π₯π‘ ) + π2 (π₯π‘ ) + [2 (Μ 2 (17) π π₯ ], πΈ = [ 0πΌ 00 ], where π1 (π₯π‘ ) = π₯π ππ₯ = [π₯π (π¦ + π§)π ] πΈπ [ π¦+π§ π π1 π = [ 0 π2 ], 3 − (Μ π1 (π‘ − π2 ) − β1 ) ) , π₯ (π‘) = π (π‘) , (π¦ (π ) + π§ (π )) ππ (16a) 0 π‘ π π2 (π₯π‘ ) = ∑ ∫ ∫ (13) (π¦ (π ) + π§ (π )) ππ (π¦ (π) + π§ (π)) ππ π‘−π4 × (π‘ − π2 − π1 πΜ1 (π‘ − π2 ) π‘ π‘−π1 This completes the proof. + (Μ π1 (π‘ − π2 ) − β1 ) ) π΅πΎ3 ] π₯ (15a) × π₯ (π‘ − π2 − π1 πΜ1 (π‘ − π2 ) = β1 . 2 (14) where 2 (11) 2 2β − π1 2β − π1 = π1 1 +( 1 − β1 ) 2 2 2 4π β − π1 = 1 1 4 π1 (4β1 − π1 ) = 4 π¦ (π‘) = π΄π₯ (π‘) + [π΄ 1 + π1 π΄ 2 (π1 )] π₯ (π‘ − π1 ) , π=1 −ππ (π¦ (π ) + π§ (π )) π‘+π π × π΄π ππ−1 π΄π (π¦ (π ) + π§ (π )) ππ ππ 0 + π4 ∫ −π4 ∫ π‘ π‘+π π (π¦ (π ) + π§ (π )) π × π΄4 π4−1 π΄4 (π¦ (π ) + π§ (π )) ππ ππ, (18) 4 Journal of Applied Mathematics with π΄1 = π΄ 1 + π1 π΄ 2 (π1 ), π΄2 = π΅πΎ1 , π΄3 = π΅πΎ2 , π΄4 = π΅πΎ3 , π΄5 = π4 π΄4 , π > 0, β1 > 0, and π1 > 0 being constants, and matrices π > 0, ππ > 0 (π = 1, 2, 3, 4) are waiting to be determined. π 0 π₯ ] π4 ≤ π42 [π₯π (π¦ + π§)π ] π [ ] π 4 [0 πΌ] π [ πΌ π¦+π§ + π4 ∫ π‘ π π π‘−π4 (π¦ (π ) + π§ (π )) π΄4 π 4−1 π΄4 (π¦ (π ) + π§ (π )) ππ , (22) π Remark 7. It is easy to see that π1 (π₯π‘ ) = π₯ ππ₯ > 0 and π2 (π₯π‘ ) ≥ 0. From (13), (15a), and (16a), it is not difficult to observe that if the norm of π₯(π‘) diverges to infinity, then π1 (π₯π‘ ) will also diverge to infinity. If π΄π for π = 1, 2, 3, 4 are singular, thus π2 (π₯π‘ ) = 0. Otherwise, the norms of π¦(π‘) and π§(π‘) are also infinite when the norm of π₯(π‘) is unbounded, resulting in π2 (π₯π‘ ) diverging to infinity. Thus the LyapunovKrasovskii functional π(π₯π‘ ) defined in (17) can be guaranteed to be radially unbounded, that is, a well-posed candidate Lyapunov functional. π 0 π₯ π5 ≤ π1 [π₯π (π¦ + π§)π ] π [ ] π5 [0 πΌ] π [ ] πΌ π¦+π§ + π1 π₯ (π΄ 2 (π1 )) π + (π¦ + π§) π2 π π π2π (π¦ + π§) = π₯π π1 π π π1π π₯ + 2π₯π π1 π π π2π (π¦ + π§) + 2π§π π2 π π π2π π¦ + π¦π π2 π π π2π π¦ + π§π π2 π π π2π π§, π π (π¦ + π§) ] [ 0 π1 ] 2 π (24) π3 = π2 + π1 πΜ1 (π‘ − π2 ) + (Μ π1 (π‘ − π2 ) − β1 ) 1 2 = {[2 (Μ π1 (π‘ − π2 ) − β1 ) + π1 ] − π12 + 4β1 π1 } + π2 , 4 π¦+π§ 0 ] ]+[ π1 π΄ 2 (π1 ) π₯ π΄π₯ − π¦ − π§ 2 2 π42 = [π2 + π1 πΜ1 (π‘ − π2 ) + (Μ π1 (π‘ − π2 ) − β1 ) ] 2 2 + 2π2 π1 πΜ1 (π‘ − π2 ) + 2π2 (Μ π1 (π‘ − π2 ) − β1 ) 5 π¦+π§ π π1 ][ = 2 [π₯π (π¦ + π§)π ] [ ] − ∑ππ , 0 π2 π΄π₯ − π¦ − π§ π=1 (19) 2 2 π4 (π‘) = −2 ∫ π‘ π‘−π4 (π = 1, 2, 3) , 0 [π₯π (π¦ + π§)π ] π [ ] π΄5 πΌ 4 = π12 (Μ π1 (π‘ − π2 )) + (Μ π1 (π‘ − π2 ) − β1 ) 2 + 2π1 πΜ1 (π‘ − π2 ) (Μ π1 (π‘ − π2 ) − β1 ) 1 2 + π2 {[2 (Μ π1 (π‘ − π2 ) − β1 ) + π1 ] − π12 + 4β1 π1 } . 2 Besides, 0 [π₯π (π¦ + π§)π ] π [ ] π΄π πΌ × (π¦ (π ) + π§ (π )) ππ 0 (20) π π‘ Μ π π΄π ππ−1 π΄π π₯Μ (π ) ππ ππ) π (∫−π ∫π‘+π π₯(π ) π = ππΜ (π‘) ∫ × (π¦ (π ) + π§ (π )) ππ . ππ‘ π‘ π π‘−ππ 0 Μ π π΄π ππ−1 π΄π π₯Μ (π ) ππ π₯(π ) π Μ π π΄π ππ−1 π΄π π₯Μ (π‘) + ∫ [π₯(π‘) By means of Lemma 3, we have −ππ π Μ + π)π π΄π ππ−1 π΄π π₯Μ (π‘ + π)] ππ, − π₯(π‘ 0 π₯ ππ ≤ ππ [π₯π (π¦ + π§)π ] π [ ] π π [0 πΌ] π [ ] πΌ π¦+π§ π +∫ π‘ π‘−ππ π (25) + 2π1 πΜ1 (π‘ − π2 ) (Μ π1 (π‘ − π2 ) − β1 ) where π΄ = π΄ + π΄ 1 + π΅πΎ, π5 (π‘) = −2 [π₯π (π¦ + π§)π ] π [ 0πΌ ] π1 π΄ 2 (π1 )π₯, π‘−ππ 4 = π22 + π12 (Μ π1 (π‘ − π2 )) + (Μ π1 (π‘ − π2 ) − β1 ) π‘ 0 − [ ] ∫ (π¦ (π ) + π§ (π )) ππ } π΄5 π‘−π4 π‘ π = 3, 4, 2 3 π‘ 0 − ∑ [ ] ∫ (π¦ (π ) + π§ (π )) ππ π΄π π‘−ππ π=1 ππ (π‘) = −2 ∫ (π1 ) π₯. = π₯π π1 π π π1π π₯ + 2π₯π π1 π π π2π (π¦ + π§) π π1 π¦ + π§ ][ = 2 [π₯π (π¦ + π§)π ] [ ] 0 π2 0 × {[ (23) π 0 π₯ [π₯π (π¦ + π§)π ] π [ ] π π [0 πΌ] π [ ] πΌ π¦+π§ π1Μ (π₯π‘ ) = 2π₯π π (π¦ + π§) = 2 [π₯ π5−1 π΄ 2 Note that Hence, the derivative of π1 (π₯π‘ ) along the systems (15a) and (16a) is given by π π π 0 π π‘ Μ π π΄4 π4−1 π΄4 π₯Μ (π ) ππ ππ) π (∫−π ∫π‘+π π4 (π‘) π₯(π ) 4 π (π¦ (π ) + π§ (π )) π΄π π π−1 π΄π (π¦ (π ) + π§ (π )) ππ , π‘ (21) = π4Μ (π‘) ∫ π‘−π4 ππ‘ π Μ π π΄4 π4−1 π΄4 π₯Μ (π ) ππ π4 (π‘) π₯(π ) π = 1, 2, 3, Journal of Applied Mathematics +∫ 0 5 π −π4 Μ π π΄4 π4−1 π΄4 π₯Μ (π‘) π4 (π‘) [π₯(π‘) +∫ 0 −π4 ∫ π‘ π‘+π π Μ π4Μ (π‘) π₯(π ) π π΄4 ππ−1 π΄4 π₯Μ (π ) ππ ππ. π1 (π‘) − β1 ) + π1 ] ≤ 0, that is, πΜΜ1 (π‘ − π2 )[2(Μ π1 (π‘ − Since πΜΜ1 (π‘)[2(Μ π2 ) − β1 ) + π1 ] ≤ 0, and π3Μ (π‘) = π4Μ (π‘) π=1 π=1 π Ξ33 = ∑ππ π2 ππ π2π + π1 π2 π5 π2π − π2 − π2π π=1 3 π 1 + ∑ππ π΄π ππ−1 π΄π + [ (4β1 π1 − π12 ) + π2 ] π2 , 4 π=1 π π3 π2π + πΜ6 π2 π4 π2π + πΜ4 π΄4 π4−1 π΄4 , 2 π (π2 + π1 πΜ1 (π‘ − π2 ) + (Μ π1 (π‘ − π2 ) − β1 ) ) ππ‘ = π1 πΜΜ1 (π‘ − π2 ) + 2 (Μ π1 (π‘ − π2 ) − β1 ) πΜΜ1 (π‘ − π2 ) π (π‘ − π ) − β )] , = πΜΜ (π‘ − π ) [π + 2 (Μ 1 4 2 (26) = 5 Ξ23 = ∑πΜπ π2 ππ π2π − π2 − π2π + ∑πΜπ π΄π ππ−1 π΄π = Ξ22 , π Μ + π)π π΄4 π4−1 π΄4 π₯Μ (π‘ + π)] ππ − π₯(π‘ 2 1 1 2 (27) (30) Results can be obtained as follows. 1 we can have 3 π π2Μ (π₯π‘ ) ≤ ∑ [ππ (π¦ (π‘) + π§ (π‘)) π=1 −∫ π‘ π π΄π ππ−1 π΄π π π‘−ππ (π¦ (π‘) + π§ (π‘)) π (π¦ (π ) + π§ (π )) π΄π ππ−1 π΄π (28) × (π¦ (π ) + π§ (π )) ππ ] π Μ π π΄4 π4−1 π΄4 π₯Μ (π‘) + π42 (π‘) π₯(π‘) − π4 (π‘) ∫ 0 −π4 π Let π π = ππ (π = 1, . . . , 4), according to (17)–(28), the following inequalities are obvious by means of Schur complement: Μ π Ξ0 π₯Μ (π‘) + [π1 + 2 (Μ πΜ (π₯π‘ ) ≤ π₯(π‘) π1 (π‘ − π2 ) − β1 )] 1 π1 (π‘ − π2 ) − β1 )] (29) × {ππΜΜ1 (π‘ − π2 ) + [π1 + 2 (Μ 4 × π§π π2 (π3 + 2π2 π4 ) π2π π§} , where Ξ11 Ξ12 Ξ13 Ξ0 = [ ∗ Ξ22 Ξ23 ] , [ ∗ ∗ Ξ33 ] 5 π Ξ11 = π1 π΄ + π΄ π1π + ∑πΜπ π1 ππ π1π π=1 π + π1 (π΄ 2 (π1 )) π5−1 π΄ 2 (π1 ) , π 5 Ξ12 = π − π1 + π΄ π2π + ∑πΜπ π1 ππ π2π = Ξ13 , π=1 πΜπ = ππ π = 1, 2, 3, πΜ4 = π42 , Theorem 8. Consider the time-delay system (1) with unknown time-delay parameter π1 ; the system (1) can be stabilized by the state-feedback controller (4) if there exist matrices ππ (π = 1, 2, 3) and positive-definite matrices π, ππ (π = 1, . . . , 4) such that the linear matrix inequalities (32) hold, with the parameters π1 and β1 selected as (7) in Lemma 4. Moreover, the adaptive strategy about the unknown delay constant π1 can be obtained from (31), and the feedback gains of the controller (4) are given by πΎπ = ππ π−1 (π = 1, 2, 3). Proof. Consider the following adaptive control: Μ + π)π π΄4 π4−1 π΄4 π₯Μ (π‘ + π) ππ. π₯(π‘ Μ π = [π₯π π¦π π§π ] , π₯(π‘) 1 2 πΜ6 = πΜ4 − π2 [2(Μ π1 (π‘ − π2 ) − β1 ) + π1 ] . 2 πΜ5 = π1 , 1 πΜΜ1 (π‘ − π2 ) = − [π1 + 2 (Μ π1 (π‘ − π2 ) − β1 )] π§π π2 4π × (π3 + 2π2 π4 ) π2π π§. That is, (31) 1 πΜΜ1 (π‘) = − [π1 + 2 (Μ π1 (π‘) − β1 )] π (π‘) , 4π where π(π‘) = π§(π‘ + π2 )π π2 (π3 + 2π2 π4 )π2π π§(π‘ + π2 ) satisfying the adaptive strategy as (6) in Lemma 4. Thus by using def Μ π‘ ) ≤ π₯Μπ (π‘)Ξ0 π₯(π‘). Μ (29), we have π(π₯ So if π = Ξ0 < 0, under the action of the controller (4), the system (1) will be asymptotically stable. The most important work of the memory feedback control problem is how to solve the matrix inequality π < 0. Obviously, there exists π(π1 ) ≤ π(π1∗ ), for Μ π‘ ) < 0 satisfied, π1 ≤ π1∗ . So π(π1∗ ) < 0 can guarantee π(π₯ which means that the time-delay system (8) is asymptotically def stabilizable by using feedback controller (4). Let Ξ = π(π1∗ ), π and consider the Lyapunov matrix π with πΈπ = ππΈ. In this case, we can suggest that the π1 and π2 in π can be substituted as π1 = π1 /π2 π and π2 = 1/π2 π, where π1 and π2 are real scalars. In this way, we can solve the above problem; furthermore, by making π1 and π2 line search parameters (i.e., plain search), we anticipate that less conservative conditions are given. Now before and after multiplying both sides of Ξ < 0 by diag (π1 π2 π3 ), where π1 = π1−1 = π2 /π1 π, π2 = π3 = π2−1 = π2 π, and π = π−1 . After substituting 6 Journal of Applied Mathematics 2 2 β1 = √β1 + β1 and π1 = 2(√β1 + β1 − β1 ) into Ξ < 0, the following linear matrix inequalities can be obtained by applying Schur complement. Consider Μ1 ⋅ ⋅ ⋅ Ξ Μ5 Ξ Ξ Μ π M1 ] [Ξ 1 ] Μ=[ Ξ ] < 0, [ .. ] [ . d π Μ M5 ] [Ξ 5 πΜ1 (−π) = 0.2, (32) Μπ Μπ = [0 π2 π΄ 1 π π2 π΄ 1 π], Ξ = where Ξ 1 π+1 [0 π2 π΅2 ππ π2 π΅2 ππ 01 ⋅ ⋅ ⋅ 0π ], π = 1, 2, 3, ππ = −(ππ∗ )−1 ππ , π = 1, 2, 3, π2∗ = π2 , π4 = −(Μ π4∗ )−1 π4 , π5 = −(π1∗ )−1 π5 , Μ π = [π2 /π1 π΄ 2 (π1 )π 01 ⋅ ⋅ ⋅ 06 ], ππ = πΎπ π, π = 1, 2, Ξ 5 Ξ=[ Ξ11 Ξ12 Ξ13 ∗ Ξ22 Ξ23 ∗ ∗ Ξ33 ], Ξ11 = π2 /π1 (π΄ + π΄ 1 )π + π2 /π1 ∑3π=1 π΅2 ππ + π2 /π1 π(π΄ + π΄ 1 )π + π2 /π1 ∑3π=1 (π΅2 ππ )π + ∑5π=1 πΜπ∗ ππ , Ξ12 = π2 /π1 (π2 − π1 )π + π2 /π1 π(π΄ + π΄ 1 )π + π2 /π1 ∑3π=1 (π΅2 ππ )π + ∑5π=1 πΜπ∗ ππ = Ξ13 , Ξ23 = ∑5π=1 πΜπ∗ ππ − 2π2 π = Ξ22 , and Ξ33 = ∑2π=1 ππ∗ ππ + π5∗ π5 − 2π2 π + (β1 + π2 )π3 + πΜ6∗ π4 . πΜπ = ππ , π = 1, 2, 3, πΜ5 = π1 , πΜ4 = π42 , and πΜ6 = πΜ4 − π2 (1/2) [2(Μ π1 (π‘ − π2 ) − β1 ) + π1 ]2 . The linear matrix inequality (32) can be directly solved by LMI toolbox in MATLAB software, and the matrices ππ (π = 1, 2, 3) and positive-definite matrices π, π3 , and π4 can also be acquired. Consequently, we have πΎπ = ππ π−1 (π = 1, 2, 3). Remark 9. For the value of π3∗ , πΜ4∗ , and πΜ6∗ see Appendices. The LMI provided here is solvable, while, as for the results in Jiang et al. [13], unknown matrixes like π and π−1 exist in the same LMI, resulting in the LMI unsolvable. 4. Numerical Example We consider a system with the same structure as (1), and the model matrices are −4 14 π΄=[ ], −15 −3 −1 0 ], π΄2 = [ 0 −1 π΄1 = [ −1 0 ], 0 −1 8 π΅ = [ ]. 1 the global minimum for LMI (32) is π‘min = −2.4706π − 007, while by, the controller proposed in Jiang et al. [13], the global minimum π‘min = −2.4292π−008, which means that our result is less conservation. If the initial conditions are chosen as (33) The known time delay in control input is π2 = 0.008. We consider the following uncertainty in the time delay π1 : π1 ∈ [0.2, 0.3]; that is, the upper bound π1∗ = 0.3, the lower bound π1∗ = 0.2, and β1 is selected as (π1∗ + π1∗ )/2 = 0.25. 2 According to Lemma 4, we can select β1 = √β1 + β1 = 2 0.559, and π1 = 2(√β1 + β1 − β1 ) = 0.618. By applying Theorem 8, the feasible solution can be obtained with πΎ1 = [0.5501 −1.6962], πΎ2 = 1.0π − 006 ∗ [0.0806 −0.1576], πΎ3 = 1.0π − 005 ∗ [0.0575 −0.1365], and π2 (π3 + π4 )π2π = 0.0026 Μ4∗ = πΜ∗ = max{Μ π(Μ π1 (π‘ − π2 ) = [ 0.0126 0.0026 0.0006 ]. Moreover π ∗ {π1 , π1∗ })} = 0.0623 can be obtained from Appendix B. And 2 sin 4π (π‘ − π) ] [ π1 (π‘) π ] [ ]=[ [ 3 sin 4π (π‘ − π) ] , π2 (π‘) − ] [ π −π ≤ π‘ ≤ 0, (34) where π = max(π1∗ , π21 + π1∗ π1 + π2 ) = π1∗ = 0.3, and the parameter π is chosen as π = 0.4, then the system state under adaptive memory controller is shown in Figure 1. At this time, the estimate value of the unknown time-delay parameter, that is, πΜ1 (π‘), is shown in Figure 2. Remark 10. In Jiang et al. [13], πΜ1 (π‘) was limited to be larger than the real unknown value π1 . However, since π1 is unknown, it is difficult to satisfy the limitation. So the memory controller with such πΜ1 (π‘) cannot be implemented as it was described. Besides, πΜ1 (π‘) remains decreasing until the system is stabilized. If the memory controller does not perform well, πΜ1 (π‘) will remain decreasing, which deteriorates the function of the controller. In this paper, πΜ1 (π‘) is maintained between the lower bound π∗ and the upper bound π∗ , which is much easier to be implemented. With the error to error adaptive technique, πΜ1 (π‘) will always stay between π∗ and π∗ , so the memory controller with such πΜ1 (π‘) can allow for more information of the system, which reduces the conservativeness. 5. Conclusions In this paper, the problem of memory feedback controller with adaptation to unknown time delay parameter is addressed. The system investigated is with time delay in system state, control input, and system matrix, and additionally the state time-delay is unknown. By using a novel type of adaptive strategy with the idea of error to error and separated “descriptor form” functional technique, the estimate value of the time-delay constant can always be reflected by the feedback controller. Since more information in the system is presented, the controller proposed in this paper is much less conservative. Moreover, the adaptive strategy about timedelay parameter can achieve that no limitation is imposed on the estimate value, so it is more simple and convenient than the existing adaptive controllers. The sufficient condition for stabilization is presented in the form of LMI. To illustrate efficiency of the proposed technique, a numerical example has been provided. Appendices A. The Value of π3∗ π3 = π4 = π2 + π1 πΜ1 (π‘ − π2 ) + (Μ π1 (π‘ − π2 ) − β1 )2 as derivative of π3 (π‘) can be obtained for πΜ1 (π‘ − π2 ) ∈ [π1∗ , π1∗ ], and we have Journal of Applied Mathematics 7 π1 (π‘ − π2 ) − β1 ) + 2π2 π1 πΜ1 (π‘ − π2 ) + 2π2 (Μ 1 2 2 + 2π1 πΜ1 (π‘ − π2 ) (Μ π1 (π‘ − π2 ) − β1 ) . 0.5 (B.1) 0 As it is well known that the value of third power of a variable is difficult to obtain, since −0.5 −1 2 πΜ1 − β1 ≤ π1∗ − β1 = π1∗ − √β1 + β1 < π1∗ − β1 ≤ π1 , −1.5 (B.2) then substituting (B.2) into (B.1), we have −2 2 π42 ≤ π22 + π12 (Μ π1 (π‘ − π2 )) + π41 + 2π2 π1 πΜ1 (π‘ − π2 ) −2.5 2 −3 −1 0 1 2 3 4 5 6 7 8 Times (s) π1 (π‘ − π2 ) − β1 ) β πΜ. + 2π2 π21 + 2π1 πΜ1 (π‘ − π2 ) (Μ (B.3) By the similar deduction in Appendix A, we have the following conclusion under two kinds of situations. x1 x2 Figure 1: The system state under adaptive memory controller. 2 2 (1) If 2β1 √β1 + β1 > 2β1 + β1 + 3π2 , we can obtain the maximum of πΜ which is π (Μ π1 (π‘ − π2 ) = {π1∗ , π1∗ , πΜ2 })} , πΜ∗ = max {Μ 0.25 (B.4) where πΜ2 = (4β1 − π1 − √π12 − 8π1 β1 + 4β12 − 12π2 )/6. 0.245 2 2 (2) If 2β1 √β1 + β1 ≤ 2β1 + β1 + 3π2 , we can obtain that 0.24 π (Μ π1 (π‘ − π2 ) = {π1∗ , π1∗ })} . πΜ∗ = max {Μ 0.235 0.23 (B.5) C. The Value of πΜ6∗ 0.225 From Appendices A and B, we can obtain that πΜ6∗ = πΜ4∗ − 2π2 (π3∗ − π2 − (1/4)β1 ). 0.22 0.215 0.21 Acknowledgments 0.205 0.2 −1 0 1 2 3 4 5 6 7 8 Times (s) πΜ Figure 2: The estimate value of the unknown time delay. ππ3 (Μ π1 (π‘ − π2 ))/π(Μ π1 (π‘ − π2 )) = 2Μ π1 (π‘ − π2 ) − 2β1 + π1 = 0, so π3 (π‘) can achieve extremum when πΜ1 (π‘ − π2 ) = (2β1 − π1 )/2. Furthermore, as π3σΈ σΈ ((2β1 −π1 )/2) = 2 > 0, so π3 (π‘) can achieve minimum when πΜ1 (π‘ − π2 ) = (2β1 − π1 )/2 = β1 . As a result, π1 (π‘ − π2 ) = the maximum for π3 (π‘), that is, π3∗ = max{π3 (Μ {π1∗ , π1∗ })}. B. The Value of πΜ4∗ Consider 2 2 πΜ4 = π42 = [π2 + π1 πΜ1 (π‘ − π2 ) + (Μ π1 (π‘ − π2 ) − β1 ) ] 2 4 = π22 + π12 (Μ π1 (π‘ − π2 )) + (Μ π1 (π‘ − π2 ) − β1 ) This work was supported in part by US NSF under Grant no. HRD-0932339, National Natural Science Foundation of China (61273119, 61174076, and 61004046) and (60835001: Key Program), Natural Science Foundation of Jiangsu Province of China (BK2011253), and Research Fund for the Doctoral Program of Higher Education of China (20110092110021). References [1] H. H. Choi and M. J. Chung, “Memoryless stabilization of uncertain dynamic systems with time-varying delayed states and controls,” Automatica, vol. 31, no. 9, pp. 1349–1351, 1995. [2] E. Fridman, “New Lyapunov-Krasovskii functionals for stability of linear retarded and neutral type systems,” Systems & Control Letters, vol. 43, no. 4, pp. 309–319, 2001. [3] E. Fridman and U. Shaked, “A descriptor system approach to π»∞ control of linear time-delay systems,” IEEE Transactions on Automatic Control, vol. 47, no. 2, pp. 253–270, 2002. [4] Z. Liu, S. LuΜ, S. Zhong, and M. Ye, “Improved robust stability criteria of uncertain neutral systems with mixed delays,” Abstract and Applied Analysis, vol. 2009, Article ID 294845, 18 pages, 2009. 8 [5] Y. He, M. Wu, J.-H. She, and G.-P. Liu, “Parameter-dependent Lyapunov functional for stability of time-delay systems with polytopic-type uncertainties,” IEEE Transactions on Automatic Control, vol. 49, no. 5, pp. 828–832, 2004. [6] P. Park and W. Jeong, “Stability and robust stability for systems with a time-varying delay,” Automatica, vol. 43, no. 10, pp. 1855– 1858, 2007. [7] J. Tian and X. Zhou, “Improved asymptotic stability criteria for neural networks with interval time-varying delay,” Expert Systems with Applications, vol. 37, no. 12, pp. 752–7525, 2010. [8] M. De la Sen, “On positivity of singular regular linear timedelay time-invariant systems subject to multiple internal and external incommensurate point delays,” Applied Mathematics and Computation, vol. 190, no. 1, pp. 382–401, 2007. [9] J. S. H. Tsai, C. Y. Lu, and T. J. Su, “Robust control for uncertain nonlinear stochastic neutral systems with state delays,” in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, pp. 3164–3169, Washington, DC, USA, 2003. [10] Q.-L. Han, “A descriptor system approach to robust stability of uncertain neutral systems with discrete and distributed delays,” Automatica, vol. 40, no. 10, pp. 1791–1796, 2004. [11] W.-H. Chen, W. X. Zheng, and Y. Shen, “Delay-dependent stochastic stability and π»∞ -control of uncertain neutral stochastic systems with time delay,” IEEE Transactions on Automatic Control, vol. 54, no. 7, pp. 1660–1667, 2009. [12] F. Zheng, Q.-G. Wang, and T. H. Lee, “Adaptive robust control of uncertain time delay systems,” Automatica, vol. 41, no. 8, pp. 1375–1383, 2005. [13] X. Jiang, W. Xu, and Q.-L. Han, “Observer-based fuzzy control design with adaptation to delay parameter for time-delay systems,” Fuzzy Sets and Systems, vol. 152, no. 3, pp. 637–649, 2005. [14] Z. Zheng, Theory of Functional Differential Equation, Anhui Educational Publishing House, 1994. [15] I. R. Petersen and C. V. Hollot, “A Riccati equation approach to the stabilization of uncertain linear systems,” Automatica, vol. 22, no. 4, pp. 397–411, 1986. Journal of Applied Mathematics Advances in Operations Research Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Advances in Decision Sciences Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Mathematical Problems in Engineering Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Algebra Hindawi Publishing Corporation http://www.hindawi.com Probability and Statistics Volume 2014 The Scientific World Journal Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Differential Equations Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Volume 2014 Submit your manuscripts at http://www.hindawi.com International Journal of Advances in Combinatorics Hindawi Publishing Corporation http://www.hindawi.com Mathematical Physics Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Journal of Complex Analysis Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 International Journal of Mathematics and Mathematical Sciences Journal of Hindawi Publishing Corporation http://www.hindawi.com Stochastic Analysis Abstract and Applied Analysis Hindawi Publishing Corporation http://www.hindawi.com Hindawi Publishing Corporation http://www.hindawi.com International Journal of Mathematics Volume 2014 Volume 2014 Discrete Dynamics in Nature and Society Volume 2014 Volume 2014 Journal of Journal of Discrete Mathematics Journal of Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Applied Mathematics Journal of Function Spaces Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Optimization Hindawi Publishing Corporation http://www.hindawi.com Volume 2014 Hindawi Publishing Corporation http://www.hindawi.com Volume 2014