Loading...
Please wait, while we are loading the content...
Similar Documents
State-based implicit coordination and applications
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Munoz, Cesar A. Narkawicz, Anthony J. |
| Copyright Year | 2011 |
| Description | In air traffic management, pairwise coordination is the ability to achieve separation requirements when conflicting aircraft simultaneously maneuver to solve a conflict. Resolution algorithms are implicitly coordinated if they provide coordinated resolution maneuvers to conflicting aircraft when only surveillance data, e.g., position and velocity vectors, is periodically broadcast by the aircraft. This paper proposes an abstract framework for reasoning about state-based implicit coordination. The framework consists of a formalized mathematical development that enables and simplifies the design and verification of implicitly coordinated state-based resolution algorithms. The use of the framework is illustrated with several examples of algorithms and formal proofs of their coordination properties. The work presented here supports the safety case for a distributed self-separation air traffic management concept where different aircraft may use different conflict resolution algorithms and be assured that separation will be maintained. |
| File Size | 507151 |
| Page Count | 60 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20110008429 |
| Archival Resource Key | ark:/13960/t5cc60d01 |
| Language | English |
| Publisher Date | 2011-03-01 |
| Access Restriction | Open |
| Subject Keyword | Air Transportation And Safety Aircraft Safety Flight Safety Algorithms Coordination Navigation Aids Air Traffic Control Collision Avoidance State Estimation Aircraft Approach Spacing Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
