On the Optimal Conflict Resolution for Air Traffic Control Dept. Of Electrical Systems and Automation Pisa University Laboratory of Information and Decision Systems MIT Lucia Pallottino Eric Feron Antonio Bicchi JUP Meeting January 18-19, 2001
Introduction ä Formulation as Optimal Control Problem (OCP): ä Extremal solution (PMP): â Unconstrained path; â Constrained path of zero length; â Constrained path of non-zero length; ä Conflict Resolution Algorithm; ä Formulation as a Mixed Integer Programming (MIP)
Model of OCP Motion of aircraft subject to some constraint: u linear velocity parallel to a fixed axis on the vehicle u constant non negative linear velocities u bounded steering radius u Minimum distance between aircraft GOAL: given an initial and a final configuration for each aircraft, find the collision free paths of minimum total time.
The OCP collision constraint :
Unconstrained Optimal Solution for OCP Optimal solution will consist of concatenations of free and constrained arcs, e.g. Unconstrained Constrained
u Extremal unconstrained path are concatenation of F s egment F Arc of a circle Unconstrained paths for OCP Type S Type C
Extremal free paths of type CSC
Extremal free paths of type CCC
Velocities are parallel and the line joining the two aircraft can only translate Velocities are symmetric respect to the line joining the two aircraft Contact Configuration
Conflict Resolution Algorithm
Model of MIP Motion of aircraft subject to some constraint: u linear velocity parallel to a fixed axis on the vehicle u constant non negative linear velocities u Minimum distance between aircraft u Maneuver: heading angle instantaneous change GOAL: given an initial and a final configuration for each aircraft, find a single “minimum” maneuver to avoid all possible conflict.
Configuration after maneuver: Maneuvre scenario for MIP A C B Initial Configuration:
Nonintersecting direction of motion Constraints that are function of and are linear in
Intersecting direction of motion A B B Constraints that are function of and are linear in
are linear function in Linear constraint for MIP “big” positive number Boolean variables
Minimum deviation problem: Aircraft variables constraints u The MIP problem
CPLEX Solutions
n (Aircraft) Time (sec.) Length (nm) Delta (nm) CPLEX Simulation