PWA state feedback controller synthesis for piecewise-linear systems