How to ensure existence and convergence of the discrete-time finite-horizon H-infinity filter