Symbolic Domain Predictive Control