Skip to Main content Skip to Navigation
Conference papers

Automatic conflict solving using biharmonic navigation functions

Laureline Guys 1 Stéphane Puechmorel 2 Laurent Lapasset 3
MAIAA - ENAC - Laboratoire de Mathématiques Appliquées, Informatique et Automatique pour l'Aérien
Abstract : Automatic conflict solving is an old standing problem within the field of ATM. Proposed algorithms fall into two categories : - Deterministic ones that have a provable property of collision avoidance. For all known algorithms, trajectories produced are generally not flyable because no bounds on speed and curvature can be imposed. - Stochastic methods that select an optimal sequence of manoeuvres. By design, trajectories are flyable, but no guarantee can be given on the fact that a collision-free planning can be found in finite time. It is highly desirable for a wide social acceptance of automated trajectory planning, even at a strategical level, that the algorithms in use have by-design the collision avoidance property and, at the same time, a mean of keeping the speed within a given interval. Navigation functions are common in the field of robotics but do not have the last property. We present a new approach based on biharmonic functions yielding a navigation field with constant speed. Such functions have been considered previously, but proof of collision avoidance is lacking: we address this problem in this work as summarized below. Navigation functions produce a speed field by taking the gradient of a potential function: if the obstacles to be avoided are at a higher potential than inner points of the domain (including destination), collision avoidance is guaranteed. If the potential has the Morse property (no critical point is degenerated) then there exists a descent direction at every point of the admissible domain, making the destination reachable. In the framework of biharmonic functions, a tensor field is produced instead of a vector one ; the Morse property is no longer relevant. We show here that all benefits of navigation functions can be recovered through the use of the bienergy density, with the ability to get constant speed fields.
Document type :
Conference papers
Complete list of metadata

Cited literature [6 references]  Display  Hide  Download
Contributor : Céline Smith <>
Submitted on : Friday, July 11, 2014 - 1:56:46 PM
Last modification on : Tuesday, October 20, 2020 - 10:32:07 AM
Long-term archiving on: : Saturday, October 11, 2014 - 10:41:43 AM


Files produced by the author(s)




Laureline Guys, Stéphane Puechmorel, Laurent Lapasset. Automatic conflict solving using biharmonic navigation functions. EWGT 2012, 15th Meeting of the EURO Working Group on Transportation, Sep 2012, Paris, France. pp 1378-1387, ⟨10.1016/j.sbspro.2012.09.852⟩. ⟨hal-01020744⟩



Record views


Files downloads