Abstract
This work presents an algorithm for changing from longitudinal to latitudinal formation of autonomous aircraft squadrons. The maneuvers are defined dynamically by using a predefined set of 3D basic maneuvers. This formation change is necessary when the squadron has to perform tasks demanding both formations, such as landing, lift-off, obstacle avoidance and georeferencing. The time complexity analysis of the transformation algorithm reveals that its efficiency is optimal. Simulations show that the formation change is done without collision, and the proof of correctness ensures its latitudinal formation features.