Temporal logic control of discrete-time piecewise affine systems | IEEE Conference Publication | IEEE Xplore