Synergistic control barrier functions with application to obstacle avoidance for nonholonomic vehicles | IEEE Conference Publication | IEEE Xplore