“…After adding and subtracting to (26), and utilizing (13), (14), (27), and (28), the following expression is obtained: (29) By completing the squares, the inequality in (29) can be upper bounded as (30) where is denoted as Since the expression in (30) can rewritten as (31) Using the definitions of in (18), in (22), and in (13), the expression in (31) can be upper bounded as (32) where is for some . By further utilizing (24), the inequality in (32) can be written as (33) Consider a set defined as (34) For , the linear differential equation in (33) can be solved as (35) provided the control gains and are selected according to the sufficient conditions in (21) (i.e., a semi-global result).…”