Computing finite abstractions with robustness margins via local reachable set over-approximation