“…From the assumption that x hd1 (t),ẋ hd1 (t), x hd2 (t), d (t), and˙ d (t) are constructed as bounded functions, and the fact thatē 2 (t), e 3 (t) L , the expressions in (19), (27), and (30) can be used to prove that e 2 (t), x h1 (t), x h2 (t), (t), c (t) L . Based on the previous development, the expressions in (29), (31), and (32) can be used to conclude that v c (t),…”