Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010847060> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W2010847060 endingPage "380" @default.
- W2010847060 startingPage "371" @default.
- W2010847060 abstract "Safety assessment of new air traffic management systems is a main issue for civil aviation authorities. Standard techniques such as testing and simulation have serious limitations in new systems that are significantly more autonomous than the older ones. In this paper, we present an innovative approach for establishing the correctness of conflict detection systems. Fundamental to our approach is the concept of trajectory, and how we represent a continuous physical trajectory by a continuous path in the x-y plane constrained by physical laws and operational requirements. From the model of trajectories, we extract, and formally prove, high-level properties that can serve as a framework to analyze conflict scenarios. We use the AILS (Airborne Information for Lateral Spacing) alerting algorithm as a case study of our approach." @default.
- W2010847060 created "2016-06-24" @default.
- W2010847060 creator A5016058241 @default.
- W2010847060 creator A5048091505 @default.
- W2010847060 creator A5064290767 @default.
- W2010847060 creator A5073164575 @default.
- W2010847060 date "2003-05-01" @default.
- W2010847060 modified "2023-09-27" @default.
- W2010847060 title "Formal verification of conflict detection algorithms" @default.
- W2010847060 cites W1523599381 @default.
- W2010847060 cites W1533807701 @default.
- W2010847060 cites W1534850143 @default.
- W2010847060 cites W1566038112 @default.
- W2010847060 cites W1578129040 @default.
- W2010847060 cites W1591865230 @default.
- W2010847060 cites W2170170364 @default.
- W2010847060 cites W2184333525 @default.
- W2010847060 cites W2316797719 @default.
- W2010847060 doi "https://doi.org/10.1007/s10009-002-0084-3" @default.
- W2010847060 hasPublicationYear "2003" @default.
- W2010847060 type Work @default.
- W2010847060 sameAs 2010847060 @default.
- W2010847060 citedByCount "28" @default.
- W2010847060 countsByYear W20108470602012 @default.
- W2010847060 countsByYear W20108470602013 @default.
- W2010847060 countsByYear W20108470602014 @default.
- W2010847060 countsByYear W20108470602015 @default.
- W2010847060 countsByYear W20108470602020 @default.
- W2010847060 crossrefType "journal-article" @default.
- W2010847060 hasAuthorship W2010847060A5016058241 @default.
- W2010847060 hasAuthorship W2010847060A5048091505 @default.
- W2010847060 hasAuthorship W2010847060A5064290767 @default.
- W2010847060 hasAuthorship W2010847060A5073164575 @default.
- W2010847060 hasBestOaLocation W20108470602 @default.
- W2010847060 hasConcept C111498074 @default.
- W2010847060 hasConcept C11413529 @default.
- W2010847060 hasConcept C121332964 @default.
- W2010847060 hasConcept C127413603 @default.
- W2010847060 hasConcept C1276947 @default.
- W2010847060 hasConcept C13662910 @default.
- W2010847060 hasConcept C146978453 @default.
- W2010847060 hasConcept C166961238 @default.
- W2010847060 hasConcept C199360897 @default.
- W2010847060 hasConcept C24858836 @default.
- W2010847060 hasConcept C2776777543 @default.
- W2010847060 hasConcept C2777735758 @default.
- W2010847060 hasConcept C33923547 @default.
- W2010847060 hasConcept C41008148 @default.
- W2010847060 hasConcept C42475967 @default.
- W2010847060 hasConcept C512918668 @default.
- W2010847060 hasConcept C55439883 @default.
- W2010847060 hasConcept C74448152 @default.
- W2010847060 hasConceptScore W2010847060C111498074 @default.
- W2010847060 hasConceptScore W2010847060C11413529 @default.
- W2010847060 hasConceptScore W2010847060C121332964 @default.
- W2010847060 hasConceptScore W2010847060C127413603 @default.
- W2010847060 hasConceptScore W2010847060C1276947 @default.
- W2010847060 hasConceptScore W2010847060C13662910 @default.
- W2010847060 hasConceptScore W2010847060C146978453 @default.
- W2010847060 hasConceptScore W2010847060C166961238 @default.
- W2010847060 hasConceptScore W2010847060C199360897 @default.
- W2010847060 hasConceptScore W2010847060C24858836 @default.
- W2010847060 hasConceptScore W2010847060C2776777543 @default.
- W2010847060 hasConceptScore W2010847060C2777735758 @default.
- W2010847060 hasConceptScore W2010847060C33923547 @default.
- W2010847060 hasConceptScore W2010847060C41008148 @default.
- W2010847060 hasConceptScore W2010847060C42475967 @default.
- W2010847060 hasConceptScore W2010847060C512918668 @default.
- W2010847060 hasConceptScore W2010847060C55439883 @default.
- W2010847060 hasConceptScore W2010847060C74448152 @default.
- W2010847060 hasIssue "3" @default.
- W2010847060 hasLocation W20108470601 @default.
- W2010847060 hasLocation W20108470602 @default.
- W2010847060 hasOpenAccess W2010847060 @default.
- W2010847060 hasPrimaryLocation W20108470601 @default.
- W2010847060 hasRelatedWork W2010431714 @default.
- W2010847060 hasRelatedWork W2334305444 @default.
- W2010847060 hasRelatedWork W2362073100 @default.
- W2010847060 hasRelatedWork W2371705381 @default.
- W2010847060 hasRelatedWork W2611761687 @default.
- W2010847060 hasRelatedWork W2766140678 @default.
- W2010847060 hasRelatedWork W2771664289 @default.
- W2010847060 hasRelatedWork W653952798 @default.
- W2010847060 hasRelatedWork W70660939 @default.
- W2010847060 hasRelatedWork W2188153452 @default.
- W2010847060 hasVolume "4" @default.
- W2010847060 isParatext "false" @default.
- W2010847060 isRetracted "false" @default.
- W2010847060 magId "2010847060" @default.
- W2010847060 workType "article" @default.