“…Here, the reduction problem stems from the decomposition of the control design into two steps: meeting the high-priority specification first, i.e., stabilize Γ 2 ; then, assuming that the high-priority specification has been achieved, meet the low-priority specification, i.e., stabilize Γ 1 relative to Γ 2 . This point of view is developed in [7], and has been applied to the almost-global stabilization of VTOL vehicles [24], distributed control [6], [32], virtual holonomic constraints [17], robotics [20], [21], and static or dynamic allocation of nonlinear redundant actuators [22]. Similar ideas have also been adopted in [19], where the concept of local stability near a set, introduced in Definition II.6, is key to ruling out situations where the feedback stabilizer may generate solutions that blow up to infinity.…”