Stabilization controller for a cart-type inverted pendulum via a partial linearization method | IEEE Conference Publication | IEEE Xplore