First Order Hadamard Variation of the Harmonic Navigation Function on a Sphere World

Planning conflict-free trajectories is a long-standing problem in Air Traffic Management. Navigation functions designed specifically to produce flyable trajectories have been previously considered, but lack the robustness to uncertain weather conditions needed for use in an operational context. These uncertainties can be taken into account be modifying the boundary of the domain on which the navigation function is computed. In the following work, we present a method for efficiently taking into account boundary variations, using the Hadamard variation.