Formation Control with Collision Avoidance for a Multi-UAV System Using Decentralized MPC and Consensus-Based Control | Synapse