Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “conflicts”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 73 records · Page 4

The Chorus Conflict and Loss of Separation Resolution Algorithms

The Chorus software is designed to investigate near-term, tactical conflict and loss of separation detection and resolution concepts for air traffic management. This software is currently being used in two different problem domains: en-route self- separation and sense and avoid for unmanned aircraft systems. This paper describes the core resolution algorithms that are part of Chorus. The combination of several features of the Chorus program distinguish this software from other approaches to conflict and loss of separation resolution. First, the program stores a history of state information over time which enables it to handle communication dropouts and take advantage of previous input data. Second, the underlying conflict algorithms find resolutions that solve the most urgent conflict, but also seek to prevent secondary conflicts with the other aircraft. Third, if the program is run on multiple aircraft, and the two aircraft maneuver at the same time, the result will be implicitly co-ordinated. This implicit coordination property is established by ensuring that a resolution produced by Chorus will comply with a mathematically-defined criteria whose correctness has been formally verified. Fourth, the program produces both instantaneous solutions and kinematic solutions, which are based on simple accel- eration models. Finally, the program provides resolutions for recovery from loss of separation. Different versions of this software are implemented as Java and C++ software programs, respectively.

Butler, Ricky W.↗

A Formally Verified Conflict Detection Algorithm for Polynomial Trajectories

In air traffic management, conflict detection algorithms are used to determine whether or not aircraft are predicted to lose horizontal and vertical separation minima within a time interval assuming a trajectory model. In the case of linear trajectories, conflict detection algorithms have been proposed that are both sound, i.e., they detect all conflicts, and complete, i.e., they do not present false alarms. In general, for arbitrary nonlinear trajectory models, it is possible to define detection algorithms that are either sound or complete, but not both. This paper considers the case of nonlinear aircraft trajectory models based on polynomial functions. In particular, it proposes a conflict detection algorithm that precisely determines whether, given a lookahead time, two aircraft flying polynomial trajectories are in conflict. That is, it has been formally verified that, assuming that the aircraft trajectories are modeled as polynomial functions, the proposed algorithm is both sound and complete.

Narkawicz, Anthony↗

Parametric Analysis of Surveillance Quality and Level and Quality of Intent Information and Their Impact on Conflict Detection Performance

A loss-of-separation (LOS) is said to occur when two aircraft are spatially too close to one another. A LOS is the fundamental unsafe event to be avoided in air traffic management and conflict detection (CD) is the function that attempts to predict these LOS events. In general, the effectiveness of conflict detection relates to the overall safety and performance of an air traffic management concept. An abstract, parametric analysis was conducted to investigate the impact of surveillance quality, level of intent information, and quality of intent information on conflict detection performance. The data collected in this analysis can be used to estimate the conflict detection performance under alternative future scenarios or alternative allocations of the conflict detection function, based on the quality of the surveillance and intent information under those conditions.Alternatively, this data could also be used to estimate the surveillance and intent information quality required to achieve some desired CD performance as part of the design of a new separation assurance system.

Guerreiro, Nelson M.↗

Conflict Alerts for Aircraft Conducting Visual Approaches

It is common for aircraft to conduct visual and instrument final approaches to a single runway or multiple parallel runways. Useful, nonexcessive safety alerts on aircraft conducting visual approaches are helpful to air traffic controllers, though pilots are responsible for separation with the preceding aircraft. A variety of visual approaches to various runway configurations are studied, and a set of safety alert thresholds is proposed. Fast-time simulations with recorded real-world air traffic data of mostly visual approach flights are performed on a prototype tactical separation assurance system for terminal airspace. Alerts are generated -- with both the standard separation thresholds and the proposed safety alert thresholds -- and compared with those from the Conflict Alert (CA) functionality in the Standard Terminal Automation Replacement System (STARS). The results show that the number of Mode-C Intruder alerts generated was reduced 76% as compared to STARS CA. The nuisance alerts generated by assuming visual to be instrument approaches was reduced by 92% when the proposed safety alert thresholds were used and visual approaches were assumed.A set of safety alert thresholds, which allow safety alerts to be provided to the controllers for aircraft conductingvisual approaches to a single runway or multiple parallel runways, has been proposed based on input from SubjectMatter Experts as well as visual approach procedures and common practices. The goal is to maximize the thresholdswithin the guidance of the procedures and common practices and to minimize the number of nuisance alerts and totalnumber of alerts with the support of flight intent information. Tests have been performed using a recently developedprototype tactical separation assurance system for terminal airspace, called Terminal Tactical Separation-AssuredFlight Environment (T-TSAFE). The input was a full day of air traffic data from Dallas/Fort Worth (DFW) TRACONwith most arriving flights conducting visual approaches. The results compare favorably with those of the ConflictAlert (CA) functionality of the Standard Terminal Automation Replacement System (STARS).When fast-time simulation experiment was performed using T-TSAFE with all arriving flights assumed to conductinstrument approaches, the expected large number of separation alerts were observed. When compared with STARSCA, the conflict pairs common to both T-TSAFE and STARS CA was only 21% of the total STARS CA alerts. As aresult, the nuisance-alert rate for STARS CA was estimated to be about 70%, which is comparable to a similar previously estimation of 80% nuisance-alert rate for CARTS (Common Automated Radar Terminal System) CA. The Mode-CIntruder (MCI) alerts were also reduced by 76% as compared to STARS CA.Examination of the common conflict pairs between T-TSAFE and STARS CA shows that they are valid separationconflicts with good alert lead times for T-TSAFE. However, many of them would still be considered nuisance alertsif the aircraft were conducting visual approaches. This was confirmed by another visual approach fast-time simulationT-TSAFE experiment, in which all DFW arriving flights were assumed to be on visual approaches and our proposedsafety alert thresholds were used and tested. The result of the experiment showed that the number of non-MCI alertswas less by 92% as compared to the number when all DFW arrivals were assumed to be conducting instrumentapproaches. The common conflict pairs involving aircraft conducting visual approaches to parallel runways werereduced by 93% as well. Thus, the flight intent information and the safety alert thresholds are effective in reducingnuisance alerts.T-TSAFE can thus provide separation and safety conflict alerts seamlessly in the real-world environment of mixedterminal operations with arriving flights of both visual and instrument approaches. Compared with STARS CA, TTSAFEhas fewer false alerts, larger alert lead time, and larger alert thresholds. While the nuisance alerts are reducedsignificantly with the safety alert thresholds, further work is needed to study if the alert lead time for safety alerts issufficient.

Tang, Huabin↗

A Web-Based Negotiation Tool for Conflict Resolution in Upper Class E Traffic Management

In Upper Class E airspace 60,000 feet (or Flight level / FL600), vehicles such as High Altitude Long Endurance (HALE) balloons and slow fixed-wing gliders have diverse vehicle characteristics and limited maneuverability. Due to these unique characteristics of high-altitude operations, a new type of strategic negotiation-based conflict resolution method has been proposed to avoid potential conflict between vehicles in Upper Class E airspace, well in advance of the conflict point and with ample time for bilateral negotiation. This paper introduces the first real-time web-based negotiation tool for high-altitude operations. To facilitate negotiation, this tool incorporates a bilateral negotiation model with an algorithm to assess conflict risks and generate new flight trajectories with a given flight path deviation. This tool allows users to make decisions during negotiation manually and automatically while enforcing the needed constraints for negotiation to be successful. Operators can make decisions at every step while they interact with each other on separate devices. To conduct sensitivity analysis, a mechanism that automates human inputs to the user interface is also developed for this web-based negotiation tool, such that fast-time simulations can be constructed and used to explore various scenarios to gain insights into this web-based negotiation model. Using this tool, a study was conducted to evaluate the impact of different negotiation strategies, vehicle types, vehicle crossing angles, and operator response times during the negotiations on metrics such as total negotiation completion time, number of negotiation rounds, and extra flight distance to avoid the conflict due to negotiation, compared to ones without negotiation. The results suggest that operators benefit from using negotiated flight paths with quick response times, across various crossing angles and vehicle types. Various Negotiation Strategies are investigated to simulate the behaviors associated with different types of negotiations. The findings demonstrate that, in comparison to the conventional method where a single operator assumes full responsibility, negotiation-based strategic deconfliction reduces the total extra flight distance by an average of 24% - 27%. On an individual basis, each operator may be able to save an average of 65% of their extra flight distance.

Upper Class E Traffic Management (ETM)↗

Conflict Detection in Open RAN with Recurrent Neural Networks Using Geometric Manifolds

Allowing third-party applications on Radio Access Network (RAN) Intelligent Controllers (RICs) within the OpenRAN (O-RAN) framework introduces conflicting interactions that are often difficult to detect in advance. These conflicts, occurring between third-party applications in the Near RealTime RIC (Near-RT RIC), known as xApps, can lead to performance degradation and instability in O-RAN if not identified early. Existing conflict detection and mitigation solutions in the literature assume that the conflicts are known beforehand, which is not always accurate due to the complex and often hidden relationships between control parameters and Key Performance Indicators (KPIs). In this paper, we propose a novel Recurrent Neural Network (RNN) to detect both known and unknown conflicts in O-RAN xApps as specified in the O-RAN standards. We model the xApps, control parameters, and KPIs with nodes and edges to create graph structures and use the hidden nonEuclidean geometric properties of the Riemannian manifold to train the RNN model. The performance of this proposed model is validated using evaluation metrics and compared with benchmarks. Results demonstrate that the proposed RNN model, leveraging Riemannian geometric properties, can achieve 100% of the F1-score provided by an optimal solution in just 20 iterations.

