Reachability analysis and optimal control for epidemic spreading model on multiplex network | IEEE Conference Publication | IEEE Xplore