Temporal logic control of discrete-time piecewise affine systems