Analysis and synthesis of polynomial discrete-time systems : an SOS approach /: an SOS approach. (2017)