Synthesis of Barrier Certificate-Based Controllers for Safe Robotic Task Execution