The bounded real lemma for discrete time-varying systems with application to robust output feedback | IEEE Conference Publication | IEEE Xplore