arxiv: v1 [math.oc] 2 Mar 2009

Transcription

1 HOMOGENEOUS APPROXIMATION RECURSIVE OBSERVER DESIGN AND OUTPUT FEEDBACK VINCENT ANDRIEU, LAURENT PRALY, AND ALESSANDRO ASTOLFI axiv: v [mathoc] 2 Ma 2009 Abstact We intouce two new tools that can be useful in nonlinea obseve an output feeback esign The fist one is a simple extension of the notion of homogeneous appoximation to make it vali both at the oigin an at infinity homogeneity in the bi-limit Exploiting this extension, we give seveal esults concening stability an obustness fo a homogeneous in the bi-limit vecto fiel The secon tool is a new ecusive obseve esign poceue fo a chain of integato Combining these two tools we popose a new global asymptotic stabilization esult by output feeback fo feeback an feefowa systems Intouction The poblems of esigning globally convegent obseves an globally asymptotically stabilizing output feeback contol laws fo nonlinea systems have been aesse by many authos following iffeent outes Many of these appoaches exploit omination ieas an obustness of stability an/o convegence In view of possibly claifying an eveloping futhe these techniques we intouce two new tools The fist one is a simple extension of the technique of homogeneous appoximation to make it vali both at the oigin an at infinity The secon tool is a new ecusive obseve esign poceue fo a chain of integato Combining these two tools we popose a new global asymptotic stabilization esult by output feeback fo feeback an feefowa systems To place ou contibution in pespective, we consie the system fo which we want to esign a global asymptotic stabilizing output feeback : whee see notation 4 : 2 ẋ = x 2, ẋ 2 = u + δ 2 x,x 2, y = x, δ 2 x,x 2 = c 0 x q 2 + c x p 2, c 0,c R 2, p > q > 0 an the poblem of esigning a globally stabilizing output feeback contolle In the omination s appoach, the nonlinea function δ 2 is not teate pe se in the esign but consiee as a petubation In this famewok the output feeback contolle is esigne on the linea system : 3 ẋ = x 2, ẋ 2 = u, y = x, an will be suitable fo the nonlinea system povie the global asymptotic stability obtaine fo the oigin of the close-loop system is obust to the nonlinea istubance δ 2 Fo instance, the esign given in [2, 27] povies a linea output feeback contolle which is suitable fo the nonlinea system when q = an V Anieu vincentanieu@gmailcom is with LAAS-CNRS, Univesity of Toulouse, 3077 Toulouse, Fance This wok has been one while he was in Electical an Electonic Engineeing Dept, Impeial College Lonon L Paly LauentPaly@ensmpf is with the Cente Automatique et Systèmes, École es Mines e Pais, 35 Rue Saint Honoé, Fontainebleau, Fance A Astolfi aastolfi@icacuk is with the Electical an Electonic Engineeing Dept, Impeial College Lonon, Lonon, SW7 2AZ, UK an with Dipatimento i Infomatica Sistemi e Pouzione, Univesity of Rome To Vegata, Via el Politecnico, 0033 Roma, Italy The wok of A Astolfi an V Anieu is patly suppote by the Levehulme Tust

2 c = 0 This esult has been extene ecently in [26] employing a homogeneous output feeback contolle which allows to eal with p an c 0 = 0 Homogeneity in the bi-limit an the novel ecusive obseve esign popose in this pape allow us to eal with the case in which c 0 0 an c 0, In this case, the function δ 2 is such that : when x 2 is small an q =, δ 2 x 2 can be appoximate by c 0 x 2 an the nonlineaity can be appoximate by a linea function; 2 when x 2 is lage, δ 2 x 2 can be appoximate by c x p 2, hence we have a polynomial gowth which can be hanle by a weighte homogeneous contolle as in [26] To eal with both linea an polynomial tems we intouce a genealization of weighte homogeneity which highlights the fact that a function becomes homogeneous as the state tens to the oigin o to infinity but with iffeent weights an egees The pape is oganize as follows Section 2 is evote to geneal popeties elate to homogeneity Afte giving the efinition of homogeneous appoximation we intouce homogeneous in the bi-limit functions an vecto fiels Section 2 an list some of thei popeties Section 22 Vaious esults concening stability an obustness fo homogeneous in the bi-limit vecto fiels ae given in Section 23 In Section 3 we intouce a novel ecusive obseve esign metho fo a chain of integato Section 4 is evote to the homogeneous in the bi-limit state feeback Finally, in Section 5, using the pevious tools we establish new esults on stabilization by output feeback Notation R + enotes the set [0,+ Fo any non-negative eal numbe the function w w is efine as : 4 w = signw w, w R Accoing to this efinition : 5 w w = w, w 2 = w w, w > w 2 an > 0 w > w 2 The function H : R 2 + R + is efine as 6 Ha,b = a [ + b] +a Given =,, n T in R n + an λ in R +, λ x = λ x,, λ n x n T is the ilation of a vecto x in R n with weight Note that : λ λ 2 x = λ λ 2 x Given =,, n T in R + \0} n, x = x + + x n n is the homogeneous nom with weight an egee Note that : λ x = λ x, 2 x x =

3 Given in R + \0} n, S = x R n x = } is the unity homogeneous sphee Note that each x in R n can be ecompose in pola cooinates, ie thee exist λ in R + an θ in S satisfying : 7 x = λ θ with λ = x θ = x x 2 Homogeneous appoximation 2 Definitions The use of homogeneous appoximations has a long histoy in the stuy of stability of an equilibium It can be tace back to Lyapunov fist oe appoximation theoem an has been pusue by many authos, fo example Massea[6], Hahn [8], Hemes [9], Rosie [29] Similaly this technique has been use to investigate the behavio of the solutions of ynamical systems at infinity, see fo instance Lefschetz in [4, IX5] an Osi, Paly an Maeels in [20] In this section, we ecall the efinitions of homogeneous appoximation at the oigin an at infinity an estate an/o complete some elate esults Definition 2 Homogeneity in the 0-limit A function φ : R n R is sai homogeneous in the 0-limit with associate tiple 0, 0,φ 0, whee 0 in R + \0} n is the weight, 0 in R + the egee an φ 0 : R n R the appoximating function, if φ is continuous, φ 0 is continuous an not ientically zeo an, fo each compact set C in R n \0} an each ε > 0, thee exists λ 0 such that : max x C φλ 0 x λ 0 φ 0 x ε, λ 0,λ 0] A vecto fiel f = n i= f i x i is sai homogeneous in the 0-limit with associate tiple 0, 0,f 0, whee 0 in R + \0} n is the weight, 0 in R is the egee an f 0 = n i= f 0,i x i the appoximating vecto fiel, if, fo each i in,,n}, 0 + 0,i 0 an the function f i is homogeneous in the 0-limit with associate tiple 0, 0 + 0,i,f 0,i This notion of local appoximation of a function o of a vecto fiel can be foun in [9, 29, 2, 0] Example 22 : The function δ 2 : R R intouce in the illustative system is homogeneous in the 0-limit with associate tiple 0, 0, δ 2,0 =,q,c 0 x q 2 Futhemoe, if q < 2 the vecto fiel fx,x 2 = x 2,δ 2 x 2 is homogeneous in the 0-limit with associate tiple : 2 0, 0, f 0 = 2 q,, q, x 2,c 0 x q 2 Definition 23 Homogeneity in the -limit A function φ : R n R is sai homogeneous in the -limit with associate tiple,,φ, whee in R + \ 0} n is the weight, in R + the egee an φ : R n R the appoximating function, if φ is continuous, φ is continuous an not ientically zeo an, fo each compact set C in R n \0} an each ε > 0, thee exists λ such that : max x C φλ x λ φ x ε, λ λ 3

4 A vecto fiel f = n i= f i x i is sai homogeneous in the -limit with associate tiple,,f, whee in R + \ 0} n is the weight, in R the egee an f = n i= f,i x i the appoximating vecto fiel, if, fo each i in,,n}, +,i 0 an the function f i is homogeneous in the -limit with associate tiple, +,i,f,i Example 24 : The function δ 2 : R R given in the illustative system is homogeneous in the -limit with associate tiple,, δ 2, =, p, c x p 2 Futhemoe, when p < 2, the vecto fiel fx,x 2 = x 2,δ 2 x 2 is homogeneous in the -limit with associate tiple : 22,, f = 2 p,, p, x 2,c x p 2 Definition 25 Homogeneity in the bi-limit A function φ : R n R o a vecto fiel f : R n R n is sai homogeneous in the bi-limit if it is homogeneous in the 0-limit an homogeneous in the -limit Remak 26 : If a function φ espectively a vecto fiel f is homogeneous in the bi-limit, then the appoximating function φ 0 o φ esp the appoximating vecto fiel f 0 o f is homogeneous in the stana sense with the same weight an egee Example 27:As a consequenceofexamples22 an 24, the vectofiel fx,x 2 = x 2,δ 2 x 2 is homogeneous in the bi-limit with associate tiples given in 2 an 22 as long as 0 < q < p < 2 Example 28 : The function x x x, whee 0, ae in R 2 + an 0, aein R + \0} 2n ishomogeneousin thebi-limit with associatetiples 0, 0, x 0 0 an,, x povie that 23,i > 0 0,i, i,,n} Example 29 : We ecall equation 6 an consie two homogeneous an positive efinite functions φ 0 : R n R + an φ : R n R + with weights 0, in R + \0} 2n an egees 0, in R + \0} 2 The function x Hφ 0 x,φ x is positive efinite an homogeneous in the bi-limit with associate tiples 0, 0,φ 0 an,,φ This way to constuct a homogeneous in the bi-limit function fom two positive efinite homogenous functions is extensively use in the pape 22 Popeties of homogeneous appoximations To begin with note that the weight an egee of an homogeneous in the 0-esp -limit function ae not uniquely efine Inee, if φ is homogeneous in the 0-esp -limit with associate This is pove noting that, fo all x in R n an all µ in R + \0}, φ 0 µ 0 x µ 0 an similaly fo the homogeneous in the -limit = µ lim φλ 0 µ 0 x φλµ 0 x 0 λ 0 λ = lim 0 λ 0 λµ = φ 0 x, 0 4

5 tiple 0, 0,φ 0 esp,,φ, then it is also homogeneous in the 0-esp - limit with associate tiple k 0,k 0,φ 0 esp k,k,φ fo all k > 0 Simply change λ in λ k It is staightfowa to show that if φ an ζ ae two functions homogeneous in the 0-esp -limit, with weights φ,0 an ζ,0 esp φ, an ζ,, egees φ,0 an ζ,0 esp φ, an ζ,, an appoximating functions φ 0 an ζ 0 esp φ an ζ then the following hols P : If thee exists k in R + such that k φ,0 = ζ,0 esp k φ, = ζ, then the function x φxζx is homogeneous in the 0-esp -limit with weight ζ,0, egeek φ,0 + ζ,0 esp ζ,, k φ, + ζ, an appoximating function x φ 0 xζ 0 x esp x φ xζ x φ,0 φ,0,j < ζ,0 P2 : If, fo each j in,,n}, ζ,0,j esp φ, φ,,j > ζ, ζ,,j, then the function x φx + ζx is homogeneous in the 0-esp -limit with egee φ,0, weight φ,0 esp φ, an φ, an appoximating function x φ 0 x esp x φ x In this case we say that the function φ ominates the function ζ in the 0-limit esp in the -limit P3 : If the function φ 0 +ζ 0 esp φ +ζ is not ientically zeo an, fo each φ,0 φ,0,j = ζ,0 φ, φ,,j j in,,n}, ζ,0,j esp = ζ, ζ,,j, then the function x φx + ζx is homogeneous in the 0-esp -limit with egee φ,0, weight φ,0 esp φ,, φ, anappoximatingfunction x φ 0 x+ζ 0 x esp x φ x+ζ x Some popeties of the composition o invese of functions ae given in the following two popositions, the poofs of which ae given in Appenices A an B Poposition 20 Composition function If φ : R n R an ζ : R R ae homogeneous in the 0-esp -limit functions, with weights φ,0 an ζ,0 esp φ, an ζ,, egees φ,0 > 0 an ζ,0 0 esp φ, > 0 an ζ, 0, an appoximating functions φ 0 an ζ 0 esp φ an ζ, then ζ φ is homogeneous in the 0-esp -limit with weight φ,0 esp φ,, egee ζ,0 φ,0 ζ,0 esp ζ, φ, ζ,, an appoximating function ζ 0 φ 0 esp ζ φ Poposition 2 Invese function Let φ : R R be a bijective homogeneous in the 0-esp -limit function with associate tiple, 0,ϕ 0 x 0 with ϕ0 0 an 0 > 0 esp,,ϕ x with ϕ 0 an > 0 Then the invese function φ : R R is a homogeneous in the 0-esp -limit function with associate tiple, 0, x 0 ϕ 0 esp,, x ϕ Despite the existence of well-known esults concening the eivative of a homogeneous function, it is not possible to say anything, in geneal, when ealing with homogeneity in the limit Fo example the function φx = x 3 +x 2 sinx 2 +x 3 sin/x+x 2, x R, is homogeneous in the bi-limit with associate tiples :,2,x 2,,3,x 3 Howeve its eivative is neithe homogeneous in the 0-limit no in the -limit Nevetheless the following esult hols, the poof of which is elementay Poposition 22 Integal function If the function φ : R n R is homogeneous in the 0-esp -limit with associate tiple 0, 0,φ 0 esp,,φ, then the function Φ i x = x i 0 φx,,x i,s,x i+,,x n s is homogeneous 5

6 in the 0-esp -limit with associate tiple 0, 0 + 0,i,Φ i,0 esp, +,i,φ i,, with Φ i,0 x = x i 0 φ 0 x,,x i,s,x i+,,x n s esp Φ i, x = xi 0 φ x,,x i,s,x i+,,x n s By exploiting the efinition of homogeneity in the bi-limit it is possible to establish esults which ae staightfowa extensions of well-known esults base on the stana notion of homogeneity These esults ae given as coollaies of a key technical lemma, the poof of which is given in Appenix C Lemma 23 Key technical lemma Let η : R n R an γ : R n R + be two functions homogeneous in the bi-limit, with weights 0 an, egees 0 an, an appoximating functions, η 0 an η, an, γ 0 an γ such that the following hols : x R n \0} : γx = 0 } x R n : ηx < 0 }, x R n \0} : γ 0 x = 0 } x R n : η 0 x < 0 }, x R n \0} : γ x = 0 } x R n : η x < 0 } Then thee exists a eal numbe c such that, fo all c c, an fo all x in R n \0} : 24 ηx cγx < 0, η 0 x cγ 0 x < 0, η x cγ x < 0 Example 24 : To illustate the impotance of this Lemma, consie, fo x,x 2 in R 2, the functions ηx,x 2 = x x 2 x + 2, γx,x 2 = x , with > 0 an, 2 > 0, They ae homogeneousin the stana sense an theefoe in the bi-limit, with same weight =, 2 an same egee = + 2 Futhemoe the function γ takes positive values an fo all x,x 2 in x,x 2 R 2 \ 0} : γx,x 2 = 0} we have ηx,x 2 = x + 2 < 0 So Lemma 23 yiels the existence of a positive eal numbe c, such that fo all c c, we have : 25 x x 2 x + 2 c x < 0 x,x 2 R 2 \0} This is a genealization of the poceue known as the completion of the squaes in which howeve the constant c is not specifie Coollay 25 Let φ : R n R an ζ : R n R + be two homogeneous in the bi-limit functions with the same weights 0 an, egees φ,0, φ, an ζ,0, ζ,, an appoximating functions η 0, φ an ζ 0, ζ If the egees satisfy φ,0 ζ,0 an φ, ζ, an the functions ζ, ζ 0 an ζ ae positive efinite then thee exists a positive eal numbe c satisfying : φx cζx, x R n 6

