Search NASA⌕ Search

SEARCH · Search NASA

Results for “Conflict Resolution”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
NASA NTRS2008

A Formal Framework for the Analysis of Algorithms That Recover From Loss of Separation

We present a mathematical framework for the specification and verification of state-based conflict resolution algorithms that recover from loss of separation. In particular, we propose rigorous definitions of horizontal and vertical maneuver correctness that yield horizontal and vertical separation, respectively, in a bounded amount of time. We also provide sufficient conditions for independent correctness, i.e., separation under the assumption that only one aircraft maneuvers, and for implicitly coordinated correctness, i.e., separation under the assumption that both aircraft maneuver. An important benefit of this approach is that different aircraft can execute different algorithms and implicit coordination will still be achieved, as long as they all meet the explicit criteria of the framework. Towards this end we have sought to make the criteria as general as possible. The framework presented in this paper has been formalized and mechanically verified in the Prototype Verification System (PVS).

Butler, RIcky W.↗
NASA NTRS2004

Coordinating Shared Activities

Shared Activity Coordination (ShAC) is a computer program for planning and scheduling the activities of an autonomous team of interacting spacecraft and exploratory robots. ShAC could also be adapted to such terrestrial uses as helping multiple factory managers work toward competing goals while sharing such common resources as floor space, raw materials, and transports. ShAC iteratively invokes the Continuous Activity Scheduling Planning Execution and Replanning (CASPER) program to replan and propagate changes to other planning programs in an effort to resolve conflicts. A domain-expert specifies which activities and parameters thereof are shared and reports the expected conditions and effects of these activities on the environment. By specifying these conditions and effects differently for each planning program, the domain-expert subprogram defines roles that each spacecraft plays in a coordinated activity. The domain-expert subprogram also specifies which planning program has scheduling control over each shared activity. ShAC enables sharing of information, consensus over the scheduling of collaborative activities, and distributed conflict resolution. As the other planning programs incorporate new goals and alter their schedules in the changing environment, ShAC continually coordinates to respond to unexpected events.

Clement, Bradley↗
NASA NTRS2011

Allocation of Functions in a Far-Term Air Traffic Control Environment

A human-in-the-loop exploration of a ground-based automated separation assurance concept was conducted that involved the allocation of certain functions between humans and automation. This exploration included operations that were sustained for prolonged periods of time with high levels of traffic in the presence of convective weather and scheduling constraints. An investigation into the acceptability of the defined roles and performance of tasks was conducted where it was found that the participants rated the concept and allocation of functions with a high level of acceptability. However, issues were encountered with the automation related to the detection of and response to tactical conflicts. Lower ratings were given on account of these concerns, and it was found that a key contributor to the underlying problems was transitioning aircraft and the uncertainty of their trajectories. Stemming from those results, participants responded that they would rather have direct control over aircraft transitions as well as more control over the tactical conflict resolution automation. In contrast, participants responded that they would rather have the automation place aircraft back on trajectory, and perform weather avoidance and scheduling tasks.

Homola, Jeffrey↗
NASA NTRS2011

An Analysis of Database Replication Technologies with Regard to Deep Space Network Application Requirements

The Deep Space Network (DSN) has three communication facilities which handle telemetry, commands, and other data relating to spacecraft missions. The network requires these three sites to share data with each other and with the Jet Propulsion Laboratory for processing and distribution. Many database management systems have replication capabilities built in, which means that data updates made at one location will be automatically propagated to other locations. This project examines multiple replication solutions, looking for stability, automation, flexibility, performance, and cost. After comparing these features, Oracle Streams is chosen for closer analysis. Two Streams environments are configured - one with a Master/Slave architecture, in which a single server is the source for all data updates, and the second with a Multi-Master architecture, in which updates originating from any of the servers will be propagated to all of the others. These environments are tested for data type support, conflict resolution, performance, changes to the data structure, and behavior during and after network or server outages. Through this experimentation, it is determined which requirements of the DSN can be met by Oracle Streams and which cannot.

Oracle Database File System↗
NASA NTRS2016

3D-CDTI User Manual v2.1

