Distributed Formation Maneuvering Quantized Control of Under-Actuated Unmanned Surface Vehicles with Collision and Velocity Constraints | Synapse