Contributions to deconfliction advanced U-space services for multiple unmanned aerial systems including field tests validation

Unmanned Aerial Systems (UAS) will become commonplace, the number of UAS flying in European airspace is expected to increase from a few thousand to hundreds of thousands by 2050. To prepare for this approaching, national and international organizations involved in aerial traffic management are now developing new laws and restructuring the airspace to incorporate UAS into civil airspace. The Single European Sky ATM Research considers the development of the U-space, a crucial step to enable the safe, secure, and efficient access of a large set of UAS into airspace. The design, integration, and validation of a set of modules that contribute to our UTM architecture for advanced U-space services are described in this Thesis. With an emphasis on conflict detection and resolution features, the architecture is flexible, modular, and scalable. The UTM is designed to work without the need for human involvement, to achieve U-space required scalability due to the large number of expected operations. However, it recommends actions to the UAS operator since, under current regulations, the operator is accountable for carrying out the recommendations of the UTM. Moreover, our development is based on the Robot Operating System (ROS) and is open source. The main developments of the proposed Thesis are monitoring and tactical deconfliction services, which are in charge of identifying and resolving possible conflicts that arise in the shared airspace of several UAS. By limiting the conflict search to a local search surrounding each waypoint, the proposed conflict detection method aims to improve conflict detection. By splitting the issue down into smaller subproblems with only two waypoints, the conflict resolution method tries to decrease the deviation distance from the initial flight plan. The proposed method for resolving potential threats is based on the premise that UAS can follow trajectories in time and space properly. Therefore, another contribution of the presented Thesis is an UAS 4D trajectory follower that can correct space and temporal deviations while following a given trajectory. Currently, commercial autopilots do not offer this functionality that allows to improve the airspace occupancy using time as an additional dimension. Moreover, the integration of onboard detect and avoid capabilities, as well as the consequences for U-space services are examined in this Thesis. A module capable of detecting large static unexpected obstacles and generating an alternative route to avoid the obstacle online is presented. Finally, the presented UTM architecture has been tested in both software-in-theloop and hardware-in-the-loop development enviroments, but also in real scenarios using unmanned aircraft. These scenarios were designed by selecting the most relevant UAS operation applications, such as the inspection of wind turbines, power lines and precision agriculture, as well as event and forest monitoring. ATLAS and El Arenosillo were the locations of the tests carried out thanks to the European projects SAFEDRONE and GAUSS.Los sistemas aéreos no tripulados (UAS en inglés) se convertirán en algo habitual. Se prevé que el número de UAS que vuelen en el espacio aéreo europeo pase de unos pocos miles a cientos de miles en 2050. Para prepararse para esta aproximación, las organizaciones nacionales e internacionales dedicadas a la gestión del tráfico aéreo están elaborando nuevas leyes y reestructurando el espacio aéreo para incorporar los UAS al espacio aéreo civil. SESAR (del inglés Single European Sky ATM Research) considera el desarrollo de U-space, un paso crucial para permitir el acceso seguro y eficiente de un gran conjunto de UAS al espacio aéreo. En esta Tesis se describe el diseño, la integración y la validación de un conjunto de módulos que contribuyen a nuestra arquitectura UTM (del inglés Unmanned aerial system Traffic Management) para los servicios avanzados del U-space. Con un énfasis en las características de detección y resolución de conflictos, la arquitectura es flexible, modular y escalable. La UTM está diseñada para funcionar sin necesidad de intervención humana, para lograr la escalabilidad requerida por U-space debido al gran número de operaciones previstas. Sin embargo, la UTM únicamente recomienda acciones al operador del UAS ya que, según la normativa vigente, el operador es responsable de las operaciones realizadas. Además, nuestro desarrollo está basado en el Sistema Operativo de Robots (ROS en inglés) y es de código abierto. Los principales desarrollos de la presente Tesis son los servicios de monitorización y evitación de conflictos, que se encargan de identificar y resolver los posibles conflictos que surjan en el espacio aéreo compartido de varios UAS. Limitando la búsqueda de conflictos a una búsqueda local alrededor de cada punto de ruta, el método de detección de conflictos pretende mejorar la detección de conflictos. Al dividir el problema en subproblemas más pequeños con sólo dos puntos de ruta, el método de resolución de conflictos intenta disminuir la distancia de desviación del plan de vuelo inicial. El método de resolución de conflictos propuesto se basa en la premisa de que los UAS pueden seguir las trayectorias en el tiempo y espacio de forma adecuada. Por tanto, otra de las aportaciones de la Tesis presentada es un seguidor de trayectorias 4D de UAS que puede corregir las desviaciones espaciales y temporales mientras sigue una trayectoria determinada. Actualmente, los autopilotos comerciales no ofrecen esta funcionalidad que permite mejorar la ocupación del espacio aéreo utilizando el tiempo como una dimensión adicional. Además, en esta Tesis se examina la capacidad de integración de módulos a bordo de detección y evitación de obstáculos, así como las consecuencias para los servicios de U-space. Se presenta un módulo capaz de detectar grandes obstáculos estáticos inesperados y capaz de generar una ruta alternativa para evitar dicho obstáculo. Por último, la arquitectura UTM presentada ha sido probada en entornos de desarrollo de simulación, pero también en escenarios reales con aeronaves no tripuladas. Estos escenarios se diseñaron seleccionando las aplicaciones de operación de UAS más relevantes, como la inspección de aerogeneradores, líneas eléctricas y agricultura de precisión, así como la monitorización de eventos y bosques. ATLAS y El Arenosillo fueron las sedes de las pruebas realizadas gracias a los proyectos europeos SAFEDRONE y GAUSS