The 3D-Cockpit Display of Traffic Information (3D-CDTI) is a flight deck tool that presents aircrew with: proximal traffic aircraft location, their current status and flight plan data; strategic conflict detection and alerting; automated conflict resolution strategies; the facility to graphically plan manual route changes; time-based, in-trail spacing on approach. The CDTI is manipulated via a touchpad on the flight deck, and by mouse when presented as part of a desktop flight simulator.

3D CDTI↗
NASA NTRSDate not supplied

Introduction to Air Traffic Management

The presentation introduces students and faculty to air traffic management with focus on air traffic data for data-science. Starting with the common attributes of transportation systems — highway transportation, air transportation and data transportation, the initial set of slides discuss the purpose of data-science in air traffic management, reasons why air traffic management is challenging, and the multidisciplinary nature of air traffic management research. The history of flight from 1903 — Wright Flyer — to 1987 — formation of the National Air Traffic Controllers Association — is briefly discussed. The national airspace system is described in terms of airports in the U. S., air traffic control facilities (flight service stations, terminal, enroute and system command center), airspace geometry (sectors, airways and navaids), governing regulations and directives, airspace classification (Class A through G), special use airspace, visual flight rules and instrument flight rules. The contents of a flight-plan are described. Weather briefing is discussed. The surveillance equipment used for surface, terminal area and enroute are described, and the aircraft states obtained using the surveillance data are listed. Airline operations control functions — schedule development, flight planning, resource scheduling and flight following — are noted. Next, the roles and responsibilities of air traffic controllers and traffic flow managers are discussed. Separation standards and conflict resolution techniques are outlined. Finally, traffic flow management techniques are reviewed with an illustrative example.

Air Traffic Management↗
NASA NTRSDate not supplied

Introduction to Air Traffic Management

The presentation introduces students and faculty to air traffic management with focus on air traffic data for data-science. Starting with the common attributes of transportation systems — highway transportation, air transportation and data transportation, the initial set of slides discuss the purpose of data-science in air traffic management, reasons why air traffic management is challenging, and the multidisciplinary nature of air traffic management research. The history of flight from 1903 — Wright Flyer — to 1987 — formation of the National Air Traffic Controllers Association — is briefly discussed. The national airspace system is described in terms of airports in the U. S., air traffic control facilities (flight service stations, terminal, enroute and system command center), airspace geometry (sectors, airways and navaids), governing regulations and directives, airspace classification (Class A through G), special use airspace, visual flight rules and instrument flight rules. The contents of a flight-plan are described. Weather briefing is discussed. The surveillance equipment used for surface, terminal area and enroute are described, and the aircraft states obtained using the surveillance data are listed. Airline operations control functions — schedule development, flight planning, resource scheduling and flight following — are noted. Next, the roles and responsibilities of air traffic controllers and traffic flow managers are discussed. Separation standards and conflict resolution techniques are outlined. Finally, traffic flow management techniques are reviewed with an illustrative example.

Air Traffic Management↗
NASA NTRSDate not supplied

Communication Demand in the National Airspace - A Federated Learning Approach

Within the national airspace system (NAS), efficient use of spectrum remains a challenge; as UAS and UAM missions evolve, the amount of mission-critical aircraft communications are expected to significantly grow. To accommodate the increased demand, NASA Glenn Research Center is investigating artificial intelligence approaches that could dynamically allocate spectrum; however, these solutions are driven by communication and aviation data items, many of which are not directly available. One such cornerstone data item is communication demand, parameterizing the needs within a sector in terms that may directly inform spectrum allocation, such as channel access duration, bandwidth, and modulation type. This paper considers the complexity of predicting communication demand as a function of NAS behaviors. Unlike prior prediction work in communications, this research must consider how the NAS may be impacted by external factors - such as convective weather and closures - rather than estimating demand from time-series forecasting alone. Much of this research considers a federated learning design to predict communication events in terms of the type of event occurring (sector coordination, conflict resolution, etc.). To do so, an investigation of products from Sherlock Data Warehouse is conducted, identifying the trends, sufficiency, and correlations of each product to identified events. Additionally, a preliminary discussion for inferring associations between these event types and their communication parameters (duration, bandwidth, modulation) is presented. By utilizing federated learning, imbalances in the types of events and data present throughout the NAS can inform local models without impairing global training. Furthermore, the two-stage approach proposed allows for robust and speculative communication modelling, as communication techniques continue to evolve. As a result, this model enables a generalized approach to understanding NAS communications which is able to inform long-term changes to aviation spectrum management.