5G↗

Conflict Detection in Open RAN with Recurrent Neural Networks Using Geometric Manifolds

Allowing third-party applications on Radio Access Network (RAN) Intelligent Controllers (RICs) within the OpenRAN (O-RAN) framework introduces conflicting interactions that are often difficult to detect in advance. These conflicts, occurring between third-party applications in the Near RealTime RIC (Near-RT RIC), known as xApps, can lead to performance degradation and instability in O-RAN if not identified early. Existing conflict detection and mitigation solutions in the literature assume that the conflicts are known beforehand, which is not always accurate due to the complex and often hidden relationships between control parameters and Key Performance Indicators (KPIs). In this paper, we propose a novel Recurrent Neural Network (RNN) to detect both known and unknown conflicts in O-RAN xApps as specified in the O-RAN standards. We model the xApps, control parameters, and KPIs with nodes and edges to create graph structures and use the hidden nonEuclidean geometric properties of the Riemannian manifold to train the RNN model. The performance of this proposed model is validated using evaluation metrics and compared with benchmarks. Results demonstrate that the proposed RNN model, leveraging Riemannian geometric properties, can achieve 100% of the F1-score provided by an optimal solution in just 20 iterations.

5G↗

Intent Modeling and Conflict Probability Calculation for Operations in Upper Class E Airspace

This work presents a probabilistic operational intent model for vehicles operating in upper Class E airspace. A hybrid method is developed to calculate the intent conflict probability leveraging and extending past works on probabilistic conflict computation. Simulation results verify that the probabilistic intent model can accurately encompass the uncertain positions of each vehicle type, that are a result of wind prediction errors and vehicle performance. A comparison with past methods showed that the proposed hybrid method captures the intent conflict probability with better accuracy, especially for a larger look-ahead horizon, and computational time is reasonable for real-time applications. An example is presented to illustrate the use of the intent conflict probability in strategic planning applications.

Air traffic management↗

Intent Modeling and Conflict Probability Calculation for Operations in Upper Class E Airspace

This work presents a probabilistic operational intent model for vehicles operating in upper Class E airspace. A hybrid method is developed to calculate the intent conflict probability leveraging and extending past works on probabilistic conflict computation. Simulation results verify that the probabilistic intent model can accurately encompass the uncertain positions of each vehicle type, that are a result of wind prediction errors and vehicle performance. A comparison with past methods showed that the proposed hybrid method captures the intent conflict probability with better accuracy, especially for a larger look-ahead horizon, and computational time is reasonable for real-time applications. An example is presented to illustrate the use of the intent conflict probability in strategic planning applications.

Air traffic management, operational intent, confli↗

A heuristic mathematical model for the dynamics of sensory conflict and motion sickness

The etiology of motion sickness is explained in terms of a qualitatively formulated sensory conflict hypothesis. By consideration of the information processing task faced by the central nervous system in estimating body spatial orientation and in controlling active body movement using an internal model referenced control strategy, a mathematical model for sensory conflict generation is developed. The model postulates a major dynamic functional role for sensory conflict signals in movement control, as well as in sensory-motor adaptation. It accounts for the role of active movement in creating motion sickness symptoms in some experimental circumstances, and in alleviating them in others. The relationship between motion sickness produced by sensory rearrangement and that resulting from external motion disturbances is explicitly defined. A nonlinear conflict averaging model is proposed which describes dynamic aspects of experimentally observed subjective discomfort sensation, and suggests resulting behaviors.

Oman, C. M.↗

A heuristic mathematical model for the dynamics of sensory conflict and motion sickness

The etiology of motion sickness is now usually explained in terms of a qualitatively formulated sensory conflict hypothesis. By consideration of the information processing task faced by the central nervous system in estimating body spatial orientation and in controlling active body movement using an internal model referenced control strategy, a mathematical model for sensory conflict generation is developed. The model postulates a major dynamic functional role for sensory conflict signals in movement control, as well as in sensory motor adaptation. It accounts for the role of active movement in creating motion sickness symptoms in some experimental circumstances, and in alleviating them in others. The relationship between motion sickness produced by sensory rearrangement and that resulting from external motion disturbances is explicitly defined. A nonlinear conflict averaging model describes dynamic aspects of experimentally observed subjective discomfort sensation, and suggests resulting behavior.

Oman, C. M.↗

A conflict analysis of 4D descent strategies in a metered, multiple-arrival route environment

