Bounded Real Lemma for Linear Discrete-Time Descriptor Systems