7 Poof : Consie the two functions ηx := φx+ζx, γx := ζx By popety P2 o P3 2 in Subsection 22, they ae homogeneous in the bi-limit with egees ζ,0 an ζ, The function γ an its homogeneous appoximations being positive efinite, all assumptions of Lemma 23 ae satisfie Theefoe thee exists a positive eal numbe c such that : cγx > ηx > φx x R n \0} Finally, by continuity of the functions φ an ζ at zeo, we can obtain the claim 23 Stability an homogeneous appoximation A vey basic popety of asymptotic stability is its obustness This fact was aleay known to Lyapunov who popose his secon metho, local asymptotic stability of an equilibium is establishe by looking at the fist oe appoximation of the system The case of local homogeneous appoximations of highe egee has been investigate by Massea [6], Hemes [9] an Rosie [29] Poposition 26 [29] Consie a homogeneous in the 0-limit vecto fiel f : R n R n with associate tiple 0, 0,f 0 If the oigin of the system : ẋ = f 0 x is locally asymptotically stable then the oigin of ẋ = fx is locally asymptotically stable Consequently, a natual stategy to ensue local asymptotic stability of an equilibium of a system is to esign a stabilizing homogeneous contol law fo the homogeneous appoximation in the 0-limit see [9, 3, 5] fo instance Example 27 : Consie the system with q = an p > q, an the linea contol law : u = c 0 +x 2 x The close loop vecto fiel is homogeneous in the 0-limit with egee 0 = 0, weight, ie we ae in the linea case an associate vecto fiel f 0 x,x 2 = x 2, x x 2 T Selecting the Lyapunov function of egee two : yiels : V 0 x,x 2 = 2 x x 2 + x 2, V 0 x xf 0x = x 2 x 2 + x 2 It follows, fom Lyapunov secon metho, that the contol law locally asymptotically stabilizes the equilibium of the system Futhemoe, local asymptotic stability is 2 If φ 0 x+ζ 0 x = 0, espectively φ x+ζ x = 0, the poof can be complete eplacing ζ with 2ζ 7

8 peseve in the pesence of any petubation which oes not change the appoximating homogeneous function, ie, in the pesence of petubations which ae ominate by the linea pat see Point P2 in Section 22 In the context of homogeneity in the -limit, we have the following esult Poposition 28 Consie a homogeneous in the -limit vecto fiel f : R n R n with associate tiple,,f If the oigin of the system : ẋ = f x, is globally asymptotically stable then thee exists an invaiant compact subset of R n, enote C, which is globally asymptotically stable 3 fo the system : ẋ = fx The poof of the poposition is given in Appenix D As in the case of homogeneity in the 0-limit, this popety can be use to esign a feeback ensuing bouneness of solutions Example 29 : Consie the system with 0 < q < p < 2 an the contol law : u = p 2 p x 2 x p 2 p c x p 2 x 2 + x 2 p 26 2 p xp 2 p x p This contol law is such that the close loop vecto fiel is homogeneous in the - limit with egee = p, weight 2 p, an associate vectofiel f x,x 2 = x 2, p p T 2 p 2 p x 2 x x 2 + x 2 p FothehomogeneousLyapunovfunction of egee two : V x,x 2 = 2 p 2 x 2 p x 2 + x 2 p 2, we get : V x xf x = x p+ 2 p x 2 + x 2 p p+ It follows that the contol law 26 guaantees bouneness of the solutions of the close loop system Futhemoe, bouneness of solutions is peseve in the pesence of any petubation which oes not change the appoximating homogeneous function in the -limit, ie in the pesence of petubations which ae negligible with espect to the ominant homogeneous pat see Point P2 in Section 22 The key step in the poof of Popositions 26 an 28 is the convese Lyapunov theoem given by Rosie in [29] This esult can also be extene to the case of homogeneity in the bi-limit Theoem 220 Homogeneous in the bi-limit Lyapunov functions Consie a homogeneous in the bi-limit vecto fiel f : R n R n, with associate tiples,,f an 0, 0,f 0 such that the oigins of the systems : 27 ẋ = fx, ẋ = f x, ẋ = f 0 x 3 See [34] fo the efinition of global asymptotical stability fo invaiant compact sets 8

9 ae globally asymptotically stable equilibia Let V an V0 be eal numbes such that V > max i n,i an V0 > max i n 0,i Then thee exists a C, positive efinite an pope function V : R n R + such that, fo each i in,,n}, the functions x V x i is homogeneous in the bi-limit withassociate tiples an, V,i, V x i 0, V0 0,i, V0 x i an the function x V V0 x xfx, x x xf 0x an x V x xf x ae negative efinite The poof is given in Appenix E A iect consequence of this esult is an Inputto-State Stability ISS popety with espect to istubances see [3] To illustate this popety, consie the system with exogenous istubance δ = δ,,δ m in R m : 28 ẋ = fx,δ, withf : R n R m acontinuousvectofielhomogeneousinthebi-limitwithassociate tiples 0, 0, 0,f 0 an,,,f whee 0 an in R + \0} m ae the weights associate to the istubance δ Coollay 22 ISS Popety If the oigins of the systems : ẋ = fx,0, ẋ = f 0 x,0, ẋ = f x,0 ae globally asymptotically stable equilibia, then une the hypotheses of Theoem 220 the function V given by Theoem 220 satisfies 4 fo all δ = δ,,δ m in R m an x in R n : V V0 + 0 x xfx,δ c V + V H Vx V0,Vx V 29 + c δ m whee c V an c δ ae positive eal numbes j= V0 + 0 V + H δ j 0,j, δ j,j In othe wos, system 28 with δ as input is ISS The poof of this coollayis given in Appenix F Finally, we have also the following small-gain esult fo homogeneous in the bilimit vecto fiels Coollay 222 Small-Gain Une the hypotheses of Coollay 22, thee exists a eal numbe c G > 0 such that, fo each class K function γ z an KL function β δ, thee exists a class KL function β x such that, fo each function t [0,T xt,δt,zt, T +, with x C an δ an z continuous, which satisfies, both 28 on [0,T an, fo all 0 s t T, 20 2 we have zt max β δ zs,t s, sup s κ t } γ z xκ δ i t max β δ zs,t s, c G sup H xκ 0,i } } 0, xκ,i, s κ t,, 22 xt β x xs,zs,t s 0 s t T 4 The function H is efine in 6 9

