Parameter synthesis of polynomial dynamical systems