Control design for collaborative object transportation using pairs of differential-drive robots via control barrier functions | Synapse