Exponential stabilization of discrete-time switched linear systems - Zhang, W; Abate, A; Hu, J; Vitus, M (Automatica, 2009)