Lyapunov function analysis, closed-loop systems, boundedness, attitude tracking errors