Combining Symbolic tools with interval analysis. An application to solve robust control problems. | Publicación