Text this: Global stabilization of a reaction wheel pendulum: A discrete-inverse optimal formulation approach via a control lyapunov function