A sum of squares approach to backstepping controller synthesis for piecewise affine and polynomial systems. (10th April 2013)