Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints.