Stability of linear systems with general sawtooth delay
|
|
- Madeline Waters
- 5 years ago
- Views:
Transcription
1 IMA Journal of Matematical Control an Information Page of 8 oi:0.093/imamci/nq03 Stability of linear systems wit general sawtoot elay KUN LIU, VLADIMIR SUPLIN AND EMILIA FRIDMAN Department of Electrical Engineering-Systems, Scool of Electrical Engineering, Tel-Aviv University, Tel-Aviv 69978, Israel liukun@eng.tau.ac.il suplin@eng.tau.ac.il Corresponing autor: emilia@eng.tau.ac.il Receive on 4 February 00; revise on June 00; accepte 3 August 00] It is well known tat in many particular systems, te upper boun on a certain time-varying elay tat preserves te stability may be iger tan te corresponing boun for te constant elay. Moreover, sometimes oscillating elays improve te performance (Miciels, W., Van Assce, V. & Niculescu, S. (005) Stabilization of time-elay systems wit a controlle time-varying elays an applications. IEEE Trans. Automat. Control, 50, ). Sawtoot elays τ wit τ = (almost everywere) can posses tis property (Louisell, J. (999) New examples of quencing in elay ifferential equations aving time-varying elay. Proceeigns of te 5t ECC, Karlsrue, Germany). In tis paper, we sow tat general sawtoot elay, were τ 0 is constant (almost everywere), also can posses tis property. By te existing Lyapunov-base metos, te stability analysis of suc systems can be performe in te framework of systems wit boune fast-varying elays. Our objective is to evelop qualitatively new metos tat can guarantee te stability for sawtoot elay wic may be not less tan te analytical upper boun on te constant elay tat preserves te stability. We suggest two metos. One meto evelops a novel input output approac via a Wirtinger-type inequality. By tis meto, we recover te result by Mirkin (007, Some remarks on te use of time-varying elay to moel sample-an-ol circuits. IEEE Trans. Automat. Control, 5, 09 ) for τ = an we sow tat for any integer τ, te same maximum boun tat preserves te stability is acieve. Anoter meto extens piecewise continuous (in time) Lyapunov functionals tat ave been recently suggeste for te case of τ = in Friman (00, A refine input elay approac to sample-ata control. Automatica, 46, 4 47) to te general sawtoot elay. Te time-epenent terms of te functionals improve te results for all values of τ, toug te most essential improvement correspons to τ =. Keywors: time-varying elay; Lyapunov-base metos; LMI.. Introuction Over te past ecaes, muc effort as been investe in te analysis an esign of uncertain systems wit time-varying elays (see, e.g. Kolmanovskii & Myskis, 999; Niculescu, 00; Karitonov & Niculescu, 00; Friman & Sake, 003; Ricar, 003; Gu et al., 003; He et al., 007; Park & Ko, 007). Te elay uner consieration as been eiter ifferentiable wit a known upper boun 0 τ < or piecewise continuous witout any constraints on te elay erivative (fast-varying elay) (Friman & Sake, 003). In te existing Lyapunov-base metos, te maximum elay boun tat preserves te stability correspons to = 0 an tis boun is usually a ecreasing function of. However, it is well known (see examples in Louisell, 999 an iscussions on quencing in Papacristooulou et al., 007 as well as Example below) tat in many particular systems, te upper boun on a certain time-varying elay tat preserves te stability may be iger tan te corresponing Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 c Te autor 00. Publise by Oxfor University Press on bealf of te Institute of Matematics an its Applications. All rigts reserve.
2 of 8 K. LIU ET AL. boun for te constant elay. Moreover, sometimes oscillating elays improve te performance (Miciels et al., 005). Recently, a iscontinuous Lyapunov function meto was introuce to sample-ata control systems (correspons to te sawtoot elay wit τ = (almost everywere)) in Nagstabrizi et al. (008). Tis meto improve te existing Lyapunov-base results an it inspire a piecewise continuous (in time) Lyapunov Krasovskii functional (LKF) approac to sample-ata systems (Friman, 00). Te LKFs in te latter paper are time epenent an tey o not grow after te sampling times. Te introuce novel iscontinuous terms of Lyapunov functionals in Friman (00) lea to qualitatively new results, allowing a superior performance uner te sampling, tan te one uner te constant elay. Te input elay approac to sample-ata control was also recently revise by using te scale small gain teorem an a tigter upper boun on te L -inuce norm of te uncertain term (Mirkin, 007). In te present paper, stability of systems wit boune sawtoot elay τ is analyse, were τ 0 is piecewise constant. By te existing Lyapunov-base metos, te stability analysis of suc systems can be performe in te framework of systems wit boune fast-varying elays. Our objective is to evelop qualitatively new metos tat can guarantee te stability for sawtoot elay wic may be not less tan te analytical upper boun on te constant elay tat preserves te stability. We suggest two metos. One meto evelops a novel input output (I O) approac via a Wirtinger-type inequality. By tis meto, we recover te result by Mirkin (007) for τ = an we sow tat for any integer τ, te same maximum boun tat preserves te stability is acieve. Anoter meto extens irect Lyapunov approac to systems wit a general form of sawtoot elay. By constructing appropriate iscontinuous LKFs, we obtain sufficient elay-epenent conitions tat guarantee te exponential stability of systems in terms of linear matrix inequalities (LMIs). Te time-epenent terms of LKFs improve te results for all values of τ, toug te most essential improvement correspons to τ =. A conference version of iscontinuous LKF approac was presente in Liu & Friman (009). Notations. Trougout te paper, te superscript stans for matrix transposition, R n enotes te n-imensional Eucliean space wit vector norm, R n m is te set of all n m real matrices an te notation P > 0, for P R n n means tat P is symmetric an positive efinite. Te symmetric elements of te symmetric matrix will be enote by. L is te space of square integrable functions v: 0, ) R n wit te norm v L = 0 v(t) t] /. Te space of functions φ: a, b] R n, wic are absolutely continuous on a, b), ave a finite lim θ b φ(θ) an ave square integrable firstorer erivatives is enote by W n a, b) wit te norm b ] φ Wn a,b) = max φ(θ) + φ(s) s. θ a,b] a We also enote W = W n, 0) an x t (θ) = x(t + θ)(θ, 0]). Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00. Problem formulation Consier te system { ẋ(t) = Ax(t) + A x(t τ(t)), x(t) = φ(t), t, 0], (.)
3 GENERAL SAWTOOTH DELAY 3 of 8 FIG.. Case A. FIG.. Case A. were x(t) R n is te state vector, A an A enote te constant matrices, φ(t) is te initial function, τ(t) 0, ] is te time-varying elay. It is assume tat te elay function as te form of sawtoot (see Figs an ), satisfying eiter A or A below: were > 0 an t k = k. A: τ(t) = (t t k ), t t k, t k+ ), k = 0,,..., (.) A: τ(t) = (t k+ t), t t k, t k+ ), k = 0,,..., (.3) It is clear tat uner A, we ave τ = > 0 an uner A, we ave τ = < 0. Bot cases can be analyse by using time-inepenent Lyapunov functionals corresponing to systems wit fast-varying elays. Our objective is to erive elay-epenent stability criteria for system (.) tat improve te recent results for fast-varying elays (see, e.g. Park & Ko, 007). 3. I O approac via Wirtinger-type inequality We recall te following Wirtinger-type inequality (Hary et al., 934): let z W a, b) be a scalar function wit z(a) = 0. Ten, b a z (ξ)ξ 4(b a) π b a ż (ξ)ξ. (3.) Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 Tis inequality is trivially extene to te vector case. LEMMA 3. Let z W n a, b). Assume tat z(a) = 0. Ten, for any n n-matrix R > 0, te following inequality ols: b a z (ξ)rz(ξ)ξ 4(b a) π b a ż (ξ)rż(ξ)ξ. (3.)
4 4 of 8 K. LIU ET AL. Proof. We ave b a z (ξ)rz(ξ)ξ = 4(b a) π 4(b a) π b a b a ξ ( ] z (ξ)rz(ξ) ξ ż (ξ)rz(ξ) z (ξ)rz(ξ) ) ξ 4(b a) π b a ż (ξ)rż(ξ)ξ. (3.3) System (.) can be rewritten as follows: ẋ(t) = (A + A )x(t) A We present te latter as te following forwar system: wit te feeback t τ(t) { ẋ = (A + A )x(t) + A u(t) y(t) = ẋ(t), Assume tat A + A is Hurwitz an y(t) = 0 for t 0. ẋ(s)s. (3.4) (3.5) u(t) = y(s)s. (3.6) t τ(t) LEMMA 3. Assume tat te time elay is given by (.), were N. Ten te following ols: Proof. Defining u L π y L. (3.7) k u s (t) = y(s)s, u st (t) = y(s)s, t t k, t k+ ), t k t τ we note tat u(t) = u s (t) + u st (t). We will prove next te following bouns: u s L π y L, (3.8) u st L ( ) π y L, (3.9) Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 wic imply (3.7) since u L u s L + u st L π y L.
5 GENERAL SAWTOOTH DELAY 5 of 8 By using (3.3), we obtain u s L = k=0 k+ t k (x(t k ) x(t)) (x(t k ) x(t))t x(t)) t (x(t k) x(t))t 4 π k=0 4(t k+ t k ) k=0 k+ t k π k+ t k t (x(t k) ẋ T (t)ẋ(t)t = 4 π ẋ L. (3.0) Similarly, we ave u st L = k=0 k+ t k (x(t (t t k )) x(t k )) (x(t (t t k )) x(t k ))t ( ) 4(t k+ t k ) k=0 Using te following cange of variables we arrive to u st L ( ) π k+ t k ẋ T (t (t t k ))ẋ(t (t t k ))t. s = t (t t k ) s = ( )t, =, 3,... t = tk t = t k+, s = t k s = ( )t k+ + t k 4(t k+ t k ) k=0 ( ) 4 π k=0 π k k (k+) ( )t k+ +t k ẋ (s)ẋ(s)s ẋ T (s)ẋ(s)s = ( ) 4 π ẋ L. REMARK 3. For =, te boun of Lemma 3. coincies wit te boun of Mirkin (007), were sample-ata control wit variable sampling t k+ t k was analyse by using te lifting tecnique. We note tat te bouns in (3.0) are vali also for t k+ t k, i.e. for =, we recover result of Mirkin (007). Moreover, Lemma 3. strengtens te result of Mirkin (007), sowing tat te same boun ols for any N if t k+ t k =. It follows tat stability of (3.5) can be verifie by using te small gain teorem (Gu et al., 003). Namely, (3.5) is stable if Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 tere exists non-singular M R n n suc tat MG M <, (3.) were G(s) = ss I (A + A )] π A. (3.)
6 6 of 8 K. LIU ET AL. We can verify te conition (3.) via te following LMI: P(A + A ) + (A + A ) P π P A (A + A ) R R π A R < 0 (3.3) R for P > 0, R > 0. THEOREM 3. For N, (3.5) (3.6) is I O stable (an, tus, (.) (.) is asymptotically stable) if one of te following conitions is satisfie: Conition (3.) ols, were G is given by (3.). Tere exist positive n n-matrices P, R suc tat LMI (3.3) is feasible. 4. Lyapunov Krasovskii approac 4. Lyapunov-base exponential stability DEFINITION 4. Te system (.) is sai to be exponentially stable if tere exists constants μ > 0 an δ > 0 suc tat x(t) μ e δ(t t0) φ W for t t 0. LEMMA 4. (Friman, 00). Let tere exist positive numbers β, δ an a functional V : R W L, 0] R suc tat β φ(0) V (t, φ, φ) δ φ W. (4.) Let te function ˉV (t) = V (t, x t, ẋ t ) is continuous from te rigt for x(t) satisfying (.) absolutely continuous for t t k an satisfies Given α > 0, if along (.) lim t t k ten (.) is exponentially stable wit te ecay rate α. 4. Exponential stability: Case A ˉV (t) ˉV (t k ). (4.) ˉV (t) + α ˉV (t) 0, almost for all t, (4.3) We start wit te case, were τ satisfies τ = > 0. We consier separately 0 < an >. (i) Wen 0 <, we are looking for te functional of te form Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 were V 0 (x t, ẋ t ) = x (t)px(t) + V (t, x t, ẋ t ) = ˉV (t) = V 0 (x t, ẋ t ) + V i (t, x t, ẋ t ) + V 3 (x t ), (4.4) i= 0 t e α(s t) x (s)sx(s)s + t+θ e α(s t) ẋ (s)rẋ(s)s θ, (4.5)
7 GENERAL SAWTOOTH DELAY 7 of 8 V (t, x t, ẋ t ) = τ X+X ξ (t) X + X X X + X+X ] ξ (t), (4.6) V (t, x t, ẋ t ) = τ t τ e α(s t) ẋ (s)u ẋ(s)s, (4.7) V 3 (x t ) = t τ e α(s t) x (s)qx(s)s, (4.8) wit ξ (t) = col{x(t), x(t τ)}, α 0, P > 0, S > 0, R > 0, U > 0, Q > 0. Te above functional coincies wit te one introuce in Friman (00) for S = R = Q = 0, were τ = was consiere. Te positive terms, epening on S, R, Q, guarantee tat te results will be not worse tan for te case of time-varying elays, were te above functional wit U = X = X can be applie. We note tat te term V 3 is non-negative before te jumps at t = t k an it becomes zero just after te jumps (because t t=tk = (t τ) t=tk ). Te time-epenent terms V an V vanis before te jumps (because τ = ) an after te jumps (because τ = 0 an tus x(t τ) = x(t)). Tus, ˉV oes not increase after te jumps an te conition lim t t ˉV (t) ˉV (t k ) ols. k To guarantee tat V > 0 in te sense tat V satisfies (4.), we assume tat ] P + X+X X X X X + > 0. (4.9) X+X Differentiating ˉV, we fin along (.) ˉV (t) + α ˉV (t) x (t)pẋ(t) + ẋ (t) R + τ ] U ẋ(t) + αx (t)px(t)] e α t ẋ (s)rẋ(s)s e α t τ ẋ (s)u ẋ(s)s + x (t)s + Q]x(t) x (t )e α Sx(t ) ( )ẋ (t τ) τ U e α ẋ(t τ) ( )x (t τ)e α Qx(t τ) X+X α( τ) ξ (t) X + X ξ (t) X X + X+X + τ ẋ (t)(x + X )x(t) + ẋ (t)( X + X )x(t τ) +( )x (t)( X + X )ẋ(t τ) +( )ẋ (t τ) ( X X + X + X ) ] x(t τ). Following He et al. (007), we employ te representation t ẋ (s)rẋ(s)s = τ t ẋ (s)rẋ(s)s t τ ẋ (s)rẋ(s)s. (4.0) Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00
8 8 of 8 K. LIU ET AL. We apply te Jensen s inequality (Gu et al., 003) t τ ẋ (s)r + U]ẋ(s)s τ τ t Here, for τ = 0, we unerstan by For τ = 0, te vector ẋ (s)rẋ(s)s τ ẋ (s)sr + U] t τ τ t ẋ (s)s R t τ τ t ẋ(s)s, ẋ(s)s. (4.) ẋ(s)s = lim ẋ(s)s = ẋ(t). τ t τ τ 0 τ t τ t τ τ t ẋ(s)s is efine similarly as ẋ(t ). Ten, enoting v = ẋ(s)s, v = τ ẋ(s)s, τ t τ τ t we obtain ˉV (t) + α ˉV (t) x (t)pẋ(t) + ẋ (t) R + τ ] U ẋ(t) + αx (t)px(t)] e α τ v R + U]v e α τ v Rv + x (t)s + Q]x(t) x (t )e α Sx(t ) ( )ẋ (t τ) τ U e α ẋ(t τ) ( )x (t τ)e α Qx(t τ) α( τ) + τ X+X ξ (t) X + X X X + X+X ] ξ (t) ẋ (t)(x + X )x(t) + ẋ (t)( X + X )x(t τ) +( )x (t)( X + X )ẋ(t τ) +( )ẋ (t τ) ( X X + X + X ) ] x(t τ). (4.) Following He et al. (004), we insert free-weigting n n-matrices by aing te following expressions to ˉV : Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 0 = x (t)y + ẋ (t)y + x (t τ)t ] x(t) + x(t τ) + τv ], 0 = x (t)z + ẋ (t)z ] x(t τ) + x(t ) + ( τ)v ]. (4.3) We use furter te escriptor meto (Friman, 00), were te rigt-an sie (RHS) of te expression 0 = x (t)p + ẋ (t)p 3 ]Ax(t) + A x(t τ) ẋ(t)], (4.4) wit some n n-matrices, P, P 3 is ae into te RHS of (4.).
9 GENERAL SAWTOOTH DELAY 9 of 8 Setting we obtain tat η (t) = col{x(t), ẋ(t), x(t ), v, v, x(t τ), ẋ(t τ)}, ˉV (t) + α ˉV (t) η (t)ψ η (t) < 0, (4.5) if te following inequality Ψ = ols, were Φ α( τ) (X + X ) Φ + τ (X + X ) Z τy ( τ)z Φ 6 Φ 7 Φ + τ U Z τy ( τ)z Φ 6 0 S e α τ R + U] e α 0 τ T 0 τ R e α 0 0 Φ 66 Φ 67 Φ 77 Φ = A P + P A + α P + S + Q Y Y, Φ = P P + A P 3 Y, Φ 6 = Y Z + P A α( τ) T + (X X ), Φ 7 = ( ) τ ( X + X ), Φ = P 3 P3 + R, Φ 6 = Y Z + P 3 A τ (X X ), Φ 66 = ( )Q e α + T + T α( τ)] X + X X X, Φ 67 = ( ) τ (X + X X X ), Φ 77 = ( ) τ U e α. Te latter inequality for τ 0 an τ leas to te following LMIs: Φ α (X + X ) Φ + X+X Z Z Φ + U Z Z Ψ = Φ 6 τ=0 Φ 7 τ=0 Φ 6 τ=0 0 S e α R e α 0 0 Φ 66 τ=0 Φ 67 τ=0 < 0 (4.6) (4.7) < 0, (4.8) Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 Ψ = Φ 77 τ=0 Φ (X + X ) Φ Z Y Φ 6 τ= Φ Z Y Φ 6 τ= S e α 0 0 R + U] e α T Φ 66 τ= < 0. (4.9)
10 0 of 8 K. LIU ET AL. Denoting: η i (t) = col{x(t), ẋ(t), x(t ), v i, x(t τ), ẋ(t τ)}(i =, ), te latter two LMIs imply (4.6) because τ η (t)ψ η (t) + τ η (t)ψ η (t) = η (t)ψ η (t) < 0, an Ψ is tus convex in τ 0, ]. (ii) For >, we consier te following LKF: were V 0 is given by (4.5) an V (t, x t, ẋ t ) = ˉV (t) = V 0 (x t, ẋ t ) + V i (t, x t, ẋ t ), (4.0) V (t, x t, ẋ t ) = τ V (t, x t, ẋ t ) = τ i= X+X ] ξ (t) X + X X X + ξ X+X (t), (4.) t τ e α(s t) ẋ (s)u ẋ(s)s, (4.) wit ξ (t) = col { x(t), x ( t τ )}, α 0, U > 0. To guarantee tat V > 0, we assume (4.9). Since t t=tk = ( t τ ), we see tat ˉV oes not grow after te jumps. t=t k Differentiating ˉV, we ave along (.) ˉV (t) + α ˉV (t) x (t)pẋ(t) + ẋ (t) R + τ ] U ẋ(t) + αx (t)px(t)] e α ẋ (s)rẋ(s)s α t e ẋ (s)u ẋ(s)s t + x (t)sx(t) x (t )e α Sx(t ) α( τ) + τ We employ te representation t τ X+X ξ (t) X + X X X + X+X ẋ (t)(x + X )x(t) + ẋ (t)( X + X )x ] ξ (t) ( t τ )]. Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 τ τ ẋ (s)rẋ(s)s = ẋ t (s)rẋ(s)s ẋ (s)rẋ(s)s ẋ (s)rẋ(s)s. t t t τ t τ Similar to (4.), applying te Jensen s inequality an ten enoting v = τ t τ ẋ(s)s, v = τ ẋ(s)s, v 3 = τ t t τ ẋ(s)s, ( ) t τ
11 GENERAL SAWTOOTH DELAY of 8 we obtain ˉV (t) + α ˉV (t) x (t)pẋ(t) + ẋ (t) R + τ τ R v e α + U e α ] v e ] U ẋ(t) + αx (t)px(t)] α τ v Rv e α v 3 Rv 3 +x (t)sx(t) x (t )e α Sx(t ) ] α( τ) X+X ξ (t) X + X X X + X+X ξ (t) + τ ẋ (t)(x + X )x(t) + ẋ (t)( X + X )x ( t τ )]. Similar to (4.3), we insert free-weigting n n-matrices by aing te following expressions to ˉV : 0 = x (t)y + ẋ (t)y + x ( t τ ) ] ( T x(t) + x t τ ) + τ ] v, 0 = x (t)z + ẋ (t)z + x (t τ)t ] x(t τ) + x(t ) + ( τ)v ], ( 0 = x (t)m + ẋ (t)m ] x t τ ) ( ) + x(t τ) + v 3 ]. Similar to (4.4), te same expression is ae into te RHS of (4.). Setting η (t) = col { x(t), ẋ(t), x(t ), v, v, v 3, x ( t τ ), x(t τ) }, we obtain tat if te inequality Ψ = ˉV (t) + α ˉV (t) η (t)ψ η (t) < 0, (4.3) Ω α( τ) (X + X ) Φ + τ (X + X ) Z τ Y ( τ)z ( ) M Ω 7 Ω 8 Φ + τ U Z τ Y ( τ)z ( ) M Ω 7 Ω 8 S e α T Ω τ T 0 τ R e α 0 0 ( τ)t R e α 0 0 Ω 77 0 T + T ols, were Ω = A P + P A + α P + S Y Y, Ω 7 = Y M T α( τ) + (X X ), Ω 8 = M Z + P A, Ω 7 = Y M τ (X X ), Ω 8 = M Z + P 3 A, Ω 44 = τ ] R e α + U e α, Ω 77 = T + T α( τ)] X + X X X. < 0 (4.4) (4.5) Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00
12 of 8 K. LIU ET AL. Te latter inequality for τ 0 an τ leas to te following LMIs: Ω α (X + X ) Φ + X+X Z Z ( ) M Φ + U Z Z ( ) M Ψ = Ω 7 τ=0 Ω 8 Ω 7 τ=0 Ω 8 S e α T R e α 0 0 T R e α 0 0 Ω 77 τ=0 0 < 0 an Ψ = T + T Ω (X + X ) Φ Z Φ Z Y Y ( ) M ( ) M Ω 7 τ= Ω 8 Ω 7 τ= Ω 8 S e α T Ω 44 τ= 0 T 0 R e α 0 0 Ω 77 τ= 0 T + T Similarly, we can obtain tat Ψ is also convex in τ 0, ]. We summarize te results in te following teorem. (4.6) < 0. (4.7) THEOREM 4. (i) Given α > 0, 0 <, let tere exist n n-matrices P > 0, R > 0, U > 0, S > 0, Q > 0, X, X, T, P, P 3, Y i an Z i (i =, ) suc tat te LMIs (4.9), (4.8), (4.9) wit notations given in (4.7) are feasible. Ten, (.) is exponentially stable wit te ecay rate α for all elays 0 τ satisfying A. (ii) Given α > 0, >, let tere exist n n-matrices P > 0, R > 0, U > 0, S > 0, X, X, P, P 3, T i, Y i, Z i an M i (i =, ) suc tat te LMIs (4.9), (4.6), (4.7) wit notations given in (4.5) are feasible. Ten, (.) is exponentially stable wit te ecay rate α for all elays 0 τ satisfying A. REMARK 4. LMIs of Teorem 4. wit X = X = U = 0 give sufficient conitions for exponential stability of (.) wit τ(t) 0, ]: (i) for all slowly varying elays an (ii) for fast-varying elays. In te numerical examples, tese conitions lea to te same results as te results of Park & Ko (007), owever, tey posses a fewer number of slack matrices. 4.3 Exponential stability: Case A For τ = < 0, we also iffer between 0 < an >. (i) Wen 0 <, we are looking for te functional of te form: Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 V (t, x t, ẋ t ) = ˉV (t) = V 0 (x t, ẋ t ) + V i (t, x t, ẋ t ) + V 3 (x t ), (4.8) were V 0 is given by (4.5) an V (t, x t, ẋ t ) = τ X+X ] ξ 3 (t) X + X X X + ξ X+X 3 (t), i=
13 GENERAL SAWTOOTH DELAY 3 of 8 V (t, x t, ẋ t ) = τ t ( τ) e α(s t) ẋ (s)u ẋ(s)s, V 3 (x t ) = e α(s t) x (s)qx(s)s, t ( τ) wit ξ 3 (t) = col{x(t), x(t ( τ))}, α 0, U > 0, Q > 0 an (4.9) also satisfie to guarantee tat V > 0. We note tat V 3 is non-negative before te jump at t = t k an it becomes zero just after te jump (because t t=tk = (t ( τ)) t=tk ). Te time-epenent terms V an V vanis before te jumps (because τ = 0) an after te jumps (because τ = an tus x(t ( τ)) = x(t)). Hence, te conition lim t t ˉV (t) ˉV (t k ) ols. k (ii) For >, te iscontinuous Lyapunov functional is moifie as follows: were V 0 is also given by (4.5) an V (t, x t, ẋ t ) = ˉV (t) = V 0 (x t, ẋ t ) + V i (t, x t, ẋ t ), (4.9) i= V (t, x t, ẋ t ) = τ X+X ξ 4 (t) X + X X X + X+X V (t, x t, ẋ t ) = τ t τ e α(s t) ẋ (s)u ẋ(s)s, ] ξ 4 (t), wit ξ 4 (t) = col { x(t), x ( t τ )}, α 0, U > 0 an (4.9) also satisfie to guarantee tat V > 0. Also in tis case, ˉV oes not grow after te jumps. Similar to Teorem 4., we obtain te following teorem. THEOREM 4.3 (i) Given α > 0, 0 <, let tere exist n n-matrices P > 0, R > 0, U > 0, S > 0, Q > 0, X, X, P, P 3, P, P 3, Y i j, M i j, Z i j an T i j (i, j =, ) suc tat (4.9) an te following four LMIs: (4.30), for τ 0 an τ, an (4.3), for τ an τ, Θ Θ + τ (X + X ) M Θ + τ U M τy τy ( τ)z ( τ)z τ M τ M Θ 7 Θ 8 + Z M Θ 7 Θ 8 + Z M S e α τ R + U]e α 0 0 τ T 0 0 Θ ( τ)t 0 τ R e α T + T Θ 9 0 T 0 Θ 88 + T + T Θ 89 < 0, Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 Θ 99 (4.30)
14 4 of 8 K. LIU ET AL. Ξ were Ξ + τ ) Y ( τ)y (τ )Z ( τ)m Ξ 7 Θ 8 + M Z Θ 9 Ξ + τ U Y ( τ)y (τ )Z ( τ)m Ξ 7 Θ 8 + M Z 0 S e α T 0 0 τ R e α 0 0 ( τ)t 0 0 τ R e α 0 0 (τ )T 0 Ξ T T T 0 Θ 88 T T Θ 99 Θ = A P + P A + α P + S + Q Y Y ατ (X + X ), Θ = P P + A P 3 Y, Θ 7 = Y Z T + P A, Θ 8 = ατ (X X ), Θ 9 = ( ) τ ( X + X ), Θ = P 3 P 3 + R, Θ 7 = Y Z + P 3 A, Θ 8 = τ (X X ), Θ 55 = τ R + U]e α, Θ 88 = ( )Q e α ( ατ) X + X X X, Θ 89 = ( ) τ (X + X X X ), Θ 99 = ( ) τ U e α, Ξ = A P + P A + α P + S + Q M M ατ (X + X ), Ξ = P P + A P 3 M, Ξ 7 = Z Y + P A, Ξ = P 3 P 3 + R, Ξ 7 = Z Y + P 3 A, Ξ 66 = τ R + U]e α, Θ 89 < 0, (4.3) are feasible. Ten (.) is exponentially stable wit te ecay rate α for all elays 0 τ satisfying A. (ii) Given α > 0, >, let tere exist n n-matrices P > 0, R > 0, U > 0, S > 0, X, X, P, P 3, P, P 3, Y i j, M i j, Z i j an T i j (i, j =, ) suc tat (4.9) an te following four LMIs: (4.3), for τ 0 an τ +, an (4.33), for τ + an τ, Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00
15 GENERAL SAWTOOTH DELAY 5 of 8 Σ Θ + τ ) M τy (+)τ Z ( τ )M Θ 7 Θ 8 + Z M Θ + τ U M τy (+)τ Z ( τ )M Θ 7 Θ 8 + Z M S e α Σ τ T 0 Σ (+)τ T Σ T + T T < 0, (4.3) were Σ 88 +T +T Υ Ξ + τ ) Y ( τ)y (+)τ Z τ M Ξ 7 Θ 8 +M Z Ξ + τ U Y ( τ)y (+)τ Z τ M Ξ 7 Θ 8 +M Z S e α T 0 τ R e α 0 0 ( τ)t 0 (+)τ R e α (+)τ 0 0 Υ T T Σ 88 T T Σ = A P + P A + α P + S Y Y ατ (X + X ), Σ 44 = τ R e α + Ue α ], Σ 55 = ( + )τ R e α + Ue α ], Σ 66 = ( τ ) R e α, Σ 88 = ( ατ) X + X X X, Υ = A P + P A + α P + S M M ατ (X + X ), Υ 66 = τ R e α + U e α ], T T < 0, (4.33) are feasible. Ten (.) is exponentially stable wit te ecay rate α for all elays 0 τ satisfying A. 5. Examples EXAMPLE 5. Consier te system from Yue et al. (005) ] ] 0 0 ẋ(t) = x(t) + K x(t τ(t)), K = ]. Te stability of tis system was stuie by many autors (see Nagstabrizi et al., 008 an te references terein). For te constant sampling, it was foun in Nagstabrizi et al. (008) tat te system Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00
16 6 of 8 K. LIU ET AL. remains stable for all constant samplings <.7 an becomes unstable for samplings >.7. Moreover, te above system wit constant elay τ is asymptotically stable for τ.6 an becomes unstable for τ >.7. Te latter means tat all te existing metos, tat are base on time-inepenent Lyapunov functionals, corresponing to stability analysis of systems wit fast-varying elays, cannot guarantee te stability for te samplings wit te upper boun >.7. In Nagstabrizi et al. (008), te upper boun on te constant sampling interval tat preserves te stability is foun to be =.377, improving all te existing LMI-base results. For ifferent τ, by applying Lyapunov Krasovskii(L K) approac wit α = 0 an I O approac via Wirtinger-type inequality, we obtain te maximum value of given in Table. Our results for X = X =U = 0 coincie wit te ones of Park & Ko (007). We see tat iscontinuous terms of LKFs improve te performance. Moreover, te I O approac via Wirtinger-type inequality improves te result for >, N compare to time-epenent L K approac. EXAMPLE 5. We consier te following simple an muc-stuie problem (Papacristooulou et al., 007; Friman, 00): ẋ(t) = x(t τ(t)). (5.) It is well known tat te equation ẋ(t) = x(t τ) wit constant elay τ is asymptotically stable for τ < π/ an unstable for τ > π/, wereas for te fast-varying elay, it is stable for τ <.5 an tere exists a estabilizing elay wit an upper boun >.5. Te latter means tat all te existing metos, tat are base on time-inepenent Lyapunov functionals, corresponing to stability analysis of systems wit fast-varying elays, cannot guarantee te stability for te samplings, wic may be >.5. It is easy to ceck, tat te system remains stable for all constant samplings < an becomes unstable for samplings >. Conitions of Nagstabrizi et al. (008) an of Mirkin (007) guarantee asymptotic stability for all variable samplings up to.8 an.57, respectively. For ifferent τ, by applying our metos, we obtain te maximum value of given in Table.We can also see tat iscontinuous terms of LKFs improve te performance an te I O approac via Wirtinger-type inequality improves te result for >, N compare to time-epenent L K approac. EXAMPLE 5.3 Consier te system (De Souza & Li, 999) ] ] 0 0 ẋ(t) = x(t) + x(t τ(t)) TABLE Example : maximum value of for ifferent τ \ τ \ τ τ N L K approac I O approac.3659 X = X = U = Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 TABLE Example : maximum value of for ifferent τ \ τ \ τ τ N L K approac I O approac.57 X = X = U =
17 TABLE 3 Example 3: maximum value of for ifferent τ GENERAL SAWTOOTH DELAY 7 of 8 \ τ \ τ τ N L K approac I O approac.57 X = X = U = TABLE 4 Example 4: maximum value of for ifferent τ \ τ \ τ τ N Our meto I O approac X = X = U = It is well known tat tis system is stable for constant elay τ 6.7, wereas in Park & Ko (007), it was foun tat te system is stable for all fast-varying elays τ.86. For ifferent τ, by applying our metos, we obtain te maximum value of given in Table 3. Our results for X = X = U = 0 coincie wit te ones of Park & Ko (007). Also in tis Example, te time-epenent terms of LKFs improve te performance. However, te I O approac via Wirtinger-type inequality as not improve te results for >, N an te result is worse tan te result for te fast-varying elays. EXAMPLE 5.4 Consier te system (Karitonov & Niculescu, 00): ] ] ẋ(t) = x(t) + x(t τ(t)). For ifferent τ, by applying our metos, we obtain te maximum value of given in Table 4. REMARK 5. Simulations in all te examples above sow tat our results are conservative (at least for ) an tat te value of maximum tat preserves te stability grows for growing >. 6. Conclusions In tis paper, two metos ave been introuce to investigate elay-epenent stability problem for systems wit sawtoot elay wit constant τ 0. One meto evelops a novel I O approac via a Wirtinger-type inequality. Te result by Mirkin (007) is recovere for τ = an for any integer τ, te same maximum boun tat preserves te stability is acieve. Anoter meto improves stability criteria by constructing piecewise continuous (in time) Lyapunov functionals. Toug te most essential improvement correspons to τ =, te time-epenent terms improve te results for all values of τ. Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00 Funing Israel Science Founation (754/0); Cina Scolarsip Council. REFERENCES DE SOUZA, C. E. & LI, X. (999) Delay-epenent robust H control of uncertain linear state-elaye systems. Automatica, 35, FRIDMAN, E. (00) New Lyapunov-Krasovskii functionals for stability of linear retare an neutral type systems. Syst. Control Lett., 43,
18 8 of 8 K. LIU ET AL. FRIDMAN, E. (00) A refine input elay approac to sample-ata control. Automatica, 46, FRIDMAN, E. & SHAKED, U. (003) Delay-epenent stability an H control: constant an time-varying elays. Int. J. Control, 76, GU, K., KHARITONOV, V. & CHEN, J. (003) Stability of Time-Delay Systems. Boston, MA: Birkauser. HARDY, G., LITTLEWOOD, J. E. & POLYA, G. (934) Inequalities. Cambrige, UK: Cambrige University Press. HE, Y., WANG, Q. G., LIN, C. & WU, M. (007) Delay-range-epenent stability for systems wit time-varying elay. Automatica, 43, HE, Y., WU, M., SHE, J. & LIU, G. (004) Delay-epenent robust stability criteria for uncertain neutral systems wit mixe elays. Syst. Control Lett., 5, KHARITONOV, V. & NICULESCU, S. (00) On te stability of linear systems wit uncertain elay. IEEE Trans. Autom. Control, 48, 7-3. KOLMANOVSKII, V. & MYSHKIS, A. (999) Introuction to te Teory an Applications of Functional Dierential Equations. Dorrect, Neterlans: Kluwer Acaemic. LIU, K. & FRIDMAN, E. (009) Discontinuous Lyapunov functionals for linear systems wit sawtoot elays. Proceeings of te 8t IFAC Worksop on Time-Delay Systems, Sinaya, Romania. LOUISELL, J. (999) New examples of quencing in elay ifferential equations aving time-varying elay. Proceeings of te 5t European Control Conference. Karlsrue, Germany. MICHIELS, W., VAN ASSCHE, V. & NICULESCU, S. (005) Stabilization of time-elay systems wit a controlle time-varying elays an applications. IEEE Trans. Automat. Control, 50, MIRKIN, L. (007) Some remarks on te use of time-varying elay to moel sample-an-ol circuits. IEEE Trans. Automat. Control, 5, 09. NAGHSHTABRIZI, P., HESPANHA, J. & TEEL, A. (008) Exponential stability of impulsive systems wit application to uncertain sample-ata systems. Syst. Control Lett., 57, NICULESCU, S. (00) Delay Effects on Stability: A Robust Control Approac. Lecture Notes in Control an Information Sciences, vol. 69. Lonon: Springer. PAPACHRISTODOULOU, A., PEET, M. & NICULESCU, S. (007) Stability analysis of linear systems wit timevarying elays: elay uncertainty an quencing. Proceeings of te 46t IEEE CDC, New Orleans, USA. PARK, P. G. & KO, J. W. (007) Stability an robust stability for systems wit a time-varying elay. Automatica, 43, RICHARD, J. P. (003) Time-elay systems: an overview of some recent avances an open problems. Automatica, 39, YUE, D., HAN, Q. L. & LAM, J. (005) Networke-base robust H control of systems wit uncertainty. Automatica, 4, Downloae from imamci.oxforjournals.org at TEL AVIV UNIVERSITY on November 4, 00
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and
This article appeared in a journal published by Elsevier. The attached copy is furnished to the author for internal non-commercial research and education use, including for instruction at the authors institution
More informationCopyright 2012 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future
Copyrigt 212 IEEE. Personal use of tis material is permitted. Permission from IEEE must be obtained for all oter uses, in any current or future media, including reprinting/republising tis material for
More informationChapter Primer on Differentiation
Capter 0.01 Primer on Differentiation After reaing tis capter, you soul be able to: 1. unerstan te basics of ifferentiation,. relate te slopes of te secant line an tangent line to te erivative of a function,.
More informationDelay-Dependent Exponential Stability of Linear Systems with Fast Time-Varying Delay
International Mathematical Forum, 4, 2009, no. 39, 1939-1947 Delay-Dependent Exponential Stability of Linear Systems with Fast Time-Varying Delay Le Van Hien Department of Mathematics Hanoi National University
More informationRules of Differentiation
LECTURE 2 Rules of Differentiation At te en of Capter 2, we finally arrive at te following efinition of te erivative of a function f f x + f x x := x 0 oing so only after an extene iscussion as wat te
More informationDelay-Dependent Stability Criteria for Linear Systems with Multiple Time Delays
Delay-Dependent Stability Criteria for Linear Systems with Multiple Time Delays Yong He, Min Wu, Jin-Hua She Abstract This paper deals with the problem of the delay-dependent stability of linear systems
More information1 Lecture 13: The derivative as a function.
1 Lecture 13: Te erivative as a function. 1.1 Outline Definition of te erivative as a function. efinitions of ifferentiability. Power rule, erivative te exponential function Derivative of a sum an a multiple
More informationComplete Quadratic Lyapunov functionals using Bessel-Legendre inequality
Complete Quadratic Lyapunov functionals using Bessel-Legendre inequality Alexandre Seuret Frédéric Gouaisbaut To cite tis version: Alexandre Seuret Frédéric Gouaisbaut Complete Quadratic Lyapunov functionals
More informationStability of linear systems with time-varying delays using Bessel-Legendre inequalities
Stability of linear systems wit time-varying elays using Bessel-Legenre inequalities Alexanre Seuret, Frééric Gouaisbaut To cite tis version: Alexanre Seuret, Frééric Gouaisbaut Stability of linear systems
More informationSampled-data implementation of derivative-dependent control using artificial delays
1 Sampled-data implementation of derivative-dependent control using artificial delays Anton Selivanov and Emilia Fridman, Senior Member, IEEE arxiv:1801.05696v1 [mat.oc] 17 Jan 2018 Abstract We study a
More information1 ode.mcd. Find solution to ODE dy/dx=f(x,y). Instructor: Nam Sun Wang
Fin solution to ODE /=f(). Instructor: Nam Sun Wang oe.mc Backgroun. Wen a sstem canges wit time or wit location, a set of ifferential equations tat contains erivative terms "/" escribe suc a namic sstem.
More informationNew Lyapunov Krasovskii functionals for stability of linear retarded and neutral type systems
Systems & Control Letters 43 (21 39 319 www.elsevier.com/locate/sysconle New Lyapunov Krasovskii functionals for stability of linear retarded and neutral type systems E. Fridman Department of Electrical
More informationResults on stability of linear systems with time varying delay
IET Control Theory & Applications Brief Paper Results on stability of linear systems with time varying delay ISSN 75-8644 Received on 8th June 206 Revised st September 206 Accepted on 20th September 206
More informationExponential Tracking Control of Nonlinear Systems with Actuator Nonlinearity
Preprints of the 9th Worl Congress The International Feeration of Automatic Control Cape Town, South Africa. August -9, Exponential Tracking Control of Nonlinear Systems with Actuator Nonlinearity Zhengqiang
More informationDelay-dependent stability and stabilization of neutral time-delay systems
INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL Int. J. Robust Nonlinear Control 2009; 19:1364 1375 Published online 6 October 2008 in Wiley InterScience (www.interscience.wiley.com)..1384 Delay-dependent
More informationDifferential Calculus Definitions, Rules and Theorems
Precalculus Review Differential Calculus Definitions, Rules an Teorems Sara Brewer, Alabama Scool of Mat an Science Functions, Domain an Range f: X Y a function f from X to Y assigns to eac x X a unique
More informationSTABILITY ANALYSIS FOR SYSTEMS WITH LARGE DELAY PERIOD: A SWITCHING METHOD. Received March 2011; revised July 2011
International Journal of Innovative Computing, Information and Control ICIC International c 2012 ISSN 1349-4198 Volume 8, Number 6, June 2012 pp. 4235 4247 STABILITY ANALYSIS FOR SYSTEMS WITH LARGE DELAY
More informationIn Leibniz notation, we write this rule as follows. DERIVATIVE OF A CONSTANT FUNCTION. For n 4 we find the derivative of f x x 4 as follows: lim
.1 DERIVATIVES OF POLYNOIALS AND EXPONENTIAL FUNCTIONS c =c slope=0 0 FIGURE 1 Te grap of ƒ=c is te line =c, so fª()=0. In tis section we learn ow to ifferentiate constant functions, power functions, polnomials,
More informationMAT01A1: Differentiation of Polynomials & Exponential Functions + the Product & Quotient Rules
MAT01A1: Differentiation of Polynomials & Exponential Functions + te Prouct & Quotient Rules Dr Craig 22 Marc 2017 Semester Test 1 Scripts will be available for collection from Tursay morning. For marking
More informationResearch Article Convex Polyhedron Method to Stability of Continuous Systems with Two Additive Time-Varying Delay Components
Applied Mathematics Volume 202, Article ID 689820, 3 pages doi:0.55/202/689820 Research Article Convex Polyhedron Method to Stability of Continuous Systems with Two Additive Time-Varying Delay Components
More information160 Chapter 3: Differentiation
3. Differentiation Rules 159 3. Differentiation Rules Tis section introuces a few rules tat allow us to ifferentiate a great variety of functions. By proving tese rules ere, we can ifferentiate functions
More informationStability and Stabilizability of Linear Parameter Dependent System with Time Delay
Proceedings of te International MultiConference of Engineers and Computer Scientists 2008 Vol II IMECS 2008, 19-21 Marc, 2008, Hong Kong Stability and Stabilizability of Linear Parameter Dependent System
More informationStability of Linear Distributed Parameter Systems with Time-Delays
Stability of Linear Distributed Parameter Systems with Time-Delays Emilia FRIDMAN* *Electrical Engineering, Tel Aviv University, Israel joint with Yury Orlov (CICESE Research Center, Ensenada, Mexico)
More informationContinuous measurements: partial selection
0 May 00 Pysics Letters A 97 00 300 306 wwwelseviercom/locate/pla Continuous measurements: partial selection YuA Rembovsky Department of Pysics, MV Lomonosov State University, Moscow 119899, Russia Receive
More information2.4 Exponential Functions and Derivatives (Sct of text)
2.4 Exponential Functions an Derivatives (Sct. 2.4 2.6 of text) 2.4. Exponential Functions Definition 2.4.. Let a>0 be a real number ifferent tan. Anexponential function as te form f(x) =a x. Teorem 2.4.2
More informationMAT1A01: Differentiation of Polynomials & Exponential Functions + the Product & Quotient Rules
MAT1A01: Differentiation of Polynomials & Exponential Functions + te Prouct & Quotient Rules Dr Craig 22 Marc 2016 Semester Test 1 Results ave been publise on Blackboar uner My Graes. Scripts will be available
More informationAMS 147 Computational Methods and Applications Lecture 09 Copyright by Hongyun Wang, UCSC. Exact value. Effect of round-off error.
Lecture 09 Copyrigt by Hongyun Wang, UCSC Recap: Te total error in numerical differentiation fl( f ( x + fl( f ( x E T ( = f ( x Numerical result from a computer Exact value = e + f x+ Discretization error
More informationGlobal Output Feedback Stabilization of a Class of Upper-Triangular Nonlinear Systems
9 American Control Conference Hyatt Regency Riverfront St Louis MO USA June - 9 FrA4 Global Output Feedbac Stabilization of a Class of Upper-Triangular Nonlinear Systems Cunjiang Qian Abstract Tis paper
More informationFilter Design for Linear Time Delay Systems
IEEE TRANSACTIONS ON SIGNAL PROCESSING, VOL. 49, NO. 11, NOVEMBER 2001 2839 ANewH Filter Design for Linear Time Delay Systems E. Fridman Uri Shaked, Fellow, IEEE Abstract A new delay-dependent filtering
More informationInput/output delay approach to robust sampled-data H control
Systems & Control Letters 54 (5) 71 8 www.elsevier.com/locate/sysconle Input/output delay approach to robust sampled-data H control E. Fridman, U. Shaked, V. Suplin Department of Electrical Engineering-Systems,
More informationA Note on Exact Solutions to Linear Differential Equations by the Matrix Exponential
Avances in Applie Mathematics an Mechanics Av. Appl. Math. Mech. Vol. 1 No. 4 pp. 573-580 DOI: 10.4208/aamm.09-m0946 August 2009 A Note on Exact Solutions to Linear Differential Equations by the Matrix
More informationAdaptive Gain-Scheduled H Control of Linear Parameter-Varying Systems with Time-Delayed Elements
Aaptive Gain-Scheule H Control of Linear Parameter-Varying Systems with ime-delaye Elements Yoshihiko Miyasato he Institute of Statistical Mathematics 4-6-7 Minami-Azabu, Minato-ku, okyo 6-8569, Japan
More informationf(x + h) f(x) f (x) = lim
Introuction 4.3 Some Very Basic Differentiation Formulas If a ifferentiable function f is quite simple, ten it is possible to fin f by using te efinition of erivative irectly: f () 0 f( + ) f() However,
More informationarxiv: v1 [math.ds] 21 Sep 2017
UNBOUNDED AND BLOW-UP SOLUTIONS FOR A DELAY LOGISTIC EQUATION WITH POSITIVE FEEDBACK arxiv:709.07295v [math.ds] 2 Sep 207 ISTVÁN GYŐRI, YUKIHIKO NAKATA, AND GERGELY RÖST Abstract. We stuy boune, unboune
More informationFunction Composition and Chain Rules
Function Composition an Cain Rules James K. Peterson Department of Biological Sciences an Department of Matematical Sciences Clemson University November 2, 2018 Outline Function Composition an Continuity
More informationMath 1210 Midterm 1 January 31st, 2014
Mat 110 Midterm 1 January 1st, 01 Tis exam consists of sections, A and B. Section A is conceptual, wereas section B is more computational. Te value of every question is indicated at te beginning of it.
More informationRobust sampled-data stabilization of linear systems - An input delay approach
Robust sampled-data stabilization of linear systems - An input delay approach Emilia Fridman, Alexandre Seuret, Jean-Pierre Richard To cite this version: Emilia Fridman, Alexandre Seuret, Jean-Pierre Richard.
More information. ISSN (print), (online) International Journal of Nonlinear Science Vol.6(2008) No.3,pp
. ISSN 1749-3889 (print), 1749-3897 (online) International Journal of Nonlinear Science Vol.6(8) No.3,pp.195-1 A Bouneness Criterion for Fourth Orer Nonlinear Orinary Differential Equations with Delay
More informationSolution. Solution. f (x) = (cos x)2 cos(2x) 2 sin(2x) 2 cos x ( sin x) (cos x) 4. f (π/4) = ( 2/2) ( 2/2) ( 2/2) ( 2/2) 4.
December 09, 20 Calculus PracticeTest s Name: (4 points) Find te absolute extrema of f(x) = x 3 0 on te interval [0, 4] Te derivative of f(x) is f (x) = 3x 2, wic is zero only at x = 0 Tus we only need
More informationControl under Quantization, Saturation and Delay: An LMI Approach
Proceedings of the 7th World Congress The International Federation of Automatic Control Control under Quantization, Saturation and Delay: An LMI Approach Emilia Fridman Michel Dambrine Department of Electrical
More informationAutomatica. Exponential stability of linear distributed parameter systems with time-varying delays. Emilia Fridman a,, Yury Orlov b.
Automatica 45 (9) 194 1 Contents lists available at ScienceDirect Automatica journal homepage: www.elsevier.com/locate/automatica Brief paper Exponential stability of linear distributed parameter systems
More informationch (for some fixed positive number c) reaching c
GSTF Journal of Matematics Statistics and Operations Researc (JMSOR) Vol. No. September 05 DOI 0.60/s4086-05-000-z Nonlinear Piecewise-defined Difference Equations wit Reciprocal and Cubic Terms Ramadan
More informationA new robust delay-dependent stability criterion for a class of uncertain systems with delay
A new robust delay-dependent stability criterion for a class of uncertain systems with delay Fei Hao Long Wang and Tianguang Chu Abstract A new robust delay-dependent stability criterion for a class of
More informationSECTION 2.1 BASIC CALCULUS REVIEW
Tis capter covers just te very basics of wat you will nee moving forwar onto te subsequent capters. Tis is a summary capter, an will not cover te concepts in-ept. If you ve never seen calculus before,
More informationPoisson Equation in Sobolev Spaces
Poisson Equation in Sobolev Spaces OcMountain Dayligt Time. 6, 011 Today we discuss te Poisson equation in Sobolev spaces. It s existence, uniqueness, and regularity. Weak Solution. u = f in, u = g on
More informationMath 242: Principles of Analysis Fall 2016 Homework 7 Part B Solutions
Mat 22: Principles of Analysis Fall 206 Homework 7 Part B Solutions. Sow tat f(x) = x 2 is not uniformly continuous on R. Solution. Te equation is equivalent to f(x) = 0 were f(x) = x 2 sin(x) 3. Since
More informationEects of small delays on stability of singularly perturbed systems
Automatica 38 (2002) 897 902 www.elsevier.com/locate/automatica Technical Communique Eects of small delays on stability of singularly perturbed systems Emilia Fridman Department of Electrical Engineering
More informationDelay-dependent Stability Analysis for Markovian Jump Systems with Interval Time-varying-delays
International Journal of Automation and Computing 7(2), May 2010, 224-229 DOI: 10.1007/s11633-010-0224-2 Delay-dependent Stability Analysis for Markovian Jump Systems with Interval Time-varying-delays
More information0.1 Differentiation Rules
0.1 Differentiation Rules From our previous work we ve seen tat it can be quite a task to calculate te erivative of an arbitrary function. Just working wit a secon-orer polynomial tings get pretty complicate
More informationContinuous observer design for nonlinear systems with sampled and delayed output measurements
Preprints of th9th Worl Congress The International Feeration of Automatic Control Continuous observer esign for nonlinear systems with sample an elaye output measurements Daoyuan Zhang Yanjun Shen Xiaohua
More informationDerivatives. if such a limit exists. In this case when such a limit exists, we say that the function f is differentiable.
Derivatives 3. Derivatives Definition 3. Let f be a function an a < b be numbers. Te average rate of cange of f from a to b is f(b) f(a). b a Remark 3. Te average rate of cange of a function f from a to
More informationThe effect of dissipation on solutions of the complex KdV equation
Mathematics an Computers in Simulation 69 (25) 589 599 The effect of issipation on solutions of the complex KV equation Jiahong Wu a,, Juan-Ming Yuan a,b a Department of Mathematics, Oklahoma State University,
More informationDifferential Calculus: Differentiation (First Principles, Rules) and Sketching Graphs (Grade 12) *
OpenStax-CNX moule: m39313 1 Differential Calculus: Differentiation (First Principles, Rules) an Sketcing Graps (Grae 12) * Free Hig Scool Science Texts Project Tis work is prouce by OpenStax-CNX an license
More informationLIMITS AND DERIVATIVES CONDITIONS FOR THE EXISTENCE OF A LIMIT
LIMITS AND DERIVATIVES Te limit of a function is defined as te value of y tat te curve approaces, as x approaces a particular value. Te limit of f (x) as x approaces a is written as f (x) approaces, as
More informationMinimum-time constrained velocity planning
7th Meiterranean Conference on Control & Automation Makeonia Palace, Thessaloniki, Greece June 4-6, 9 Minimum-time constraine velocity planning Gabriele Lini, Luca Consolini, Aurelio Piazzi Università
More informationA transmission problem for the Timoshenko system
Volume 6, N., pp. 5 34, 7 Copyright 7 SBMAC ISSN -85 www.scielo.br/cam A transmission problem for the Timoshenko system C.A. RAPOSO, W.D. BASTOS an M.L. SANTOS 3 Department of Mathematics, UFSJ, Praça
More informationShift Theorem Involving the Exponential of a Sum of Non-Commuting Operators in Path Integrals. Abstract
YITP-SB-6-4 Sift Teorem Involving te Exponential of a Sum of Non-Commuting Operators in Pat Integrals Fre Cooper 1, an Gouranga C. Nayak 2, 1 Pysics Division, National Science Founation, Arlington VA 2223
More informationNetworked Control With Stochastic Scheduling
IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 60, NO., NOVEMBER 205 307 Networked Control With Stochastic Scheduling Kun Liu, Emilia Fridman, and Karl Henrik Johansson Abstract This note develops the time-delay
More informationLyapunov characterization of input-to-state stability for semilinear control systems over Banach spaces
Lyapunov caracterization of input-to-state stability for semilinear control systems over Banac spaces Andrii Mironcenko a, Fabian Wirt a a Faculty of Computer Science and Matematics, University of Passau,
More informationReachable Set Analysis for Dynamic Neural Networks with Polytopic Uncertainties
Commun. Theor. Phys. 57 (2012) 904 908 Vol. 57, No. 5, May 15, 2012 Reachable Set Analysis for Dynamic Neural Networks with Polytopic Uncertainties ZUO Zhi-Qiang ( ãö), CHEN Yin-Ping (í ), an WANG Yi-Jing
More informationOn backwards and forwards reachable sets bounding for perturbed time-delay systems
*Manuscript Click here to download Manuscript: 0HieuNamPubuduLeAMC2015revision 2.pdf Click here to view linked References On backwards and forwards reachable sets bounding for perturbed time-delay systems
More informationHOMEWORK HELP 2 FOR MATH 151
HOMEWORK HELP 2 FOR MATH 151 Here we go; te second round of omework elp. If tere are oters you would like to see, let me know! 2.4, 43 and 44 At wat points are te functions f(x) and g(x) = xf(x)continuous,
More informationCriteria for Global Stability of Coupled Systems with Application to Robust Output Feedback Design for Active Surge Control
Criteria for Global Stability of Couple Systems with Application to Robust Output Feeback Design for Active Surge Control Shiriaev, Anton; Johansson, Rolf; Robertsson, Aners; Freiovich, Leoni 9 Link to
More information1. Introduction. We consider the model problem: seeking an unknown function u satisfying
A DISCONTINUOUS LEAST-SQUARES FINITE ELEMENT METHOD FOR SECOND ORDER ELLIPTIC EQUATIONS XIU YE AND SHANGYOU ZHANG Abstract In tis paper, a discontinuous least-squares (DLS) finite element metod is introduced
More informationDifferentiation in higher dimensions
Capter 2 Differentiation in iger dimensions 2.1 Te Total Derivative Recall tat if f : R R is a 1-variable function, and a R, we say tat f is differentiable at x = a if and only if te ratio f(a+) f(a) tends
More informationLecture XVII. Abstract We introduce the concept of directional derivative of a scalar function and discuss its relation with the gradient operator.
Lecture XVII Abstract We introduce te concept of directional derivative of a scalar function and discuss its relation wit te gradient operator. Directional derivative and gradient Te directional derivative
More informationSTABILIZATION OF LINEAR SYSTEMS VIA DELAYED STATE FEEDBACK CONTROLLER. El-Kébir Boukas. N. K. M Sirdi. Received December 2007; accepted February 2008
ICIC Express Letters ICIC International c 28 ISSN 1881-83X Volume 2, Number 1, March 28 pp. 1 6 STABILIZATION OF LINEAR SYSTEMS VIA DELAYED STATE FEEDBACK CONTROLLER El-Kébir Boukas Department of Mechanical
More informationESTIMATES FOR SOLUTIONS TO A CLASS OF NONLINEAR TIME-DELAY SYSTEMS OF NEUTRAL TYPE
Electronic Journal of Differential Equations Vol. 2015 2015) No. 34 pp. 1 14. ISSN: 1072-6691. URL: http://eje.math.txstate.eu or http://eje.math.unt.eu ftp eje.math.txstate.eu ESTIMATES FOR SOLUTIONS
More informationSOME LYAPUNOV TYPE POSITIVE OPERATORS ON ORDERED BANACH SPACES
Ann. Aca. Rom. Sci. Ser. Math. Appl. ISSN 2066-6594 Vol. 5, No. 1-2 / 2013 SOME LYAPUNOV TYPE POSITIVE OPERATORS ON ORDERED BANACH SPACES Vasile Dragan Toaer Morozan Viorica Ungureanu Abstract In this
More informationHigher Derivatives. Differentiable Functions
Calculus 1 Lia Vas Higer Derivatives. Differentiable Functions Te second derivative. Te derivative itself can be considered as a function. Te instantaneous rate of cange of tis function is te second derivative.
More informationThe Matrix exponential, Dynamic Systems and Control
e Matrix exponential, Dynamic Systems Control Niels Kjølsta Poulsen Department of Informatics Matematical Moelling, Builing 321 e ecnical University of Denmark DK-28 Lyngby IMM tecnical report 24-2 218-5-18
More informationInfluence of the Stepsize on Hyers Ulam Stability of First-Order Homogeneous Linear Difference Equations
International Journal of Difference Equations ISSN 0973-6069, Volume 12, Number 2, pp. 281 302 (2017) ttp://campus.mst.edu/ijde Influence of te Stepsize on Hyers Ulam Stability of First-Order Homogeneous
More informationOrder of Accuracy. ũ h u Ch p, (1)
Order of Accuracy 1 Terminology We consider a numerical approximation of an exact value u. Te approximation depends on a small parameter, wic can be for instance te grid size or time step in a numerical
More informationTHE phenomena of time delays are often encountered in
0 American Control Conference on O'Farrell Street San Francisco CA USA June 9 - July 0 0 Robust stability criteria for uncertain systems with delay and its derivative varying within intervals Luis Felipe
More informationSTABILITY OF THE METHOD OF LINES FOR THE MCKENDRICK - VON FOERSTER EQUATION
FUNCTIONAL DIFFERENTIAL EQUATIONS VOLUME 2 213, NO 3 4 PP. 21 222 STABILITY OF THE METHOD OF LINES FOR THE MCKENDRICK - VON FOERSTER EQUATION H. LESZCZYŃSKI AND P. ZWIERKOWSKI Abstract. We analyze te meto
More information6 General properties of an autonomous system of two first order ODE
6 General properties of an autonomous system of two first orer ODE Here we embark on stuying the autonomous system of two first orer ifferential equations of the form ẋ 1 = f 1 (, x 2 ), ẋ 2 = f 2 (, x
More informationEXPONENTIAL STABILITY OF SOLUTIONS TO NONLINEAR TIME-DELAY SYSTEMS OF NEUTRAL TYPE GENNADII V. DEMIDENKO, INESSA I. MATVEEVA
Electronic Journal of Differential Equations, Vol. 2016 (2016), No. 19, pp. 1 20. ISSN: 1072-6691. URL: http://eje.math.txstate.eu or http://eje.math.unt.eu ftp eje.math.txstate.eu EXPONENTIAL STABILITY
More informationVolume 29, Issue 3. Existence of competitive equilibrium in economies with multi-member households
Volume 29, Issue 3 Existence of competitive equilibrium in economies wit multi-member ouseolds Noriisa Sato Graduate Scool of Economics, Waseda University Abstract Tis paper focuses on te existence of
More informationOn Dwell Time Minimization for Switched Delay Systems: Free-Weighting Matrices Method
On Dwell Time Minimization for Switched Delay Systems: Free-Weighting Matrices Method Ahmet Taha Koru Akın Delibaşı and Hitay Özbay Abstract In this paper we present a quasi-convex minimization method
More informationSwitching Time Optimization in Discretized Hybrid Dynamical Systems
Switching Time Optimization in Discretize Hybri Dynamical Systems Kathrin Flaßkamp, To Murphey, an Sina Ober-Blöbaum Abstract Switching time optimization (STO) arises in systems that have a finite set
More informationUsing the definition of the derivative of a function is quite tedious. f (x + h) f (x)
Derivative Rules Using te efinition of te erivative of a function is quite teious. Let s prove some sortcuts tat we can use. Recall tat te efinition of erivative is: Given any number x for wic te limit
More information(a 1 m. a n m = < a 1/N n
Notes on a an log a Mat 9 Fall 2004 Here is an approac to te eponential an logaritmic functions wic avois any use of integral calculus We use witout proof te eistence of certain limits an assume tat certain
More informationTime-of-Arrival Estimation in Non-Line-Of-Sight Environments
2 Conference on Information Sciences an Systems, The Johns Hopkins University, March 2, 2 Time-of-Arrival Estimation in Non-Line-Of-Sight Environments Sinan Gezici, Hisashi Kobayashi an H. Vincent Poor
More informationMANY scientific and engineering problems can be
A Domain Decomposition Metod using Elliptical Arc Artificial Boundary for Exterior Problems Yajun Cen, and Qikui Du Abstract In tis paper, a Diriclet-Neumann alternating metod using elliptical arc artificial
More informationlecture 26: Richardson extrapolation
43 lecture 26: Ricardson extrapolation 35 Ricardson extrapolation, Romberg integration Trougout numerical analysis, one encounters procedures tat apply some simple approximation (eg, linear interpolation)
More informationDifferentiation Rules c 2002 Donald Kreider and Dwight Lahr
Dierentiation Rules c 00 Donal Kreier an Dwigt Lar Te Power Rule is an example o a ierentiation rule. For unctions o te orm x r, were r is a constant real number, we can simply write own te erivative rater
More informationRecall from our discussion of continuity in lecture a function is continuous at a point x = a if and only if
Computational Aspects of its. Keeping te simple simple. Recall by elementary functions we mean :Polynomials (including linear and quadratic equations) Eponentials Logaritms Trig Functions Rational Functions
More informationLOCAL EXISTENCE AND UNIQUENESS FOR THE HYDROSTATIC EULER EQUATIONS ON A BOUNDED DOMAIN IGOR KUKAVICA, ROGER TEMAM, VLAD C. VICOL, AND MOHAMMED ZIANE
LOCAL EXISTENCE AND UNIQUENESS FOR THE HYDROSTATIC EULER EQUATIONS ON A BOUNDED DOMAIN IGOR KUKAVICA, ROGER TEMAM, VLAD C. VICOL, AND MOHAMMED ZIANE Abstract. We aress te question of well-poseness in spaces
More informationMulti-agent Systems Reaching Optimal Consensus with Time-varying Communication Graphs
Preprints of the 8th IFAC Worl Congress Multi-agent Systems Reaching Optimal Consensus with Time-varying Communication Graphs Guoong Shi ACCESS Linnaeus Centre, School of Electrical Engineering, Royal
More informationHy Ex Ez. Ez i+1/2,j+1. Ex i,j+1/2. γ z. Hy i+1/2,j+1/2. Ex i+1,j+1/2. Ez i+1/2,j
IEEE TRANSACTIONS ON, VOL. XX, NO. Y, MONTH 000 100 Moeling Dielectric Interfaces in te FDTD-Meto: A Comparative Stuy C. H. Teng, A. Ditkowski, J. S. Hestaven Abstract In tis paper, we present special
More informationNUMERICAL DIFFERENTIATION
NUMERICAL IFFERENTIATION FIRST ERIVATIVES Te simplest difference formulas are based on using a straigt line to interpolate te given data; tey use two data pints to estimate te derivative. We assume tat
More informationStability of solutions to linear differential equations of neutral type
Journal of Analysis an Applications Vol. 7 (2009), No.3, pp.119-130 c SAS International Publications URL : www.sasip.net Stability of solutions to linear ifferential equations of neutral type G.V. Demienko
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial Differential Equations «Viktor Grigoryan 6 Wave equation: solution In this lecture we will solve the wave equation on the entire real line x R. This correspons to a string of infinite
More informationStability Analysis of Sampled-Data Systems Using Sum of Squares
1620 IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 58, NO. 6, JUNE 2013 Stability Analysis of Sampled-Data Systems Using Sum of Squares Alexandre Seuret and Matthew M. Peet Abstract This technical brief
More informationNonholonomic Integrators
Nonolonomic Integrators J. Cortés an S. Martínez Laboratory of Dynamical Systems, Mecanics an Control, Instituto e Matemáticas y Física Funamental, CSIC, Serrano 13, 8006 Mari, SPAIN E-mail: j.cortes@imaff.cfmac.csic.es,
More informationContinuity and Differentiability of the Trigonometric Functions
[Te basis for te following work will be te definition of te trigonometric functions as ratios of te sides of a triangle inscribed in a circle; in particular, te sine of an angle will be defined to be te
More informationJournal of Computational and Applied Mathematics
Journal of Computational and Applied Matematics 94 (6) 75 96 Contents lists available at ScienceDirect Journal of Computational and Applied Matematics journal omepage: www.elsevier.com/locate/cam Smootness-Increasing
More informationLectures - Week 10 Introduction to Ordinary Differential Equations (ODES) First Order Linear ODEs
Lectures - Week 10 Introuction to Orinary Differential Equations (ODES) First Orer Linear ODEs When stuying ODEs we are consiering functions of one inepenent variable, e.g., f(x), where x is the inepenent
More informationNUMERICAL DIFFERENTIATION. James T. Smith San Francisco State University. In calculus classes, you compute derivatives algebraically: for example,
NUMERICAL DIFFERENTIATION James T Smit San Francisco State University In calculus classes, you compute derivatives algebraically: for example, f( x) = x + x f ( x) = x x Tis tecnique requires your knowing
More informationStability and stabilization of 2D continuous state-delayed systems
20 50th IEEE Conference on Decision and Control and European Control Conference (CDC-ECC) Orlando, FL, USA, December 2-5, 20 Stability and stabilization of 2D continuous state-delayed systems Mariem Ghamgui,
More information