Design and flight-testing of non-linear formation control laws