10 The poof is given in Appenix G Example 223 : An inteesting case which can be ealt with by Coollay 222 is when the δ i s ae outputs of auxiliay systems with state z i in R ni, ie : 23 δ i t := δ i z i t,xt, ż i = g i z i,x It can be checke that the bouns 2 an 20 ae satisfie by all the solutions of 28 an 23 if thee exist positive efinite an aially unboune functions Z i : R ni R +, class K functions ω, ω 2 an ω 3, a positive eal numbe ǫ in 0, such that fo all x in R n, fo all i in,,m} an z i in R ni, we have : Z i δ i z i,x ω x+ω 2 Z i z i, z i g i z i,x Z i z i + ω 3 x, z i ω x+ω 2 [+ǫ]ω 3 x c G H x 0,i 0, x,i Anothe impotant esult exploiting Theoem 220 eals with finite time convegence of solutions to the oigin when this is a globally asymptotically stable equilibium see [4] It is well known that when the oigin of the homogeneous appoximation in the 0-limit is globally asymptotically stable an with a stictly negative egee then solutions convege to the oigin in finite time see [3] We exten this esult by showing that if, futhemoe the oigin of the homogeneous appoximation in the -limit is globally asymptotically stable with stictly positive egee then the convegence time oesn t epen on the initial conition This is expesse by the following coollay Coollay 224 Unifom an Finite Time Convegence Une the hypotheses of Theoem 220, if we have > 0 > 0, then all solutions of the system ẋ = fx convege in finite time to the oigin, unifomly in the initial conition The poof is given in Appenix H 3 Recusive obseve esign fo a chain of integatos The notion of homogeneity in the bi-limit is instumental to intouce a new obseve esign metho Thoughoutthissectionweconsieachainofintegatos,withstateX n = X,,Xn in R n, namely : 3 Ẋ = X2,, Ẋn = u o in compact fom Ẋ n = S n X n + B n u, whee S n is the shift matix of oe n, ie S n X n = X2,,Xn,0 T an B n = 0,,0, T By selecting abitay vecto fiel egees 0 an in, n, we see that, to possibly obtain homogeneity in the bi-limit of the associate vecto fiel, we must choose the weights 0 = 0,,, 0,n an =,,,,n as : 32 0,n =, 0,i = 0,i+ 0 = 0 n i,,n =,,i =,i+ = n i The goal of this section is to intouce a global homogeneous in the bi-limit obseve fo the system 3 This esign follows a ecusive metho, which constitutes one of the main contibution of this pape 0

11 The iea of esigning an obseve ecusively stating fom X n an going backwas towas X is not new It can be foun fo instance in [28, 26, 23, 30, 35] an [7, Lemma 62] Nevetheless, the poceue we popose is new, an extens to the homogeneous in the bi-limit case the esults in [23, Lemmas an 2] Also, asopposetowhatispoposein[28,26] 5, thisobseveisanexactobseve with any input u fo a chain of integatos The obseve is given by the system 6 : 33 ˆX n = S n ˆXn + B n u + K ˆX X with state ˆX n = ˆX,, ˆXn, an whee K : R n R n is a homogeneous in the bi-limit vecto fiel with weights 0 an, an egees 0 an The output injection vecto fiel K has to be selecte such that the oigin is a globally asymptotically stable equilibium fo the system : 34 Ė = S n E + K e, E = e,e n T, an also fo its homogeneous appoximations The constuction of K is pefome via a ecusive poceue whose inuction agument is as follows Consie the system on R n i given by : 35 Ė i+ = S n i E i+ +K i+ e i+, E i+ = e i+,,e n T, with S n i the shift matix of oe n i, ie S n i E i+ = e i+2,,e n,0 T, an K i+ : R n i R n i a homogeneous in the bi-limit vecto fiel, whose associate tiples ae 0,i+,, 0,n, 0,K i+,0 an,i+,,,n,,k i+, Theoem 3 Homogeneous in the bi-limit obseve esign Consie the system 35 an its homogeneous appoximation at infinity an aoun the oigin : Ė i+ = S n i E i+ +K i+,0 e i+, Ė i+ = S n i E i+ +K i+, e i+ Suppose the oigin is a globally asymptotically stable equilibium fo these systems Then thee exists a homogeneous in the bi-limit vecto fiel K i : R n i+ R n i+, with associate tiples 0,i,, 0,n, 0,K i,0 an,i,,,n,,k i,, such that the oigin is a globally asymptotically stable equilibium fo the systems : 36 Ė i = S n i+ E i +K i e i, Ė i = S n i+ E i +K i,0 e i, E i = e i,,e n T, Ė i = S n i+ E i +K i, e i Poof : We pove this esult in two steps Fist we efine an homogeneous in the bi-limit Lyapunov function Then we constuct the vecto fiel K i, epening on a paamete l which, if sufficiently lage, enes negative efinite the eivative of this Lyapunov function along the solutions of the system 5 Note the tem x i in 35 of [28] fo instance 6 To simplify the pesentation, we use the compact notation K ˆX X fo what shoul be K ˆX X,0,0

12 Definition of the Lyapunov function : Let W0 an W be positive eal numbes satisfying : 37 W0 > 2 max j n 0,j + 0, W > 2 max j n,j +, an 38 W,i W 0 0,i The selection 32 implies 0,j + 0 > 0 an,j + > 0 fo each j in,,n} Hence, W0 > max j n 0,j, W > max j n,j, an we can invoke Theoem 220 fo the system 34 an its homogeneous appoximations given in 35 This implies that thee exists a C, positive efinite an pope function W i+ : R n i R + such that, fo each j in i+,,n}, the function Wi+ e j is homogeneous in the bi-limit with associate tiples 0,i+,, 0,n, W0 0,j, Wi+,0 an,i+,,,n, W,j, Wi+, e j Moeove, fo all E i+ R n i \0}, we have : 39 q i s = W i+ E i+ E i+ S n i E i+ +K i+ e i+ < 0, W i+,0 E i+ S n i E i+ +K i+,0 e i+ < 0, E i+ W i+, E i+ S n i E i+ +K i+, e i+ < 0 E i+ Consie the function q i : R R efine as : 30 0,i + 0 0,i 0,i+ 0 s,i,i+ s 0,i, s,,i +,i + 0,i 0,i+ 0,i,i+, s Since we have 0 < 0,i + 0 an 0 <,i +, this function is well efine an continuous on R, stictly inceasing an onto, an C on R\0} Futhemoe, it is by constuction homogeneous in the bi-limit with appoximating continuous functions 0,i 0,i+ 0 s 0,i + 0 0,i q i s = an,i+,i s 0,i+ 0 0,i By 38 the function :,i +,i The invese function q i of q i is efine as : 0,i 0,i + 0 s, s 0,i+ 0 s 0,i 0,i+ 0 +,i,i+,i+,i,i,i + 0,i,, s 0,i+0 0,i e j 3 W0 0,i s q i s 0,i + q W,i i s,i is homogeneous in the bi-limit with associate appoximating functions an,i+,i s W,i,i + 0,i+ 0 0,i W 0 0,i 0,i + 0 s Futhemoe, by 37, it is C on R an its eivative is 2

13 homogeneous in the bi-limit with continuous appoximating functions W0 2 0,i 0 s W 0 0,i W0 0,i 0,i + 0 0,i 0,i+ 0 s, s W,i W,i,i,i+ s Let W i : R n i+ R + be efine by W i E i+,s = W i+ E i+ + s s q i e i+ q i e i+ W0 0,i h 0,i W,i + h,i h W 2,i,i + W0 0,i W,i h q i e i+ 0,i +q i e i+,i This function is C an by 38, Poposition 22 yiels that it is homogeneous in the bi-limit with weights 0,i+,, 0,n an,i+,,,n fo E i+, 0,i an,i fo s, an egees W0 an W Futhemoe, fo each j in i+,,n}, the functions Wi e j E i+,s ae also homogeneous in the bi-limit with the same weights, an egees W0 0,j an W,j 2 Constuction of the vecto fiel K i : Given a positive eal numbe l, we efine the vecto fiel K i : R n i R n i as : q K i e i = i le i K i+ q i le i By Popositions 20 an the popeties we have establishe fo q i, K i is a homogeneous in the bi-limit vecto fiel We show now that selecting l lage enough yiels the asymptotic stability popeties To begin with, note that fo all E i = E i+,e i in R n i : W i E i+,le i E i E i S n i+ E i +K i e i T E i+,le i lt 2 E i+,le i, with the functions T an T 2 efine as : T E i+,ϑ i = W i E i+,ϑ i S n i E i+ +K i+ q i ϑ i, E i+ W0 0,i W0 0,i W,i T 2 E i+,ϑ i = ϑ 0,i i q i e i+ 0,i +ϑ,i i q W,i i e i+,i q i ϑ i e i+ These functions ae homogeneous in the bi-limit with weights,i,,,n an 0,i,, 0,n, egees 0 + W0 an + W, continuous appoximating functions T,0 E i+,ϑ i = W i,0 E i+ E i+,ϑ i S n i E i+ +K i+,0 q i,0 ϑ i, T, E i+,ϑ i = W i, E i+ E i+,ϑ i S n i E i+ +K i+, q i, ϑ i, an T 2,0 E i+,ϑ i = ϑ W0 0,i i 0,i W0 0,i q i,0 e i+ 0,i q i,0 ϑ i e i+, 3