Multi-UAV Conflict Resolution with Graph Convolutional Reinforcement Learning

Safety is the primary concern when it comes to air traffic. In-flight safety between Unmanned Aircraft Vehicles (UAVs) is ensured through pairwise separation minima, utilizing conflict detection and resolution methods. Existing methods mainly deal with pairwise conflicts, however, due to an expected increase in traffic density, encounters with more than two UAVs are likely to happen. In this paper, we model multi-UAV conflict resolution as a multiagent reinforcement learning problem. We implement an algorithm based on graph neural networks where cooperative agents can communicate to jointly generate resolution maneuvers. The model is evaluated in scenarios with 3 and 4 present agents. Results show that agents are able to successfully solve the multi-UAV conflicts through a cooperative strategy

Conflict resolution algorithms for optimal trajectories in presence of uncertainty

Mención Internacional en el título de doctorThe objective of the work presented in this Ph.D. thesis is to develop a novel method to address the aircraft-obstacle avoidance problem in presence of uncertainty, providing optimal trajectories in terms of risk of collision and time of flight. The obstacle avoidance maneuver is the result of a Conflict Detection and Resolution (CD&R) algorithm prepared for a potential conflict between an aircraft and a fixed obstacle which position is uncertain. Due to the growing interest in Unmanned Aerial System (UAS) operations, CD&R topic has been intensively discussed and tackled in literature in the last 10 years. One of the crucial aspects that needs to be addressed for a safe and efficient integration of UAS vehicles in non-segregated airspace is the CD&R activity. The inherent nature of UAS, and the dynamic environment they are intended to work in, put on the table of the challenges the capability of CD&R algorithms to handle with scenarios in presence of uncertainty. Modeling uncertainty sources accurately, and predicting future trajectories taking into account stochastic events, are rocky issues in developing CD&R algorithms for optimal trajectories. Uncertainty about the origin of threats, variable weather hazards, sensing and communication errors, are only some of the possible uncertainty sources that make jeopardize air vehicle operations. In this work, conflict is defined as the violation of the minimum distance between a vehicle and a fixed obstacle, and conflict avoidance maneuvers can be achieved by only varying the aircraft heading angle. The CD&R problem, formulated as Optimal Control Problem (OCP), is solved via indirect optimal control method. Necessary conditions of optimality, namely, the Euler-Lagrange equations, obtained from calculus of variations, are applied to the vehicle dynamics and the obstacle constraint modeled as stochastic variable. The implicit equations of optimality lead to formulate a Multipoint Boundary Value Problem (MPBVP) which solution is in general not trivial. The structure of the optimality trajectory is inferred from the type of path constraint, and the trend of Lagrange multiplier is analyzed along the optimal route. The MPBVP is firstly approximated by Taylor polynomials, and then solved via Differential Algebra (DA) techniques. The solution of the OCP is therefore a set of polynomials approximating the optimal controls in presence of uncertainty, i.e., the optimal heading angles that minimize the time of flight, while taking into account the uncertainty of the obstacle position. Once the obstacle is detected by on-board sensors, this method provide a useful tool that allows the pilot, or remote controller, to choose the best trade-off between optimality and collision risk of the avoidance maneuver. Monte Carlo simulations are run to validate the results and the effectiveness of the method presented. The method is also valid to address CD&R problems in presence of storms, other aircraft, or other types of hazards in the airspace characterized by constant relative velocity with respect to the own aircraft.L’obiettivo del lavoro presentato in questa tesi di dottorato è la ricerca e lo sviluppo di un nuovo metodo di anti collisione velivolo-ostacolo in presenza di incertezza, fornendo traiettorie ottimali in termini di rischio di collisione e tempo di volo. La manovra di anticollisione è il risultato di un algoritmo di detezione e risoluzione dei conflitti, in inglese Conflict Detection and Resolution (CD&R), che risolve un potenziale conflitto tra un velivolo e un ostacolo fisso la cui posizione è incerta. A causa del crescente interesse nelle operazioni che coinvolgono velivoli autonomi, anche definiti Unmanned Aerial System (UAS), negli ultimi 10 anni molte ricerche e sviluppi sono state condotte nel campo degli algoritmi CD&R. Uno degli aspetti cruciali per un’integrazione sicura ed efficiente dei velivoli UAS negli spazi aerei non segregati è l’attività CD&R. La natura intrinseca degli UAS e l’ambiente dinamico in cui sono destinati a lavorare, impongono delle numerose sfide fra cui la capacità degli algoritmi CD&R di gestire scenari in presenza di incertezza. La modellizzazione accurata delle fonti di incertezza e la previsione di traiettorie che tengano conto di eventi stocastici, sono problemi particolarmente difficoltosi nello sviluppo di algoritmi CD&R per traiettorie ottimali. L’incertezza sull’origine delle minacce, zone di condizioni metereologiche avverse al volo, errori nei sensori e nei sistemi di comunicazione per la navigazione aerea, sono solo alcune delle possibili fonti di incertezza che mettono a repentaglio le operazioni degli aeromobili. In questo lavoro, il conflitto è definito come la violazione della distanza minima tra un veicolo e un ostacolo fisso, e le manovre per evitare i conflitti possono essere ottenute solo variando l’angolo di rotta dell’aeromobile, ovvero virando. Il problema CD&R, formulato come un problema di controllo ottimo, o Optimal Control Problem (OCP), viene risolto tramite un metodo indiretto. Le condizioni necessarie di ottimalità, vale a dire le equazioni di Eulero-Lagrange derivanti dal calcolo delle variazioni, sono applicate alla dinamica del velivolo e all’ostacolo modellizato come una variabile stocastica. Le equazioni implicite di ottimalità formano un problema di valori al controno multipunto, Multipoint Boundary Value Problem(MPBVP), la cui soluzione in generale è tutt’altro che banale. La struttura della traiettoria ottimale viene dedotta dal tipo di vincolo, e l’andamento del moltiplicatore di Lagrange viene analizzato lungo il percorso ottimale. Il MPBVP viene prima approssimato con un spazio di polinomi di Taylor e successimvamente risolto tramite tecniche di algebra differenziale, in inglese Differential Algebra (DA). La soluzione del OCP è quindi un insieme di polinomi che approssima il controllo ottimo del problema in presenza di incertezza. In altri termini, il controllo ottimo è l’insieme degli angoli di prua del velivolo che minimizzano il tempo di volo e che tenendo conto dell’incertezza sulla posizione dell’ostacolo. Quando l’ostacolo viene rilevato dai sensori di bordo, questo metodo fornisce un utile strumento al pilota, o al controllore remoto, al fine di scegliere il miglior compromesso tra ottimalità e rischio di collisione con l’ostacolo. Simulazioni Monte Carlo sono eseguite per convalidare i risultati e l’efficacia del metodo presentato. Il metodo è valido anche per affrontare problemi CD&R in presenza di tempeste, altri velivoli, o altri tipi di ostacoli caratterizzati da una velocità relativa costante rispetto al proprio velivolo.El objetivo del trabajo presentado en esta tesis doctoral es la búsqueda y el desarrollo de un método novedoso de anticolisión con osbstáculos en espacios aéreos en presencia de incertidumbre, proporcionando trayectorias óptimas en términos de riesgo de colisión y tiempo de vuelo. La maniobra de anticolisión es el resultado de un algoritmo de detección y resolución de conflictos, en inglés Conflict Detection and Resolution (CD&R), preparado para un conflicto potencial entre una aeronave y un obstáculo fijo cuya posición es incierta. Debido al creciente interés en las operaciones de vehículos autónomos, también definidos como Unmanned Aerial System (UAS), en los últimos 10 años muchas investigaciones se han llevado a cabo en el tema CD&R. Uno de los aspectos cruciales que debe abordarse para una integración segura y eficiente de los vehículos UAS en el espacio aéreo no segregado es la actividad CD&R. La naturaleza intrínseca de UAS, y el entorno dinámico en el que están destinados a trabajar, suponen un reto para la capacidad de los algoritmos de CD&R de trabajar con escenarios en presencia de incertidumbre. La precisa modelización de las fuentes de incertidumbre, y la predicción de trayectorias que tengan en cuenta los eventos estocásticos, son problemas muy difíciles en el desarrollo de algoritmos CD&R para trayectorias óptimas. La incertidumbre sobre el origen de las amenazas, condiciones climáticas adversas, errores en sensores y sistemas de comunicación para la navegación aérea, son solo algunas de las posibles fuentes de incertidumbre que ponen en peligro las operaciones de los vehículos aéreos. En este trabajo, el conflicto se define como la violación de la distancia mínima entre un vehículo y un obstáculo fijo, y las maniobras de anticolisión se pueden lograr variando solo el ángulo de rumbo de la aeronave, es decir virando. El problema CD&R, formulado como problema de control óptimo, o Optimal Control Problem (OCP), se resuelve a través del método de control óptimo indirecto. Las condiciones necesarias de optimalidad, es decir, las ecuaciones de Euler-Lagrange que se obtienen a partir del cálculo de variaciones, son aplicadas a la dinámica de la aeronave y al obstáculo modelizado como variable estocástica. Las ecuaciones implícitas de optimalidad forman un problema de valor de frontera multipunto (MPBVP) cuya solución en general no es trivial. La estructura de la trayectoria de optimalidad se deduce del tipo de vínculo, y la tendencia del multiplicador de Lagrange se analiza a lo largo de la ruta óptima. El MPBVP se aproxima en primer lugar a través de un espacio de polinomios de Taylor, y luego se resuelve por medio de técnicas de álgebra diferencial, en inglés Differential Algebra(DA). La solución del OCP es un conjunto de polinomios que aproximan los controles óptimos en presencia de incertidumbre, es decir, los ángulos de rumbo óptimos que minimizan el tiempo de vuelo teniendo en cuenta la incertidumbre asociada a la posición del obstáculo. Una vez que los sensores a bordo detectan el obstáculo, este método proporciona una herramienta muy útil que permite al piloto, o control remoto, elegir el mejor compromiso entre optimalidad y riesgo de colisión con el obstáculo. Se ejecutan simulaciones de Monte Carlo para validar los resultados y la efectividad del método presentado. El método también es válido para abordar los problemas de CD&R en presencia de tormentas, otras aeronaves u otros tipos de obstáculos caracterizados por una velocidad relativa constante con respecto a la propia aeronave.Programa de Doctorado en Mecánica de Fluidos por la Universidad Carlos III de Madrid; la Universidad de Jaén; la Universidad de Zaragoza; la Universidad Nacional de Educación a Distancia; la Universidad Politécnica de Madrid y la Universidad Rovira i VirgiliPresidente: Carlo Novara.- Secretario: Lucia Pallotino.- Vocales: Manuel Sanjurjo Rivo; Yoshinori Matsuno; Alfonso Valenzuela Romer

Autonomous Collision avoidance for Unmanned aerial systems

Unmanned Aerial System (UAS) applications are growing day by day and this will lead Unmanned Aerial Vehicle (UAV) in the close future to share the same airspace of manned aircraft.This implies the need for UAS to define precise safety standards compatible with operations standards for manned aviation. Among these standards the need for a Sense And Avoid (S&A) system to support and, when necessary, sub¬stitute the pilot in the detection and avoidance of hazardous situations (e.g. midair collision, controlled flight into terrain, flight path obstacles, and clouds). This thesis presents the work come out in the development of a S&A system taking into account collision risks scenarios with multiple moving and fixed threats. The conflict prediction is based on a straight projection of the threats state in the future. The approximations introduced by this approach have the advantage of high update frequency (1 Hz) of the estimated conflict geometry. This solution allows the algorithm to capture the trajectory changes of the threat or ownship. The resolution manoeuvre evaluation is based on a optimisation approach considering step command applied to the heading and altitude autopilots. The optimisation problem takes into account the UAV performances and aims to keep a predefined minimum separation distance between UAV and threats during the resolution manouvre. The Human-Machine Interface (HMI) of this algorithm is then embedded in a partial Ground Control Station (GCS) mock-up with some original concepts for the indication of the flight condition parameters and the indication of the resolution manoeuvre constraints. Simulations of the S&A algorithm in different critical scenarios are moreover in-cluded to show the algorithm capabilities. Finally, methodology and results of the tests and interviews with pilots regarding the proposed GCS partial layout are covered

Large-Scale Unmanned Aerial Systems Traffic Density Prediction and Management

In recent years, the applications of Unmanned Aerial Systems (UAS) has become more and more popular. We envision that in the near future, the complicated and high density UAS traffic will impose significant burden to air traffic management. Lot of works focus on the application development of individual Small Unmanned Aerial Systems (sUAS) or sUAS management Policy, however, the study of the UAS cluster behaviors such as forecasting and managing of the UAS traffic has generally not been addressed. In order to address the above issue, there is an urgent need to investigate three research directions. The first direction is to develop a high fidelity simulator for the UAS cluster behavior evaluation. The second direction to study real time trajectory planning algorithms to mitigate the high dense UAS traffic. The last direction is to investigate techniques that rapidly and accurately forecast the UAS traffic pattern in the future. In this thesis, we elaborate these three research topics and present a universal paradigm to predict and manage the traffic for the large-scale unmanned aerial systems. To enable the research in UAS traffic management and prediction, a Java based Multi-Agent Air Traffic and Resource Usage Simulation (MATRUS) framework is first developed. We use two types of UAS trajectories, Point-to-Point (P2P) and Man- hattan, as the case study to describe the capability of presented framework. Various communication and propagation models (i.e. log-distance-path loss) can be integrated with the framework to model the communication between UASs and base stations. The results show that MATRUS has the ability to evaluate different sUAS traffic management policies, and can provide insights on the relationships between air traf- fic and communication resource usage for further studies. Moreover, the framework can be extended to study the effect of sUAS Detect-and-Avoid (DAA) mechanisms, implement additional traffic management policies, and handle more complex traffic demands and geographical distributions. Based on the MATRUS framework, we propose a Sparse Represented Temporal- Spatial (SRTS) UAS trajectory planning algorithm. The SRTS algorithm allows the sUAS to avoid static no-fly areas (i.e. static obstacles) or other areas that have congested air traffic or communication traffic. The core functionality of the routing algorithm supports the instant refresh of the in-flight environment making it appropri- ate for highly dynamic air traffic scenarios. The characterization of the routing time and memory usage demonstrate that the SRTS algorithm outperforms a traditional Temporal-Spatial routing algorithm. The deep learning based approach has shown an outstanding success in many areas, we first investigated the possibility of applying the deep neural network in predicting the trajectory of a single vehicle in a given traffic scene. A new trajectory prediction model is developed, which allows information sharing among vehicles using a graph neural network. The prediction is based on the embedding feature, which is derived from multi-dimensional input sequences including the historical trajectory of target and neighboring vehicles, and their relative positions. Compared to other existing trajectory prediction methods, the proposed approach can reduce the pre- diction error by up to 50.00%. Then, we present a deep neural network model that extracts the features from both spatial and temporal domains to predict the UAS traffic density. In addition, a novel input representation of the future sUAS mission information is proposed. The pre-scheduled missions are categorized into 3 types according to their launching times. The results show that our presented model out- performs all of the baseline models. Meanwhile, the qualitative results demonstrate that our model can accurately predict the hot spot in the future traffic map

Full Automation of Air Traffic Management in High Complexity Airspace

The thesis is that automation of en-route Air Traffic Management in high complexity airspace can be achieved with a combination of automated tactic planning in a look-ahead time horizon of up to two hours complemented with automated tactic conflict resolution functions. The literature review reveals that no significant results have yet been obtained and that full automation could be approached with a complementary integration of automated tactic resolutions AND planning. The focus shifts to ‘planning for capacity’ and ‘planning for resolution’ and also – but not only – for ‘resolution’. The work encompasses a theoretical part on planning, and several small scale studies of empirical, mathematical or simulated nature. The theoretical part of the thesis on planning under uncertainties attempts to conceive a theoretical model which abstracts specificities of planning in Air Traffic Management into a generic planning model. The resulting abstract model treats entities like the planner, the strategy, the plan and the actions, always considering the impact of uncertainties. The work innovates in specifying many links from the theory to the application in planning of air traffic management, and especially the new fields of tactical capacity management. The second main part of the thesis comprises smaller self-containing works on different aspects of the concept grouped into a section on complexity, another on tactic planning actions, and the last on planners. The produced studies are about empirical measures of conflicts and conflict densities to get a better understanding of the complexity of air traffic; studies on traffic organisation using tactical manoeuvres like speed control, lateral offset and tactical direct using fast time simulation; and studies on airspace design like sector optimisation, dynamic sectorisation and its optimisation using optimisation techniques. In conclusion it is believed that this work will contribute to further automation attempts especially by its innovative focus which is on planning, base on a theory of planning, and its findings already influence newer developments

