On the use of hyperplane methods to compute the reachable set of controlled stochastic biochemical reaction networks | IEEE Conference Publication | IEEE Xplore