Positive reachability of discrete-time linear systems | IEEE Conference Publication | IEEE Xplore