A numerical approximation scheme for reachability analysis of stochastic hybrid systems with state-dependent switchings | IEEE Conference Publication | IEEE Xplore