Robust Kalman filter design via Krein space | IEEE Conference Publication | IEEE Xplore