Global stabilization of the cart-pendulum system using saturation functions | IEEE Conference Publication | IEEE Xplore