A time-varying Kalman filter approach to integral LQG frequency locking of an optical cavity | IEEE Conference Publication | IEEE Xplore