Abstract
We present a backstepping procedure for the design of globally stabilizing state feedback control laws such that the magnitudes of the control signals and their derivatives are bounded by constants which do not depend on the initial conditions. We accomplish this by propagating such boundedness properties through each step of the recursive design.