Observer synthesis for Lipschitz discrete-time systems | Synapse