Reduction theorems for stability of closed sets with application to backstepping control design.