On Reachability and Controllability of Positive Discrete-time Switched Linear Systems | IEEE Conference Publication | IEEE Xplore