14 T 2, E i+,ϑ i = ϑ W,i,i i W,i qi, i+,i q i, ϑ i e i+ As the function q i ϑ W0 0,i i 0,i is continuous, stictly inceasing an onto, the function W0 0,i q i e i+ 0,i +ϑi W,i,i q W,i i e i+,i has a unique zeo at q i ϑ i = e i+ an has the same sign as q i ϑ i e i+ It follows that : On the othe han, fo all E i 0, T 2 E i+,ϑ i 0 E i+,ϑ i R n i, T 2 E i+,ϑ i = 0 q i ϑ i = e i+ T E i+,q i e i+ = W i+ E i+ E i+ S n i E i+ +K i+ e i+ < 0 Hence 39 yiels : Ei+,ϑ i R n i+ \0} : T 2 E i+,ϑ i = 0 } Ei+,ϑ i R n i+ : T E i+,ϑ i < 0 } By following the same agument, it can be shown that this popety hols also fo the homogeneous appoximations, ie : Ei+,ϑ i R n i+ \0} : T 2,0 E i+,ϑ i = 0 } Ei+,ϑ i R n i+ : T,0 E i+,ϑ i < 0 }, Ei+,ϑ i R n i+ \0} : T 2, E i+,ϑ i = 0 } Ei+,ϑ i R n i+ : T, E i+,ϑ i < 0 } Theefoe, by Lemma 23, thee exists l such that, fo all l l an all E i+,ϑ i 0 : T E i+,ϑ i lt 2 E i+,ϑ i < 0, T,0 E i+,ϑ i lt 2,0 E i+,ϑ i < 0, T, E i+,ϑ i lt 2, E i+,ϑ i < 0 This implies that the oigin is a globally asymptotically stable equilibium of the systems 36, which conclues the poof To constuct the function K, which efines the obseve 33, it is sufficient to iteate the constuction popose in Theoem 3 stating fom K n e n = + 0 l n e n +0, l n e n, + l n e n , l n e n whee l n is any stictly positive positive eal numbe Inee, K n is a homogeneous in the bi-limit vecto fiel with appoximating functions K n,0 e n = + 0 l n e n +0 an K n, e n = + l n e n + This selection implies that 4

15 the oigin is a globally asymptotically stable of the systems ė n = K n e n, ė n = K n,0 e n an ė n = K n, e n Consequently the assumptions of Theoem 3 ae satisfie fo i+ = n We can apply it ecusively up to i = obtaining the vecto fiel K As a esult of this poceue we obtain a homogeneous in the bi-limit obseve which globally asymptotically obseves the state of the system 3, an also the state fo its homogeneous appoximations aoun the oigin an at infinity In othe wo, the oigin is a globally asymptotically stable equilibium of the systems 32 Ė = S n E +K e, Ė = S n E +K,0 e, Ė = S n E +K, e Remak 32 : Note that when 0 0, we have 0,i+0 0,i,i+,i i =,n an we can eplace the function q i in 30 by the simple function : fo 0,i + 0 q i s = s 0,i,i + + s,i which has been use aleay in [] Example 33 : Consie a chain of integatos of imension two, with the following weights an egees : 0, 0 = 2 q,, q,, = 2 p,, p When q p ie 0, by following the above ecusive obseve esign we obtain two positive eal numbes l an l 2 such that the system : with, 33 q 2 s = ˆX = ˆX2 q l e, ˆX 2 = u q 2 l 2 q l e,, e = ˆX y q sq, s p sp + q p, s, q s = 2 q s 2 q, s 2 ps 2 p +p q, s is a global obseve fo the system Ẋ = X2, Ẋ2 = u, y = X Futhemoe, its homogeneous appoximations aoun the oigin an at infinity ae also global obseves fo the same system 4 Recusive esign of a homogeneous in the bi-limit state feeback It is well-known that the system 3 can be enee homogeneous by using a stabilizing homogeneous state feeback which can be esigne by backstepping see [2, 25, 9, 26, 33, 0] fo instance We show in this section that this popety can be extene to the case of homogeneity in the bi-limit Moe pecisely, we show that thee exists a homogeneous in the bi-limit function φ n such that the system 3 with u = φ n X n is homogeneous in the bi-limit, with weights 0 an an egees 0 an Futhemoe, its oigin an the oigin of the appoximating systems in the 0-limit an in the -limit ae globally asymptotically stable equilibia 5

16 To esign the state feeback we follow the appoach of Paly an Mazenc [25] To this en, consie the auxiliay system with state X i = X,,Xi in R i, i < n, an ynamics : 4 Ẋ = X2,, Ẋi = u o in compact fom Ẋi = S i X i + B i u whee u is the input in R, S i is the shift matix of oe i ie S i X i = X2,,Xi,0 T, an B i = 0,, T is in R i We show that, if thee exists a homogeneous in the bi-limit stabilizing contol law fo the oigin of the system 4, then thee is one fo the oigin the system with state X i+ = X,,Xi+ in R i+ efine by : 42 Ẋ = X2,, Ẋi+ = u, ie Ẋ i+ = S i+ X i+ + B i+ u Let 0 an be in, n an consie the weights an egees efine in 32 Theoem 4 Homogeneous in the bi-limit backstepping Suppose thee exists a homogeneous in the bi-limit function φ i : R i R with associate tiples 0, 0 + 0,i,φ i,0 an, +,i,φ i, such that the following hols Thee exist α i such that the function ψ i X i = φ i X i αi is C an fo each j in,,i} the function ψi is homogeneous in the bi-limit, Xj with weights 0,,, 0,i,,,,,i, egees α i 0,i + 0 0,j an α i,i +,j an appoximating functions ψi0, ψi Xj Xj 2 The oigin is a globally asymptotically stable equilibium of the systems : 43 Ẋi = S i X i +B i φ i X i, Ẋ i = S i X i +B i φ i,0 X i, Ẋ i = S i X i +B i φ i, X i Then thee exits a homogeneous in the bi-limit function φ i+ : R i+ R with associate tiples 0, 0 + 0,i+,φ i+,0 an, +,i+,φ i+, such that the same popeties hol, ie Thee exists a eal numbe α i+ > such that the function ψ i+ X i+ = φ i+ X i+ αi+ is C an fo each j in,,i + } the function ψi+ is Xj homogeneous in the bi-limit with weights 0,,, 0,i+,,,,,i+, egees α i+ 0,i ,j an α i+,i+ +,j an appoximating functions ψi+,0, ψi+, Xj Xj 2 The oigin is a globally asymptotically stable equilibium of the systems 44 X i+ = S i+ X i+ + B i+ φ i+ X i+, X i+ = S i+ X i+ + B i+ φ i+,0 X i+, X i+ = S i+ X i+ + B i+ φ i+, X i+ Poof : We pove this esult in thee steps Fist we constuct a homogeneous in the bi-limit Lyapunov function, then we efine a contol law paametize by a eal numbe k Finally we show that thee exists k such that the time eivative, along the tajectoies of the systems 44, of the Lyapunov function an of its appoximating functions ae negative efinite Constuction of the Lyapunov function Let V0 an V be positive eal numbes satisfying : 45 V0 > max j,,n} 0,j}, 6 V > max j,,n},j},

