A device for controlling an operation of a system performing a task is disclosed. The device submits a sequence of control inputs to the system thereby changing states of the system according to the task and receives a feedback signal. The device determines a current control input for controlling the system based on the feedback signal including a current measurement of a current state of the system by solving a polynomial optimization of a polynomial function with a reformulation derived by introducing additional variables reducing a degree of the polynomial function till a target degree subject to constraints on a structure of the additional variables. The device solves a mixed-integer optimization problem to find an optimal solution among all possible encodings of factorizations of the polynomial function that reduces the degree of the polynomial function till the target degree with a minimum number of additional variables.