Discrete-time Lossless Positive Real Lemma Based on Kalman Reachability Decomposition | IEEE Conference Publication | IEEE Xplore