Reachability and controllability of switched linear systems with state jumps | IEEE Conference Publication | IEEE Xplore