Combining Symbolic Tools with Interval Analysis: An Application to Solve Robust Control Problems