Constrained control of switching systems: a positive invariant approach