Reachability analysis for a grid-connected voltage-sourced converter (VSC) | IEEE Conference Publication | IEEE Xplore