guidance and control of aircraft in the landing phase imposes extra pilot work loads, hence application of automatic landing control systems is of great importance. in this study automatic landing control systems are introduced and an optimal landing control system is designed. the control system performance criteria are based on minimum control effort. the designed system is simulated for a tr...

Future operations involving drones are expected to result in traffic densities that orders of magnitude higher than any observed manned aviation. Current geometric conflict resolution (CR) methods have proven be very efficient at relatively moderate densities. However, densities, performance is hindered by the unpredictable emergent behaviour from neighbouring aircraft. Reinforcement learning (...

Managing operations of the aircraft approach process and analyzing runway landing capacity, utilization and related risks require detailed insight into the stochastic characteristics of the process. These characteristics can be represented by probability distributions. The focus of this study is analyzing landings on a runway operating independent of other runways making it as a single runway. ...

The Aircraft Surveillance Applications System (ASAS), what used to be called Airborne Separation Assistance System, is seen as a promising option in future Air Traffic Management (ATM) for increasing capacity and operational effectiveness, and improving safety while reducing fuel consumption. One of the interesting ASAS applications is to achieve desired time intervals between arrival aircraft ...

In this article, we tackle the conflict resolution problem using a new variant of the minimum-weight maximum-clique model. The problem involves identifying maneuvers that maintain the required separation distance between all pairs of a set of aircraft while minimizing fuel costs. We design a graph in which the vertices correspond to a finite set of maneuvers and the edges connect conflict-free ...

This paper presents a polynomial time algorithm used for solving a Mixed Integer Linear Program (MILP) formulation of a scheduling problem applicable to Air Traffic Control. We first relate the general MILP (which we believe to be NP-Hard) to the Air Traffic Control problem, which consists of performing maneuver assignments to achieve scheduling constraints for airport arrival traffic. This MIL...

Air traffic management ensure the safety of flight by optimizing flows and maintaining separation between aircraft. After giving some definitions, some typical feature of aircraft trajectories are presented. Trajectories are objects belonging to spaces with infinite dimensions. The naive way to address such problem is to sample trajectories at some regular points and to create a big vector of p...

We consider the problem of optimal cooperative three-dimensional conflict resolution involving multiple aircraft using numerical trajectory optimization methods. The conflict problem is posed as an optimal control problem of finding trajectories that minimize a certain objective function while maintaining the safe separation between each aircraft pair. We assume the origin and destination of th...

The flight navigation procedures envisioned under the Next Generation Transportation System will require a specification of the expected route of each flight. Once these specifications are provided, the flights must proceed along their routes with such speed profiles that every pair of aircraft complies with the minimal separation requirement imposed by the Federal Aviation Administration. The ...

We present ongoing work to apply Event-B to the validation of routes for an Unmanned Aircraft System consisting of a Ground Control Station and two or more UAVs. We extend the mathematical language of Event-B to include a theory of continuous paths in 3-D Euclidean space that allows important safety properties describing the safe separation of UAVs to be formalised in a natural manner. Refineme...