Robust Filtering of Discrete-Time Linear Systems with Parameter Dependent Lyapunov Functions | Synapse