Guaranteed robust control of unstable systems by using approximated models