Prescribed -time collision-free formation tracking control for multiple USVs using control barrier functions | Synapse