Discrete-time switched linear system with constraints: Characterization and computation of invariant sets under dwell-time consideration | IEEE Conference Publication | IEEE Xplore