Reachability of switched discrete-time systems under constrained switching | IEEE Conference Publication | IEEE Xplore