A convex formulation of controller synthesis for piecewise-affine slab systems based on invariant sets.