Copyright © by SIAM. Unauthorized reproduction of this article is ...

HOMOGENEOUS OBSERVER DESIGN 1839From Corollary 2.22, the result holds for all L ∗ small enough to satisfy c 1 L ∗ε ≤c G .6. Conclusion. We have presented two new tools that can be useful in nonlinearcontrol design. The first one is introduced to formalize the notion of homogeneousapproximation valid both at the origin and at infinity. With this formalism we havegiven several novel results concerning asymptotic stability, robustness analysis, andalso finite time convergence (uniformly in the initial conditions). The second one isa new recursive design for an observer for a chain of integrators. The combination ofthese two tools allows us to obtain a new result on stabilization by output feedbackfor systems whose dominant homogeneous in the bi-limit part is a chain of integrators.Appendix A. Proof of Proposition 2.10. We give the proof only in the 0-limit case since the ∞-limit case is similar. Let C be an arbitrary compact subset ofR n \{0} and ɛ any strictly positive real number. By the definition of homogeneity inthe 0-limit, there exists λ 1 > 0 such that we have∣φ(λ r φ,0⋄ x)λ d φ,0− φ 0 (x)∣ ≤ 1 ∀ x ∈ C, ∀ λ ∈ (0,λ 1] .Hence, as φ 0 is a continuous function on R n , for all λ in (0,λ 1 ], the function x ↦→φ(λ r 0 ⋄ x)λ d φ,0takes its values in a compact set C φ = φ 0 (C) +B 1 , where B 1 is theunity ball.Now, as ζ 0 is continuous on the compact subset C φ , it is uniformly continuous;i.e., there exists ν> 0 such that|z 1 − z 2 | < ν =⇒ |ζ 0 (z 1 ) − ζ 0 (z 2 )| < ɛ .Also there exists µ ɛ > 0 satisfyingζ(µ r ζ,0z)∣ µ d − ζζ,0 0 (z)∣ ≤ ɛ ∀ z ∈ C φ , ∀ µ ∈ (0,µ ɛ ] ,or equivalently, since d φ,0 > 0,ζ(λ d φ,0z)(− ζ∣0 (z)∣ ≤ ɛ ∀ z ∈ C φ , ∀ λ ∈ 0,µd φ,0 d ζ,0rλ ζ,0r ζ,0d φ,0ɛSimilarly, there exists λ ν such thatφ(λ r φ,0⋄ x)∣ λ d − φφ,0 0 (x)∣ ≤ ν ∀ x ∈ C, ∀ λ ∈ (0,λ ν] .It follows that∣ ζ(φ(λ r φ,0⋄ x))∣∣∣∣ d∣ φ,0 d ζ,0− ζ 0 (φ 0 (x))rλ ζ,0∣ ≤ ζ(φ(λ r (φ,0⋄ x)) φ(λr φ,0) ∣ ⋄ x)∣∣∣d φ,0 d ζ,0− ζ 0rλ ζ,0λ d φ,0( +φ(λr∣ ζ φ,0)⋄ x)0λ d − ζφ,00 (φ 0 (x))∣{≤ 2 ɛ ∀ x ∈ C, ∀ λ ∈ min λ 1 ,λ ν ,µ].r ζ,0d φ,0ɛ}.This establishes homogeneity in the 0-limit of the function ζ ◦ φ.Copyright © by SIAM. Unauthorized reproduction of this article is prohibited.