Bounded control based on saturation functions of nonlinear under-actuated mechanical systems: The cart-pendulum system case | IEEE Conference Publication | IEEE Xplore