17 an 46 V,i+ V 0 0,i+ > +α i With this selection, Theoem 220 gives the existence of a C, pope an positive efinite function V i : R i R + such that, fo each j in,,n}, the function Vi Xj is homogeneous in the bi-limit with weights 0,,, 0,i,,,,,i, egees V0 0,j, V,j, an appoximating functions Vi,0 Moeove, we have fo all X i R i \0} : Xj an Vi, Xj 47 V i X i X i [S i X i +B i φ i X i ] < 0, V i,0 X i [S i X i +B i φ i,0 X i ] < 0, X i V i, X i [S i X i +B i φ i, X i ] < 0 X i Following [2], consie the Lyapunov function V i+ : R i+ R + efine by : Xi+ V0 0,i+ V0 0,i+ V i+ X i+ = V i X i + h 0,i+ φ i X i 0,i+ h φ ix i Xi+ V,i+ V,i+ + h,i+ φ i X i,i+ h φ ix i This function is positive efinite an pope Futhemoe, as V an V0 satisfy 46 we have : V,i+,i+ V 0 0,i+ 0,i+ > α i The function ψ i X i = φ i X i αi being C, this inequality yiels that the function V i+ is C Finally, fo each j in,,n}, the function Vi+ is homogeneous in the Xj bi-limit with associate tiples 0,,, 0,i+, V0 0,j, Vi+,0,,,,,i+, V,j, Vi+, Xj 2 Definition of the contol law : Recall 6 an consie the function ψ i+ : R i+ R efine by : α X i i+ φixiα i ψ i+ X i+ = k H s αi ,i+ + α i α,i+ i+ 0,i+, s α i,i+ s, 0 whee k, in R +, is a esign paamete an α i+ is selecte as } αi 0,i+ α i,i+ α i+ max,, 0 + 0,i+ +,i+ ψ i+ takes values with the same sign as Xi+ φ i X i, it is C an, by Poposition 22, it is homogeneous in the bi-limit Futhemoe, by Poposition 20, fo each j in,,i + }, the function ψi+ is homogeneous in the bi-limit, with weights Xj 7 Xj

18 0,,, 0,i+,,,,,i+, egeesα i+ 0,i ,j an α i+,i+ +,j an appoximating functions ψi+,0 ψ, i+, With this at han, we Xj Xj choose the contol law φ i+ as : φ i+ X i+ = ψ i+ X i+ α i+ 3 Selection of k Note that : 48 V i+ X i+ X i+ [S i+ X i+ +B i+ φ i+ X i+ ] = T X i+ kt 2 X i+, with the functions T an T 2 efine as : T X i+ = V i+ X i+ [S i X i +B i Xi+] X i T 2 X i+ = X V0 0,i+ 0,i+ i+ φ i X i V0 0,i+ 0,i+ + X V,i+,i+ i+ φ i X i V,i+,i+ φ i+ X i+ By efinition of homogeneity in the bi-limit an Poposition 20, these functions ae homogeneous in the bi-limit with weights 0,,, 0,i+ an,,,,i+, an egees V0 + 0 an V + Moeove, since φ i+ X i+ has the same sign as Xi+ φ i X i, T 2 X i+ is non-negative fo all X i+ in R i+ an as φ i+ X i+ = 0 only if Xi+ φ i X i = 0 we get : T 2 X i+ = 0 = Xi+ = φ i X i, Xi+ = φ i X i = T X i+ = V i X i X i [S i X i +B i φ i X i ] Consequently, equations 47 yiel : Xi+ R i+ \0} : T 2 X i+ = 0 } X i+ R i+ : T X i+ < 0 } The same implication hols fo the homogeneous appoximations of the two functions at infinity an aoun the oigin, ie Xi+ R i+ \0} : T 2,0 X i+ = 0 } X i+ R i+ : T,0 X i+ < 0 }, Xi+ R i+ \0} : T 2, X i+ = 0 } X i+ R i+ : T, X i+ < 0 } Hence, by Lemma 23, thee exists k > 0 such that, fo all k k, we have fo all X i+ 0 : V i+ X i+ [S i+ X i+ +B i+ φ i+ X i+ ] < 0, X i+ V i+,0 X i+ [S i+ X i+ +B i+ φ i+,0 X i+ ] < 0, X i+ V i+, X i+ [S i+ X i+ +B i+ φ i+, X i+ ] < 0 X i+ This implies that the oigin is a globally asymptotically stable equilibium of the systems 44 8

19 To constuct the function φ n it is sufficient to iteate the constuction in Theoem 4 stating fom X φ X = ψ X α, ψ X = k H s α 0,2 α,2 0,, s, s, with k > 0 At the en of the ecusive poceue, we have that the oigin is a globally asymptotically stable equilibium of the systems : 0 49 X n = S n X n + B n φ n X n, X n = S n X n + B n φ n,0 X n, X n = S n X n + B n φ n, X n Remak 42 : Note that if 0 0 an 0, then we can select α i = fo all i n an if 0 0 an 0 we can select α i = 0, 0,i+ Finally if 0 an 0 we can select α i =,,i+ Remak 43 : As in the obseve esign, when 0, we have 0,i++0,i++ 0,i+,i+ fo i =,n an we can eplace the function ψ i by the simple function : 40 ψ i+ X i+ = k X αi i+ φ ix i αi αi ,i+ α i 0,i+ + X αi i+ φ ix i αi αi+ +,i+ α i,i+ Finally if 0 0, taking α i = see Remak 42 an φx i+ = ψ i+ X i+ as efine in 40, we ecove the esign in [] Example 44 : Consie a chain of integatos of imension two with weights an egees : 0, 0 = 2 q,, q,, = 2 p,, p, with 2 > p > q > 0 Given k > 0, using the popose backstepping poceue we obtain a positive eal numbe k 2 such that the feeback : 4 with φ X = k X X φ ix φ 2 X,X2 = k 2 H s q, s p s, 0 H 0 s q p 2 q, s 2 p s enes the oigin a globally asymptotically stable equilibium of the close loop system Futhemoe, as a consequence of the obustness esult in Coollay 222, thee is a positive eal numbe c G such that, if the positive eal numbes c 0 an c associate with δ i in 2 ae smalle than c G, then the contol law φ 2 globally asymptotically stabilizes the oigin of system 5 Application to nonlinea output feeback esign 5 Results on output feeback The tools pesente in the pevious sections can be use to eive two new esults on stabilization by output feeback fo the 9