A conflict analysis was performed on multiple arrival traffic at a typical metered airport. The Flow Management Evaluation Model (FMEM) was used to simulate arrival operations using Denver Stapleton's arrival route structure. Sensitivities of conflict performance to three different 4-D descent strategies (clear-idle Mach/Constant AirSpeed (CAS), constant descent angle Mach/CAS and energy optimal) were examined for three traffic mixes represented by those found at Denver Stapleton, John F. Kennedy and typical en route metering (ERM) airports. The Monte Carlo technique was used to generate simulation entry point times. Analysis results indicate that the clean-idle descent strategy offers the best compromise in overall performance. Performance measures primarily include susceptibility to conflict and conflict severity. Fuel usage performance is extrapolated from previous descent strategy studies.

Izumi, K. H.↗

Automated conflict resolution issues

A discussion is presented of how conflicts for Space Network resources should be resolved in the ATDRSS era. The following topics are presented: a description of how resource conflicts are currently resolved; a description of issues associated with automated conflict resolution; present conflict resolution strategies; and topics for further discussion.

Wike, Jeffrey S.↗

Automating the conflict resolution process

The purpose is to initiate a discussion of how the conflict resolution process at the Network Control Center can be made more efficient. Described here are how resource conflicts are currently resolved as well as the impacts of automating conflict resolution in the ATDRSS era. A variety of conflict resolution strategies are presented.

Wike, Jeffrey S.↗

Conflict Probability Estimation for Free Flight

The safety and efficiency of free flight will benefit from automated conflict prediction and resolution advisories. Conflict prediction is based on trajectory prediction and is less certain the farther in advance the prediction, however. An estimate is therefore needed of the probability that a conflict will occur, given a pair of predicted trajectories and their levels of uncertainty. A method is developed in this paper to estimate that conflict probability. The trajectory prediction errors are modeled as normally distributed, and the two error covariances for an aircraft pair are combined into a single equivalent covariance of the relative position. A coordinate transformation is then used to derive an analytical solution. Numerical examples and Monte Carlo validation are presented.

Paielli, Russell A.↗

An Evaluation and Redesign of the Conflict Prediction and Trial Planning Planview Graphical User Interface

The Planview Graphical User Interface (PGUI) is the primary display of air traffic for the Conflict Prediction and Trial Planning, function of the Center TRACON Automation System. The PGUI displays air traffic information that assists the user in making decisions related to conflict detection, conflict resolution, and traffic flow management. The intent of this document is to outline the human factors issues related to the design of the conflict prediction and trial planning portions of the PGUI, document all human factors related design changes made to the PGUI from December 1996 to September 1997, and outline future plans for the ongoing PGUI design.

Laudeman, Irene V.↗

Formal Verification of a Conflict Resolution and Recovery Algorithm

New air traffic management concepts distribute the duty of traffic separation among system participants. As a consequence, these concepts have a greater dependency and rely heavily on on-board software and hardware systems. One example of a new on-board capability in a distributed air traffic management system is air traffic conflict detection and resolution (CD&R). Traditional methods for safety assessment such as human-in-the-loop simulations, testing, and flight experiments may not be sufficient for this highly distributed system as the set of possible scenarios is too large to have a reasonable coverage. This paper proposes a new method for the safety assessment of avionics systems that makes use of formal methods to drive the development of critical systems. As a case study of this approach, the mechanical veri.cation of an algorithm for air traffic conflict resolution and recovery called RR3D is presented. The RR3D algorithm uses a geometric optimization technique to provide a choice of resolution and recovery maneuvers. If the aircraft adheres to these maneuvers, they will bring the aircraft out of conflict and the aircraft will follow a conflict-free path to its original destination. Veri.cation of RR3D is carried out using the Prototype Verification System (PVS).

Maddalon, Jeffrey↗

Sensorimotor aspects of high-speed artificial gravity: I. Sensory conflict in vestibular adaptation

Short-radius centrifugation offers a promising and affordable countermeasure to the adverse effects of prolonged weightlessness. However, head movements made in a fast rotating environment elicit Coriolis effects, which seriously compromise sensory and motor processes. We found that participants can adapt to these Coriolis effects when exposed intermittently to high rotation rates and, at the same time, can maintain their perceptual-motor coordination in stationary environments. In this paper, we explore the role of inter-sensory conflict in this adaptation process. Different measures (vertical nystagmus, illusory body tilt, motion sickness) react differently to visual-vestibular conflict and adapt differently. In particular, proprioceptive-vestibular conflict sufficed to adapt subjective parameters and the time constant of nystagmus decay, while retinal slip was required for VOR gain adaptation. A simple correlation between the strength of intersensory conflict and the efficacy of adaptation fails to explain the data. Implications of these findings, which differ from existing data for low rotation rates, are discussed.

Non-NASA Center↗