Discrete-time version of Kalman-Yacubovitch-Popov lemma for non-linear systems | IEEE Conference Publication | IEEE Xplore