Multiaircraft Optimal 4D Trajectory Planning Using Logical Constraints

Figure 2

Two opposite corners of a cuboid in the 3D space.