Unified formulation of robotic systems with holonomic and nonholonomic constraints | IEEE Journals & Magazine | IEEE Xplore