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

HOMOGENEOUS OBSERVER DESIGN 1843or in other words,(D.2)∂V ∞∂x (x) f(x) < 0 ∀ x : |x| r ∞≥ λ ∞ .This establishes global asymptotic stability of the compact setwhere v ∞ is given byC ∞ = {x : V ∞ (x) ≤ v ∞ } ,v ∞ = max|x| r∞ = λ ∞{V ∞ (x)} .Appendix E. Proof of Theorem 2.20. The proof is divided into three steps.First, we define three Lyapunov functions V 0 , V m , and V ∞ . Then we build anotherLyapunov function V from these three. Finally, we show that its derivative alongthe trajectories of the system (2.7) and its homogeneous approximations are negativedefinite.1. As established in the proof of Proposition 2.18, there exist a positive realnumber λ ∞ and a C 1 positive definite, proper, and homogeneous functionV ∞ : R n → R + , with weight r ∞ and degree d V∞ satisfying (D.2). Similarly,there exist a number λ 0 > 0 and a C 1 positive definite, proper, and homogeneousfunction V 0 : R n → R + , with weight r 0 and degree d V0 , satisfying(E.1)∂V 0∂x (x) f(x) < 0 ∀ x : 0 < |x| r 0≤ λ 0 .Finally, the global asymptotic stability of the origin of the system ẋ = f(x)implies the existence of a C 1 , positive definite, and proper function V m :R n → R + satisfying(E.2)∂V m(x) f(x) < 0 ∀ x ≠0.∂x2. Now we build a function V from the functions V m , V ∞ , and V 0 . For this, wefollow a technique used by Mazenc in [17] (see also [15]). Let v ∞ and v 0 betwo strictly positive real numbers such that v 0