Air Traffic Analysis Using a Linear Inequalities Solver

A system for aircraft traffic control, comprising:

• a processor;
• a linear inequalities solver configured for execution on the processor, and further configured to:
• receive as input, airspace sector information and aircraft traffic information;
• configure a homogeneous system of linear inequalities based upon the airspace sector information and the aircraft traffic information;
• and
• resolve the homogeneous system of linear inequalities to determine a second airspace sector information and a second aircraft traffic information, wherein the second airspace sector information and the second aircraft traffic information are based upon a predetermined future point of time, and wherein the resolving includes at least one of:
• reducing a maximum infeasibility of the homogeneous system of linear inequalities;
• and
• reducing a sum infeasibility of the homogeneous system of linear inequalities.

A computer readable media storing instructions wherein said instructions when executed by a processor are adapted to cause the processor to determine air traffic control information according to a method comprising:

• receiving as input, airspace sector information and aircraft traffic information;
• configuring a homogeneous system of linear inequalities based upon the airspace sector information and the aircraft traffic information;
• and
• resolving the homogeneous system of linear inequalities to determine a second airspace sector information and a second aircraft traffic information, wherein the second airspace sector information and the second aircraft traffic information are based upon a predetermined future point of time, and wherein the resolving includes at least one of:
• reducing a maximum infeasibility of the homogeneous system of linear inequalities;
• and
• reducing a sum infeasibility of the homogeneous system of linear inequalities.