“…As noted above, ( ), ( ) ∈ ∞ [0, ], we havẽ ( ) ∈ ∞ [0, ] (by (19)). Moreover, because is a Hurwitz matrix and̃∈ ∞ [0, ], this implies that̂( ) ∈ ∞ [0, ] (by (12)). Finally, since are Hurwitz matrices and − ( ( )) ( ) + * ⊤ (3) (̂( )) + ( ) ∈ ∞ [0, ], we havẽ∈ ∞ [0, ] (by (14)).…”