State estimation using Gaussian process regression for colored noise systems | IEEE Conference Publication | IEEE Xplore