"This note provides a detailed stability analysis of a global stabilizing control algorithm for a PVTOL aircraft with lateral coupling (è ≠ 0) and bounded inputs. Such control approach was originally proposed considering è ≠ 0. The analysis furnished here proves the robustness of the original scheme with respect to the existence of lateral coupling. The presented methodology is based on the use of embedded saturation functions and a result of global asymptotic stabilization for cascade systems."