Discrete-time Lossless Positive Real Lemma Based on Kalman Reachability Decomposition. - Zhaowu Yin; Junlin Xiong (ICARCV, 2018)