Stabilizing switching automata for discrete-time switched linear systems | IEEE Conference Publication | IEEE Xplore