Data Sketching for Large-Scale Kalman Filtering | IEEE Journals & Magazine | IEEE Xplore