The strictly proper discrete-time controller for the normalized left-coprime factorization robust stabilization problem

For the discrete-time, normalized left-coprime factorization robust stabilization problem, it is known that a simple formula for the maximum robustness margin exists. Moreover, the controller can be written in exact observer form. Analogous results are derived when the controller is restricted to be strictly proper.