Kalman Filtering for Discrete-Time Linear Systems with Infinite-Dimensional Observations | IEEE Conference Publication | IEEE Xplore