Reachability analysis for switched affine systems and its application to controlled stochastic biochemical reaction networks | IEEE Conference Publication | IEEE Xplore