Urban Air Mobility Airspace Integration Concepts and Considerations

Urban Air Mobility (UAM) - defined as safe and efficient air traffic operations in a metropolitan area for manned aircraft and unmanned aircraft systems - is being researched and developed by industry, academia, and government. Significant resources have been invested toward cultivating an ecosystem for Urban Air Mobility that includes manufacturers of electric vertical takeoff and landing aircraft, builders of takeoff and landing areas, and researchers of the airspace integration concepts, technologies, and procedures needed to conduct Urban Air Mobility operations safely and efficiently alongside other airspace users. This paper provides high-level descriptions of both emergent and early expanded operational concepts for Urban Air Mobility that NASA is developing. The scope of this work is defined in terms of missions, aircraft, airspace, and hazards. Past and current Urban Air Mobility operations are also reviewed, and the considerations for the data exchange architecture and communication, navigation, and surveillance requirements are also discussed. This paper will serve as a starting point to develop a framework for NASA's Urban Air Mobility airspace integration research and development efforts with partners and stakeholders that could include fast-time simulations, human-in-the-loop (HITL) simulations, and flight demonstrations

Current Safety Nets Within the U.S. National Airspace System

There are over 70,000 flights managed per day in the National Airspace System, with approximately 7,000 aircraft in the air over the United States at any given time. Operators of each of these flights would prefer to fly a user-defined 4D trajectory (4DT), which includes arrival and departure times; preferred gates and runways at the airport; efficient, wind-optimal routes for departure, cruise and arrival phase of flight; and fuel efficient altitude profiles. To demonstrate the magnitude of this achievement a single flight from Los Angeles to Baltimore, accesses over 35 shared or constrained resources that are managed by roughly 30 air traffic controllers (at towers, approach control and en route sectors); along with traffic managers at 12 facilities, using over 22 different, independent automation system (including TBFM, ERAM, STARS, ASDE-X, FSM, TSD, GPWS, TCAS, etc.). In addition, dispatchers, ramp controllers and others utilize even more systems to manage each flights access to operator-managed resources. Flying an ideal 4DT requires successful coordination of all flight constraints among all flights, facilities, operators, pilots and controllers. Additionally, when conditions in the NAS change, the trajectories of one or more aircraft may need to be revised to avoid loss of flight efficiency, predictability, separation or system throughput. The Aviation Safety Network has released the 2016 airliner accident statistics showing a very low total of 19 fatal airliner accidents, resulting in 325 fatalities1. Despite several high profile accidents, the year 2016 turned out to be a very safe year for commercial aviation, Aviation Safety Network data show. Over the year 2016 the Aviation Safety Network recorded a total of 19 fatal airliner accidents [1], resulting in 325 fatalities. This makes 2016 the second safest year ever, both by number of fatal accidents as well as in terms of fatalities. In 2015 ASN recorded 16 accidents while in 2013 a total of 265 lives were lost. How can we keep it that way and not upset the apple cart by premature insertion of innovative technologies, functions, and procedures? In aviation, safety nets function as the last system defense against incidents and accidents. Current ground-based and airborne safety nets are well established and development to make them more efficient and reliable continues. Additionally, future air traffic control safety nets may emerge from new operational concepts

