Passive Configuration Decomposition and Passivity-Based Control of Nonholonomic Mechanical Systems | IEEE Journals & Magazine | IEEE Xplore