Constrained Optimization and Dynamic Trade-Off Method for Formation Assignment of Heterogeneous UAV Swarms | Synapse