An algorithmic recipe to construct Lyapunov functions for nonlinear sectors with quantization mismatch | Synapse