Next generation flight management systems for manned and unmanned aircraft operations - automated separation assurance and collision avoidance functionalities

The demand for improved safety, efficiency and dynamic demand-capacity balancing due to the rapid growth of the aviation sector and the increasing proliferation of Unmanned Aircraft Systems (UAS) in different classes of airspace pose significant challenges to avionics system developers. The design of Next Generation Flight Management Systems (NG-FMS) for manned and unmanned aircraft operations is performed by addressing the challenges identified by various Air Traffic Management (ATM) modernisation programmes and UAS Traffic Management (UTM) system initiatives. In particular, this research focusses on introducing automated Separation Assurance and Collision Avoidance (SA&CA) functionalities (mathematical models) in the NG-FMS. The innovative NG-FMS is also capable of supporting automated negotiation and validation of 4-Dimensional Trajectory (4DT) intents in coordination with novel ground-based Next Generation Air Traffic Management (NG-ATM) systems. One of the key research contributions is the development of a unified method for cooperative and non-cooperative SA&CA, addressing the technical and regulatory challenges of manned and unmanned aircraft coexistence in all classes of airspace. Analytical models are presented and validated to compute the overall avoidance volume in the airspace surrounding a tracked object, supporting automated SA&CA functionalities. The scientific basis of this approach is to assess real-time measurements and associated uncertainties affecting navigation states (of the host aircraft platform), tracking observables (of the static or moving object) and platform dynamics, and translate them to unified range and bearing uncertainty descriptors. The SA&CA unified approach provides an innovative analytical framework to generate high-fidelity dynamic geo-fences suitable for integration in the NG-FMS and in the ATM/UTM/defence decision support tools