Backstepping controller synthesis for piecewise polynomial systems: a sum of squares approach | IEEE Conference Publication | IEEE Xplore