A moving horizon ℋ∞ observer for discrete-time systems | IEEE Conference Publication | IEEE Xplore