Nathan Schimpf↗
NASA NTRSDate not supplied

A Federated Learning Approach to Predicting Communication Demand in the National Airspace

Within the national airspace system (NAS), efficient use of spectrum remains a challenge; as UAS and UAM missions evolve, the amount of mission-critical aircraft communications are expected to significantly grow. To accommodate the increased demand, NASA Glenn Research Center is investigating artificial intelligence approaches that could dynamically allocate spectrum; however, these solutions are driven by communication and aviation data items, many of which are not directly available. One such cornerstone data item is communication demand, parameterizing the needs within a sector in terms that may directly inform spectrum allocation, such as channel access duration, bandwidth, and modulation type. This paper considers the complexity of predicting communication demand as a function of NAS behaviors. Unlike prior prediction work in communications, this research must consider how the NAS may be impacted by external factors - such as convective weather and closures - rather than estimating demand from time-series forecasting alone. Much of this research considers a federated learning design to predict communication events in terms of the type of event occurring (sector coordination, conflict resolution, etc). To do so, an investigation of products from Sherlock Data Warehouse is conducted, identifying the trends, sufficiency, and correlations of each product to identified events. Additionally, a preliminary discussion for inferring associations between these event types and their communication parameters (duration, bandwidth, modulation) is presented. By utilizing federated learning, imbalances in the types of events and data present throughout the NAS can inform local models without impairing global training. Furthermore, the two-stage approach proposed allows for robust and speculative communication modelling, as communication techniques continue to evolve. As a result, this model enables a generalized approach to understanding NAS communications which is able to inform long-term changes to aviation spectrum management.

Nathan Schimpf↗
NASA NTRS2023

Detect-and-Avoid in Off-Nominal Situations for Supersonic Transport Aircraft in Upper Class E Airspace

This thesis researches potential failure conditions within supersonic and potential hypersonic aircraft. The most critical off-nominal situations have been identified to be Engine Failures, Rapid Decompression and High Altitude Radiation. Having in mind, current regulatory requirements as well as past operations of Concorde, potential locations for different speeds have been modeled to identify safe operational volumes. With an emphasis on the engine failure case as part of the thesis requirement, a potential first order approach to future DAA systems is described in order to add these models on top of current conflict resolution models.

supersonic↗
NASA NTRSDate not supplied

Roadmap to Cooperative Operating Practices for Strategic Conflict Detection and Resolution in the Upper Class-E Traffic Management Concept

As the governing body of flight operations in the highly anticipated emergent area of Upper Class E airspace (60,000 ft and above), the Federal Aviation Administration (FAA) has recognized the potential for a possible extensible traffic management system for new entrants into this domain. Following the successes with Unmanned Aircraft Systems (UAS) Traffic Management (UTM) and Advanced / Urban Air Mobility (AAM / UAM) Traffic Management programs, FAA put forth an initial concept of operations for supporting the start of the Upper Class E Traffic Management (ETM) concept. Like UTM and AAM / UAM, ETM is envisioned to also be a community-based, industry driven cooperative management concept. However, tailoring it to be adaptable to the atmospheric communication, navigation, and surveillance deficits, as well as the diverse vehicle and mission profiles operating in the ETM environment will be the challenge. As such, the National Aeronautics and Space Administration (NASA) Ames Research Center has been investigating several technologies that will help enable industry in the development of this new type of cooperative operating environment. These technologies are being prototyped and will be tested in a collaborative evaluation of an initial ETM system in late 2023. The evaluation will concentrate on building out ETM system technologies that will inform the participants regarding operational intent sharing, strategic conflict detection, and the resultant deconfliction process. In addition to the technical aspects, key roles and responsibilities will need to be defined. This will be done through exploring community-agreed upon Cooperative Operating Practices (COPs) that include procedures and capabilities to aid in timely, strategic conflict identification and resolution to be developed during the evaluation. As an initial step to the evaluation, the ETM research team at NASA Ames solicited industry feedback on various aspects of ETM operations from subject matter experts. A virtual tabletop walkthrough session was held over a two-day period to follow a roadmap through the functional steps needed to build COPs, focusing on strategic conflict detection and resolution. Overall, the ETM tabletop provided insights into how the community wanted to instantiate the generation and sharing of operational intent, detect strategic conflicts and resolve those conflicts using a preliminary set of procedural community-agreed upon COPs.

