Abstract
The Lossless Bounded-Real lemma is developed in the discrete-time domain, based only on energy balance arguments. The results are used to prove a discrete-time version of the general Bounded-Real lemma, based on a matrix spectral-factorization result that permits a transfer matrix embedding process. Some applications of the results in digital filter theory are finally outlined.

This publication has 15 references indexed in Scilit: