Reachability and steering of rolling polyhedra: a case study in discrete nonholonomy | IEEE Journals & Magazine | IEEE Xplore