Upper Class-E Traffic Management (ETM)↗
NASA NTRSDate not supplied

Roadmap to Cooperative Operating Practices for Strategic Conflict Detection and Resolution in the Upper Class E Traffic Management Concept

As the governing body of flight operations in the highly anticipated emergent area of Upper Class E airspace (60,000 ft and above), the Federal Aviation Administration (FAA) has recognized the potential for a possible extensible traffic management system for new entrants into this domain. Following the successes with Unmanned Aircraft Systems (UAS) Traffic Management (UTM) and Advanced / Urban Air Mobility (AAM / UAM) Traffic Management programs, FAA put forth an initial concept of operations for supporting the start of the Upper Class E Traffic Management (ETM) concept. Like UTM and AAM / UAM, ETM is envisioned to also be a community-based, industry driven cooperative management concept. However, tailoring it to be adaptable to the atmospheric communication, navigation, and surveillance deficits, as well as the diverse vehicle and mission profiles operating in the ETM environment will be the challenge. As such, the National Aeronautics and Space Administration (NASA) Ames Research Center has been investigating several technologies that will help enable industry in the development of this new type of cooperative operating environment. These technologies are being prototyped and will be tested in a collaborative evaluation of an initial ETM system in late 2023. The evaluation will concentrate on building out ETM system technologies that will inform the participants regarding operational intent sharing, strategic conflict detection, and the resultant deconfliction process. In addition to the technical aspects, key roles and responsibilities will need to be defined. This will be done through exploring community-agreed upon Cooperative Operating Practices (COPs) that include procedures and capabilities to aid in timely, strategic conflict identification and resolution to be developed during the evaluation. As an initial step to the evaluation, the ETM research team at NASA Ames solicited industry feedback on various aspects of ETM operations from subject matter experts. A virtual tabletop walkthrough session was held over a two-day period to follow a roadmap through the functional steps needed to build COPs, focusing on strategic conflict detection and resolution.

Upper Class E Traffic Management (ETM)↗
NASA NTRS2010

Formal Verification of Safety Buffers for Sate-Based Conflict Detection and Resolution

The information provided by global positioning systems is never totally exact, and there are always errors when measuring position and velocity of moving objects such as aircraft. This paper studies the effects of these errors in the actual separation of aircraft in the context of state-based conflict detection and resolution. Assuming that the state information is uncertain but that bounds on the errors are known, this paper provides an analytical definition of a safety buffer and sufficient conditions under which this buffer guarantees that actual conflicts are detected and solved. The results are presented as theorems, which were formally proven using a mechanical theorem prover.

Herencia-Zapana, Heber↗
NASA NTRS2012

SURF IA Conflict Detection and Resolution Algorithm Evaluation

The Enhanced Traffic Situational Awareness on the Airport Surface with Indications and Alerts (SURF IA) algorithm was evaluated in a fast-time batch simulation study at the National Aeronautics and Space Administration (NASA) Langley Research Center. SURF IA is designed to increase flight crew situation awareness of the runway environment and facilitate an appropriate and timely response to potential conflict situations. The purpose of the study was to evaluate the performance of the SURF IA algorithm under various runway scenarios, multiple levels of conflict detection and resolution (CD&R) system equipage, and various levels of horizontal position accuracy. This paper gives an overview of the SURF IA concept, simulation study, and results. Runway incursions are a serious aviation safety hazard. As such, the FAA is committed to reducing the severity, number, and rate of runway incursions by implementing a combination of guidance, education, outreach, training, technology, infrastructure, and risk identification and mitigation initiatives [1]. Progress has been made in reducing the number of serious incursions - from a high of 67 in Fiscal Year (FY) 2000 to 6 in FY2010. However, the rate of all incursions has risen steadily over recent years - from a rate of 12.3 incursions per million operations in FY2005 to a rate of 18.9 incursions per million operations in FY2010 [1, 2]. The National Transportation Safety Board (NTSB) also considers runway incursions to be a serious aviation safety hazard, listing runway incursion prevention as one of their most wanted transportation safety improvements [3]. The NTSB recommends that immediate warning of probable collisions/incursions be given directly to flight crews in the cockpit [4].

