An application of Ritt’s remainder algorithm to discrete polynomial control systems | OUP Journals & Magazine | IEEE Xplore