Output-feedback stabilization of discrete-time switched systems | IEEE Conference Publication | IEEE Xplore