On the relation between analysis and synthesis conditions for discrete-time systems with saturation nonlinearities | IEEE Conference Publication | IEEE Xplore