Symbolic Computation Based Robust Exponential Stabilization Control for the Switched Polynomial Systems with Control Input Constraints | IEEE Conference Publication | IEEE Xplore