Matches in SemOpenAlex for { <https://semopenalex.org/work/W4307367089> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W4307367089 endingPage "17" @default.
- W4307367089 startingPage "1" @default.
- W4307367089 abstract "Neural network approximations have become attractive to compress data for automation and autonomy algorithms for use on storage-limited and processing-limited aerospace hardware. However, unless these neural network approximations can be exhaustively verified to be safe, they cannot be certified for use on aircraft. An example of such systems is the unmanned Airborne Collision Avoidance System (ACAS) Xu, which is a very popular benchmark for open-loop neural network control system verification tools. This paper proposes a new closed-loop extension of this benchmark, which consists of a set of 10 closed-loop properties selected to evaluate the safety of an ownship aircraft in the presence of a co-altitude intruder aircraft. These closed-loop safety properties are used to evaluate five of the 45 neural networks that comprise the ACAS Xu benchmark (corresponding to co-altitude cases) as well as the switching logic between the five neural networks. The combination of nonlinear dynamics and switching between five neural networks is a challenging verification task accomplished with star-set reachability methods in two verification tools. The safety of the ownship aircraft under initial position uncertainty is guaranteed in every scenario proposed." @default.
- W4307367089 created "2022-10-31" @default.
- W4307367089 creator A5021939745 @default.
- W4307367089 creator A5023289374 @default.
- W4307367089 creator A5033330108 @default.
- W4307367089 creator A5062437401 @default.
- W4307367089 creator A5067901159 @default.
- W4307367089 date "2023-01-01" @default.
- W4307367089 modified "2023-10-15" @default.
- W4307367089 title "Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance" @default.
- W4307367089 cites W1410460 @default.
- W4307367089 cites W1575739325 @default.
- W4307367089 cites W2107131609 @default.
- W4307367089 cites W2123487311 @default.
- W4307367089 cites W2180650559 @default.
- W4307367089 cites W2257979135 @default.
- W4307367089 cites W2529804031 @default.
- W4307367089 cites W2766447205 @default.
- W4307367089 cites W2783231089 @default.
- W4307367089 cites W2896500468 @default.
- W4307367089 cites W2982316857 @default.
- W4307367089 cites W3091798065 @default.
- W4307367089 cites W3132471544 @default.
- W4307367089 cites W3193012498 @default.
- W4307367089 cites W4200164757 @default.
- W4307367089 cites W4205950066 @default.
- W4307367089 doi "https://doi.org/10.2514/1.d0255" @default.
- W4307367089 hasPublicationYear "2023" @default.
- W4307367089 type Work @default.
- W4307367089 citedByCount "1" @default.
- W4307367089 countsByYear W43073670892023 @default.
- W4307367089 crossrefType "journal-article" @default.
- W4307367089 hasAuthorship W4307367089A5021939745 @default.
- W4307367089 hasAuthorship W4307367089A5023289374 @default.
- W4307367089 hasAuthorship W4307367089A5033330108 @default.
- W4307367089 hasAuthorship W4307367089A5062437401 @default.
- W4307367089 hasAuthorship W4307367089A5067901159 @default.
- W4307367089 hasBestOaLocation W43073670891 @default.
- W4307367089 hasConcept C11413529 @default.
- W4307367089 hasConcept C121704057 @default.
- W4307367089 hasConcept C127413603 @default.
- W4307367089 hasConcept C13280743 @default.
- W4307367089 hasConcept C136643341 @default.
- W4307367089 hasConcept C146978453 @default.
- W4307367089 hasConcept C154945302 @default.
- W4307367089 hasConcept C167740415 @default.
- W4307367089 hasConcept C177264268 @default.
- W4307367089 hasConcept C185798385 @default.
- W4307367089 hasConcept C199360897 @default.
- W4307367089 hasConcept C205649164 @default.
- W4307367089 hasConcept C2780864053 @default.
- W4307367089 hasConcept C38652104 @default.
- W4307367089 hasConcept C41008148 @default.
- W4307367089 hasConcept C50644808 @default.
- W4307367089 hasConcept C79403827 @default.
- W4307367089 hasConceptScore W4307367089C11413529 @default.
- W4307367089 hasConceptScore W4307367089C121704057 @default.
- W4307367089 hasConceptScore W4307367089C127413603 @default.
- W4307367089 hasConceptScore W4307367089C13280743 @default.
- W4307367089 hasConceptScore W4307367089C136643341 @default.
- W4307367089 hasConceptScore W4307367089C146978453 @default.
- W4307367089 hasConceptScore W4307367089C154945302 @default.
- W4307367089 hasConceptScore W4307367089C167740415 @default.
- W4307367089 hasConceptScore W4307367089C177264268 @default.
- W4307367089 hasConceptScore W4307367089C185798385 @default.
- W4307367089 hasConceptScore W4307367089C199360897 @default.
- W4307367089 hasConceptScore W4307367089C205649164 @default.
- W4307367089 hasConceptScore W4307367089C2780864053 @default.
- W4307367089 hasConceptScore W4307367089C38652104 @default.
- W4307367089 hasConceptScore W4307367089C41008148 @default.
- W4307367089 hasConceptScore W4307367089C50644808 @default.
- W4307367089 hasConceptScore W4307367089C79403827 @default.
- W4307367089 hasFunder F4320332180 @default.
- W4307367089 hasFunder F4320337387 @default.
- W4307367089 hasFunder F4320338279 @default.
- W4307367089 hasIssue "1" @default.
- W4307367089 hasLocation W43073670891 @default.
- W4307367089 hasOpenAccess W4307367089 @default.
- W4307367089 hasPrimaryLocation W43073670891 @default.
- W4307367089 hasRelatedWork W1485630101 @default.
- W4307367089 hasRelatedWork W1819938260 @default.
- W4307367089 hasRelatedWork W2034987521 @default.
- W4307367089 hasRelatedWork W2061441874 @default.
- W4307367089 hasRelatedWork W2075718555 @default.
- W4307367089 hasRelatedWork W2340892746 @default.
- W4307367089 hasRelatedWork W2368796975 @default.
- W4307367089 hasRelatedWork W3153405850 @default.
- W4307367089 hasRelatedWork W381935118 @default.
- W4307367089 hasRelatedWork W4200230407 @default.
- W4307367089 hasVolume "31" @default.
- W4307367089 isParatext "false" @default.
- W4307367089 isRetracted "false" @default.
- W4307367089 workType "article" @default.