20 oigin of nonlinea systems The output feeback is esigne fo a simple chain of integatos : 5 ẋ = S n x + B n u, y = x, whee x is in R n, y is the output in R, u is the contol input in R It is then shown to be aequate to solve the output feeback stabilization poblem fo the oigin of systems fo which this chain of integatos can be consiee as the ominant pat of the ynamics Such a omination appoach has a long histoy It is the cone stone of the esults in [2] see also [27] whee a linea contolle was intouce to eal with a nonlinea systems This appoach has also been followe with nonlinea contolle in [22] an moe ecently in combination with weighte homogeneity in [35, 26, 28] an efeences theein In the context of homogeneity in the bi-limit, we use it exploiting the popose backstepping an ecusive obseve esigns Following the iea intouce by Qian in [26] see also [27], the output feeback we popose is given by : 52 ˆX n = L S n ˆXn +B n φ n ˆX n + K x ˆX, u = L n φ n ˆX n, with ˆX n in R n an whee φ n an K ae continuous functions an L is a positive eal numbe Employing the ecusive poceue given in Sections 3 an 4, we get the following theoem whose poof is in section 52 Theoem 5 Fo evey eal numbes 0 an, in, n, thee exist a homogeneous in the bi-limit function φ n : R n R with associate tiples 0, + 0,φ n,0 an,+,φ n, an a homogeneous in the bi-limit vecto fiel K : R n R n with associate tiples 0, 0,K,0 an,,k, such that fo all eal numbe L > 0 the oigin is a globally asymptotically stable equilibium of the system 5 an 52 an of its homogeneous appoximations We can then apply Coollay 222 to get an output feeback esult fo nonlinea systems escibe by : 53 ẋ = S n x + B n u + δt, y = x, whee δ : R + R n is a continuous function elate to the solutions as escibe in the two Coollaies below an pove in section 52 Depening on wethe 0 o 0 we get an output feeback esult fo systems in Feeback o Feefowa fom Coollay 52 Feeback-fom If, in the esign of φ n an K, we select 0, then fo evey positive eal numbes c 0 an c thee exist a eal numbe L > 0 such that fo evey L in [L,+, the following hols : Fo evey class K function γ z an class KL function β δ we can fin two class KL functions β x an βˆx, such that, fo each function t [0,T xt, ˆX n t,δt,zt, T +, with x, ˆX n C an δ an z continuous, which satisfies 53, 52, an fo i in,,n} an 0 s t < T, zt max δ i t max β δ zs,t s, β δ zs,t s 20 }, sup s κ t γ z xκ,

21 54 sup c 0 s κ t i j= x j κ 0 n i 0 n j + c i j= x j κ n i n j, we have fo all 0 s t T : xt β x xs, ˆX n s,zs,t s, ˆX n t βˆx xs, ˆX n s,zs,t s Coollay 53 Feefowa fom If, in the esign of φ n an K, we select 0, then fo evey positive eal numbes c 0 an c, thee exists a eal numbe L > 0 such that fo evey L in 0,L ], the following hols : Fo evey class K function γ z an class KL function β δ we can fin two class KL functions β x an βˆx, such that, fo each function t [0,T xt, ˆX n t,δt,zt, T +, with x, ˆX n C an δ an z continuous, which satisfies 53, 52, an fo i in,,n} an 0 s t < T, } zt max β δ zs,t s, sup γ z xκ, s κ t δ i t max β δ zs,t s, n 55 sup c 0 x j κ 0 n n i 0 n j + c x j κ n i n j, s κ t j=i+2 then we have fo all 0 s t T : j=i+2 xt β x xs, ˆX n s,zs,t s, ˆX n t βˆx xs, ˆX n s,zs,t s Example 54 : Following example 223, we can consie the case whee the δ i s ae outputs of auxiliay systems given in 23 Suppose thee exist n positive efinite an aially unboune functions Z i : R ni R +, thee class K functions ω, ω 2 ω 3, an a positive eal numbe ǫ in 0, such that : δ i z i,x ω x+ω 2 Z i z i, Z i z i z i g i z i,x Z i z i + ω 3 x, then, if thee exist two eal numbe 0 an satisfying < 0 < n an i ω x+ω 2 [+ǫ]ω 3 x x j 0 n i 0 n j 56 + j= i j= x j n i n j then Coollay52 gives L > 0 such that fo all L in [L,+, the output feeback 52 is globally asymptotically stabilizing Compae to aleay publishe esults see [2] an [26], fo instance, the novelty is in the simultaneous pesence of the tems x j 0 n i 0 n j an x j n i n j 2

22 On the othe han if thee exists two eal numbe 0 an satisfying < 0 < n an ω x+ω 2 [+ǫ]ω 3 x n j=i+2 x j 0 n i 0 n j + n j=i+2 x j n i n j then Coollay 53 gives L > 0 such that fo all L in 0,L ], the output feeback 52 is globally asymptotically stabilizing Example 55 : Consie the illustative system The boun 56 gives the conition : 57 0 < q < p < 2 This is almost the least consevative conition we can obtain with the omination appoach Specifically, it is shown in [8] that, when p > 2, thee is no stabilizing output feeback Howeve, when p = 2, 56 is not satisfie although the stabilization poblem is solvable see [8] By Coollay 224, when 57 hols, the output feeback ˆX = LˆX2 Lq l e, u = L 2 φ 2 ˆX, ˆX2, ˆX2 = u L Lq 2l 2 q l e, e = ˆX y with l, l 2, φ 2, q an q 2 efine in 33 an 4 with picking 0 in,q ] an in [p,, globally asymptotically stabilizes the oigin of the system, with L is chosen sufficiently lage Futhemoe, if 0 is chosen stictly negative an stictly positive, by Coollay 224, convegence to the oigin occus in finite time, unifomly in the initial conitions Example 56 : To illustate the feefowa esult consie the system 7 : ẋ = x 2 +x z 3, ẋ 2 = x 3, ẋ 3 = u, ż = z 4 +x 3, y = x Fo any ε > 0, thee exists a class KL function β δ such that : } zt 3 max β δ zs,t s, +ε sup x 3 κ 3 4 s κ t Theefoe by letting δ = x z 3 we get, fo all 0 s t < T on the time ofexistence of the solutions : } δ t max β δ zs,t s, sup +ε x 3 κ x3 κ 3 2 s κ t This is inequality 55 with 0 = 2 an = 4 Consequently, Coollay 53 says that it is possible to esign a globally asymptotically stabilizing output feeback 7 Recall the notation 4 22

23 52 Poofs of output feeback esults Poof of Theoem 5 : The homogeneous in the bi-limit state feeback φ n an the homogeneous in the bi-limit vecto fiel K involve in this feeback ae obtaine by following the poceues given in Sections 3 an 4 They ae such that the oigins is a globally asymptotically stable equilibium of the systems given in 49 an 32 To this en, as in [26], we wite the ynamics of this system in the cooinates ˆX n = ˆX,, ˆXn an E = e,,e n an in the time τ efine by : 58 This yiels : 59 e i = ˆXi x i L i, τ = L t τ X n = S n Xn +B n φ n ˆX n + K e τ E = S n E +K e with E = e,,e n, X n = ˆX,, ˆXn The ight han sie of 59 is a vecto fiel which is homogeneous in the bi-limit with weights 0, 0,, Given U > max j 0,j,,j }, by applying Theoem 220 twice, we get two C, pope an positive efinite functions V : R n R + an W : R n R + such that fo each i in,,n}, the functions V x i an W e i ae homogeneous in the bi-limit, with weights 0 an, egees U 0,i an U,i an appoximating functions V 0 ˆXj, V ˆXj 50 an fo all E 0 : 5 an W0 e j, W e j Moeove, fo all X n 0 : V X X n V 0 X n X n V X n X n [ ] S n Xn +B n φ n X n < 0, [ S n Xn +B n φ n,0 X n ] < 0, [ ] S n Xn +B n φ n, X n < 0, W E S n E +K e < 0, E W 0 E S n E +K,0 e < 0, E W E S n E +K, e < 0 E Consie now the Lyapunov function caniate : 52 UˆX n,e = VˆX n + cwe, whee c is a positive eal numbe to be specifie Let : ηˆx n,e = V X n S n ˆXn +B n φ n ˆX n + K e X n γe = W E E S n E + K e 23

