Design of receding-horizon filters for discrete-time linear systems using quadratic boundedness