An example of an infinite dimensional filtering problem: Filtering for gyroscopic noise | IEEE Conference Publication | IEEE Xplore