Discrete-time switching linear system with constraints: Characterization and computation of invariant sets under dwell-time consideration.