Optimal guaranteed cost filtering for uncertain discrete-time linear systems | Synapse