Matches in SemOpenAlex for { <https://semopenalex.org/work/W2137938229> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2137938229 abstract "In air traffic management systems, a conflict prevention system examines the traffic and provides ranges of guidance maneuvers that avoid conflicts. This guidance takes the form of ranges of track angles, vertical speeds, or ground speeds. These ranges may be assembled into prevention bands: maneuvers that should not be taken. Unlike conflict resolution systems, which presume that the aircraft already has a conflict, conflict prevention systems show conflicts for all maneuvers. Without conflict prevention information, a pilot might perform a maneuver that causes a near-term conflict. Because near-term conflicts can lead to safety concerns, strong verification of correct operation is required. This paper presents a mathematical framework to analyze the correctness of algorithms that produce conflict prevention information. This paper examines multiple mathematical approaches: iterative, vector algebraic, and trigonometric. The correctness theories are structured first to analyze conflict prevention information for all aircraft. Next, these theories are augmented to consider aircraft which will create a conflict within a given lookahead time. Certain key functions for a candidate algorithm, which satisfy this mathematical basis are presented; however, the proof that a full algorithm using these functions completely satisfies the definition of safety is not provided." @default.
- W2137938229 created "2016-06-24" @default.
- W2137938229 creator A5016058241 @default.
- W2137938229 creator A5064290767 @default.
- W2137938229 creator A5069302118 @default.
- W2137938229 creator A5073164575 @default.
- W2137938229 date "2009-06-01" @default.
- W2137938229 modified "2023-09-27" @default.
- W2137938229 title "A Mathematical Basis for the Safety Analysis of Conflict Prevention Algorithms" @default.
- W2137938229 cites W1534850143 @default.
- W2137938229 cites W1571689776 @default.
- W2137938229 cites W1579973885 @default.
- W2137938229 cites W1973368788 @default.
- W2137938229 cites W2127198532 @default.
- W2137938229 cites W2160868748 @default.
- W2137938229 cites W2170741341 @default.
- W2137938229 cites W64442646 @default.
- W2137938229 hasPublicationYear "2009" @default.
- W2137938229 type Work @default.
- W2137938229 sameAs 2137938229 @default.
- W2137938229 citedByCount "4" @default.
- W2137938229 countsByYear W21379382292012 @default.
- W2137938229 crossrefType "journal-article" @default.
- W2137938229 hasAuthorship W2137938229A5016058241 @default.
- W2137938229 hasAuthorship W2137938229A5064290767 @default.
- W2137938229 hasAuthorship W2137938229A5069302118 @default.
- W2137938229 hasAuthorship W2137938229A5073164575 @default.
- W2137938229 hasConcept C11413529 @default.
- W2137938229 hasConcept C121332964 @default.
- W2137938229 hasConcept C12426560 @default.
- W2137938229 hasConcept C127413603 @default.
- W2137938229 hasConcept C17744445 @default.
- W2137938229 hasConcept C199539241 @default.
- W2137938229 hasConcept C21711469 @default.
- W2137938229 hasConcept C2524010 @default.
- W2137938229 hasConcept C26517878 @default.
- W2137938229 hasConcept C2779683958 @default.
- W2137938229 hasConcept C29001434 @default.
- W2137938229 hasConcept C33923547 @default.
- W2137938229 hasConcept C38652104 @default.
- W2137938229 hasConcept C41008148 @default.
- W2137938229 hasConcept C42475967 @default.
- W2137938229 hasConcept C55439883 @default.
- W2137938229 hasConcept C61797465 @default.
- W2137938229 hasConcept C62520636 @default.
- W2137938229 hasConceptScore W2137938229C11413529 @default.
- W2137938229 hasConceptScore W2137938229C121332964 @default.
- W2137938229 hasConceptScore W2137938229C12426560 @default.
- W2137938229 hasConceptScore W2137938229C127413603 @default.
- W2137938229 hasConceptScore W2137938229C17744445 @default.
- W2137938229 hasConceptScore W2137938229C199539241 @default.
- W2137938229 hasConceptScore W2137938229C21711469 @default.
- W2137938229 hasConceptScore W2137938229C2524010 @default.
- W2137938229 hasConceptScore W2137938229C26517878 @default.
- W2137938229 hasConceptScore W2137938229C2779683958 @default.
- W2137938229 hasConceptScore W2137938229C29001434 @default.
- W2137938229 hasConceptScore W2137938229C33923547 @default.
- W2137938229 hasConceptScore W2137938229C38652104 @default.
- W2137938229 hasConceptScore W2137938229C41008148 @default.
- W2137938229 hasConceptScore W2137938229C42475967 @default.
- W2137938229 hasConceptScore W2137938229C55439883 @default.
- W2137938229 hasConceptScore W2137938229C61797465 @default.
- W2137938229 hasConceptScore W2137938229C62520636 @default.
- W2137938229 hasLocation W21379382291 @default.
- W2137938229 hasOpenAccess W2137938229 @default.
- W2137938229 hasPrimaryLocation W21379382291 @default.
- W2137938229 hasRelatedWork W106262285 @default.
- W2137938229 hasRelatedWork W1509784223 @default.
- W2137938229 hasRelatedWork W1534850143 @default.
- W2137938229 hasRelatedWork W1923008517 @default.
- W2137938229 hasRelatedWork W1968429202 @default.
- W2137938229 hasRelatedWork W1974443678 @default.
- W2137938229 hasRelatedWork W1983315523 @default.
- W2137938229 hasRelatedWork W2011336542 @default.
- W2137938229 hasRelatedWork W2099111034 @default.
- W2137938229 hasRelatedWork W2170741341 @default.
- W2137938229 hasRelatedWork W2320794500 @default.
- W2137938229 hasRelatedWork W2530238468 @default.
- W2137938229 hasRelatedWork W2901847918 @default.
- W2137938229 hasRelatedWork W3041418994 @default.
- W2137938229 hasRelatedWork W3067613617 @default.
- W2137938229 hasRelatedWork W312070756 @default.
- W2137938229 hasRelatedWork W3153315371 @default.
- W2137938229 hasRelatedWork W3184064376 @default.
- W2137938229 hasRelatedWork W3199282331 @default.
- W2137938229 hasRelatedWork W636833946 @default.
- W2137938229 isParatext "false" @default.
- W2137938229 isRetracted "false" @default.
- W2137938229 magId "2137938229" @default.
- W2137938229 workType "article" @default.