A Lower-Bound for Variable-Length Source Coding in Linear-Quadratic-Gaussian Control With Shared Randomness | IEEE Journals & Magazine | IEEE Xplore