Nonholonomic passive decomposition: Weak decomposability, controllability and control design | IEEE Conference Publication | IEEE Xplore