Sum-of-squares polynomials and the stability of discrete-time systems | IEEE Conference Publication | IEEE Xplore