24 These two functions ae continuous an homogeneous in the bi-limit with associate tiples 0, 0, U + 0,η 0,,, U +,η an 0, 0, U + 0,γ 0,,, U +,γ, whee γ 0, γ an η 0, η ae continuous functions Futhemoe, by 5, γe is negative efinite Hence, by 50, we have : } } ˆX n,e R 2n \0} : γe = 0 ˆX n,e R 2n : ηˆx n,e < 0, } } ˆX n,e R 2n \0} : γ 0 E = 0 } ˆX n,e R 2n \0} : γ E = 0 ˆX n,e R 2n : η 0 ˆX n,e < 0, } ˆX n,e R 2n : η ˆX n,e < 0 Consequently, by Lemma 23, thee exists a positive eal numbe c such that, fo all c > c an all ˆX n,e 0,0, the Lyapunov function U, efine in 52, satisfies : U ˆX n,e S n ˆXn +B n φ n ˆX n + K e ˆX n + U E ˆX n,e E S n E + K e < 0 an the same hols fo the homogeneous appoximations in the 0-limit an in the -limit, hence the claim Poof of Coollay 52 : We wite the ynamics ofthe system 53 in the cooinates ˆX n an E an in the time τ given in 58 This yiels : 53 with : τ X n = S n Xn +B n φ n ˆX n + K e τ E = S n E +K e + DL DL = δ L,, δ n L n We enote the solution of this system stating fom X n 0,E 0 in R 2n at time τ by X τ,n τ,e τ, τ We have : 54 x i t = L i ˆXτ,iLt e τ,i Lt The ighthansie of53 isavectofiel whichis homogeneousinthe bi-limit with weights 0, 0,, fo X n,e an 0, fo DL whee 0,i = 0,i + 0 an,i =,i + fo each i in,,n} The time function τ δ τ L is consiee as an input an when DL = 0, Theoem 5 implies global asymptotic stability of the oigin of the system 53 an of its homogeneous appoximations To complete the poof we show that thee exists L such that the input DL satisfies the small-gain conition 2 of Coollay 222 fo all L > L Using equations 58 an 54, assumption 54 becomes, fo all 0 σ τ < LT, an all i in,,n} : δ i τ L L i max L β i δ z σ L, τ σ L, 24

25 L i sup σ κ τ c i 0 j= L j ˆXτ,jκ e τ,j κ 0 n i 0 n j i 55 +c j= L j ˆXτ,jκ e τ,j κ } } n i n j Note that when j i n the function s n i s n j s is stictly inceasing, n i mapping, n in n+ j, i j As 0 < n, we have fo all j i n : 0 n i 0 n j n i n j < i j Hence, selecting L, thee exists a eal numbe ǫ > 0 such that : L ǫ L j n i n j i L j 0 n i 0 n j i This implies τ δi L z σ, L i max L iβ δ L τ σ, L L ǫ i sup σ κ τ c 0 j= ˆX τ,jκ e τ,j κ 0 n i 0 n j i +c j= ˆX τ,jκ e τ,j κ n i n j } } On the othe han, the function X n,e c 0 i j= ˆXj e j 0 n i 0 n j +c i j= ˆXj e j n i n j is homogeneous in the bi-limit with weights 0, 0 an, an egees 0 n i = 0,i + 0 an n i =,i + see 32 Hence, by Coollay 25, thee exists a positive eal numbe c such that : c 0 i j= ˆXj e j 0 n i 0 n j +c i j= 56 c H ˆXj e j n i n j X n,e 0+0,i, X 0, 0 n,e +,i, Hence, by Coollay 222 applie in the τ time-scale, thee exists c G, such that fo any L lage enough such that c L ε c G, the conclusion hols Poof of Coollay 53 : The poof is simila to the pevious one with the only iffeence that, when i an j satisfy 3 i+2 j n, the function s n i s n j s i is stictly eceasing mapping, n in j, n i n+ j Moeove the conition < 0 < n gives the inequalities n i n j 0n i 0 n j 25 > i j

26 Hence 56 hols an by selecting L < we obtain the existence of a positive eal numbe ǫ such that : L ǫ L j 0 n i 0 n j i L j n i n j i Fom 55, this yiels, fo all 0 σ τ < LT, an all i in,,n} : : τ δi L z σ, L i max L iβ δ L τ σ, L L ǫ n sup σ κ τ c 0 j=i+2 ˆX τ,jκ e τ,j κ 0 n i 0 n j n +c j=i+2 ˆX τ,jκ e τ,j κ n i n j } } Fom Coollay 222, the esult hols fo all L small enough to satisfy c L ε c G 6 Conclusion We have pesente two new tools that can be useful in nonlinea contol esign The fist one is intouce to fomalize the notion of homogeneous appoximation vali both at the oigin an at infinity With this fomalism we have given seveal novel esults concening asymptotic stability, obustness analysis an also finite time convegence unifomly in the initial conitions The secon one is a new ecusive esign fo an obseve fo a chain of integatos The combination of these two tools allows to obtain a new esult on stabilization by output feeback fo systems whose ominant homogeneous in the bi-limit pat is a chain of integatos Acknowlegments The secon autho is extemely gateful to Wilfi Peuquetti an Emmanuel Moulayfo the many iscussions he has ha about the notion of homogeneity in the bi-limit Also, all the authos woul like to thank the anonymous eviewes fo thei comments which wee extemely helpful to impove the quality of the pape Appenix A Poof of Poposition 20 We give only the poof in the 0- limit case since the -limit case is simila Let C be an abitay compact subset of R n \0} an ǫ any stictly positive eal numbe By efinition of homogeneity in the 0-limit, thee exists λ > 0 such that we have : φλ φ,0 x λ φ φ,0 0 x, x C, λ 0,λ ] Hence, as φ 0 is a continuous function on R n, fo all λ in 0,λ ], the function x φλ 0 x takes its values in a compact set C λ φ,0 φ = φ 0 C + B whee B is the unity ball Now, as ζ 0 is continuous on the compact subset C φ, it is unifomly continuous, ie thee exists ν > 0 such that : z z 2 < ν = ζ 0 z ζ 0 z 2 < ǫ Also thee exists µ ǫ > 0 satisfying : ζµ ζ,0 z µ ζ ζ,0 0 z ǫ, z C φ, µ 0,µ ǫ ], 26

27 o equivalently, since φ,0 > 0 : ζλ φ,0 z ζ 0 z ǫ, φ,0 ζ,0 λ ζ,0 z C φ, λ 0,µ ζ,0 φ,0 ǫ Similaly, thee exits λ ν such that : φλ φ,0 x λ φ φ,0 0 x ν, x C, λ 0,λ ν] ] It follows that : ζφλ φ,0 x φ,0 ζ,0 ζ 0 φ 0 x ζφλ φ,0 x φλ φ,0 x φ,0 ζ,0 ζ 0 λ ζ,0 λ ζ,0 λ φ,0 + φλ ζ φ,0 x 0 λ ζ φ,0 0 φ 0 x, 2ǫ, x C, λ min λ,λ ν,µ ζ,0 φ,0 ǫ } This establishes homogeneity in the 0-limit of the function ζ φ Appenix B Poof of Poposition 2 We give only the poof in the 0- limit case since the -limit case is simila The function φ being a bijection, we can assume without loss of geneality that it is a stictly inceasing function othewise we take φ This togethe with homogeneity in the 0-limit, imply that ϕ 0 is stictly positive Moeove, fo each δ > 0, thee exists t 0 δ > 0 such that : φt ϕ 0 t δ, t 0,t 0δ] 0 By letting λ = φt, this gives : ϕ 0 δ λ φ λ 0 ϕ 0 +δ, λ 0,φt 0 δ], δ > 0 Since fo δ < ϕ 0 the tem on the left is stictly positive, these inequalities give : 0 ϕ 0 +δ φ λ λ 0 Then since the function δ exists δ ǫ > 0 satisfying : ϕ 0 0 ǫ 0, λ 0,φ t 0 δ], δ 0,ϕ 0 ϕ 0 δ ϕ 0 δ ϕ 0 +δ ǫ 0 is continuous at zeo, fo evey ǫ > 0, thee 0 ϕ 0 δ ǫ 0 ϕ ǫ This yiels : φ λ λ 0 0 ǫ λ 0,λ ǫ ], ϕ 0 27