Control Barrier Functions for Mechanical Systems: Theory and Application to Robotic Grasping | IEEE Journals & Magazine | IEEE Xplore