Jones, Denise R.↗
NASA NTRS2017

The Generic Resolution Advisor and Conflict Evaluator (GRACE) for Detect-And-Avoid Systems

Java Architecture for Detect-And-Avoid (DAA) Extensibility and Modeling (JADEM) was developed at NASA Ames Research Center as a research and modeling tool for Unmanned Aircraft Systems (UAS) Integration in the National Airspace System (NAS). UAS will be required to have DAA systems in order to fulfill the regulatory requirement to remain well clear'' of other traffic. JADEM supports research on technological requirements and Minimum Operational Performance Standards (MOPS) for UAS DAA systems by providing a flexible and extensible software platform that includes models and algorithms for all major DAA functions. This paper describes one of these algorithms, the Generic Resolution Advisor and Conflict Evaluator (GRACE). GRACE supports two core DAA functions: threat evaluation and guidance. GRACE is generic in the sense that it is designed to work with any aircraft or sensor type (both cooperative and non-cooperative), and to be used in various applications and DAA guidance concepts, thus supporting evolving MOPS requirements and research. GRACE combines flexibility, robustness, and computational efficiency. It has modest memory requirements and can handle multiple cooperative and noncooperative intruders. GRACE has been used as a core JADEM component in several real-time and fast-time experiments, including human-in-the-loop simulations and live flight tests.

detect and avoid↗
NASA NTRS2017

Trajectory Specification for Terminal Air Traffic: Pairwise Conflict Detection and Resolution

Trajectory Specification is the explicit bounding and control of aircraft trajectories such that the position at any point in time is constrained to a precisely defined volume of space. The bounding space is defined by cross-track, along-track, and vertical tolerances relative to a reference trajectory that specifies position as a function of time. The tolerances are dynamic and will be based on the aircraft navigation capabilities and the current traffic situation. Assuming conformance, Trajectory Specification can guarantee safe separation for an arbitrary period of time even in the event of an air traffic control (ATC) system or datalink failure; hence it can help to achieve the high level of safety and reliability needed for ATC automation. It can also reduce the reliance on tactical backup systems during normal operation. This paper applies it to the terminal area around a major airport and presents algorithms and software for detecting and resolving conflicts. A representative set of pairwise conflicts was generated, and a fast-time simulation was run on them. All conflicts were successfully resolved in real time, demonstrating the computational feasibility of the concept.

terminal area↗
NASA NTRS1996

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.↗
NASA NTRS2017

Trajectory Specification for Terminal Air Traffic: Pairwise Conflict Detection and Resolution

Trajectory specification is the explicit bounding and control of aircraft trajectories such that the position at each point in time is constrained to a precisely defined volume of space. The bounding space is defined by cross-track, along-track, and vertical tolerances relative to a reference trajectory that specifies position as a function of time. The tolerances are dynamic and will be based on the aircraft navigation capabilities and the current traffic situation. A standard language will be developed to represent these specifications and to communicate them by datalink. Assuming conformance, trajectory specification can guarantee safe separation for an arbitrary period of time even in the event of an air traffic control (ATC) system or datalink failure, hence it can help to achieve the high level of safety and reliability needed for ATC automation. As a more proactive form of ATC, it can also maximize airspace capacity and reduce the reliance on tactical backup systems during normal operation. It applies to both enroute airspace and the terminal area around airports, but this paper focuses on the terminal area and presents algorithms and software for spacing arrivals and deconflicting both arrivals and departures.

air traffic control↗