“…) ω j ∈ U j , p c j ∈ U c j for j ∈ N , and (x M,j , x c,j , x u,j ) ∈ X G j , (x c,j , x u,j ) ∈ X L j for j ∈ G, j ∈ L respectively 18 , 4) x M,j , x c,j , and x u,j all lie within their respective neighborhoods X 0 as defined in Section III-A. Recalling now (26), it is easy to see that within this neighborhood, V is a nonincreasing function of all the system states and has a strict local minimum at Q * . Consequently, the connected component of the level set {(η, ψ, ω G , x M , x c , x u , p c ) : V ≤ ǫ} containing Q * is guaranteed to be both compact and positively invariant with respect to the system (3)-( 6) for sufficiently small ǫ > 0.…”