Global stabilization of a PVTOL aircraft model with bounded inputs

We propose a global stabilizing control design for the planar vertical takeoff and landing (PVTOL) aircraft, with bounded inputs. The approach is based on the use of non-linear combinations of linear saturation functions bounding the thrust input and the rolling moment to arbitrary saturation limits. We provide global convergence of the state to the origin, using a relatively simple algorithm.