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