Matches in SemOpenAlex for { <https://semopenalex.org/work/W3120829775> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W3120829775 abstract "Neural network approximations have become attractive to compress data for automation and autonomy algorithms for use on storage-limited and processing-limited aerospace hard-ware. However, unless these neural network approximations can be exhaustively verified to be safe, they cannot be certified for use on aircraft. This manuscript evaluates the safety of a neural network approximation of the unmanned Airborne Collision Avoidance System (ACAS Xu). First, a set of ACAS Xu closed-loop benchmarks is introduced, based on a well-known open-loop benchmark, that are challenging to analyze for current verification tools due to the complexity and high-dimensional plant dynamics. Additionally, the system of switching and classification-based nature of the ACAS Xu neural network system adds another challenge to existing analysis methods. Experimental evaluation shows selected scenarios where the safety of the ownship aircraft’s neural network action selection is assessed with respect to an intruder aircraft over time in a closed loop control evaluation. Set-based analysis of the closed-loop benchmarks is performed using the Star Set representation using both the NNV tool and the nnenum tool, demonstrating that set-based analysis is becoming increasingly feasible for the verification of this class of systems." @default.
- W3120829775 created "2021-01-18" @default.
- W3120829775 creator A5021939745 @default.
- W3120829775 creator A5023289374 @default.
- W3120829775 creator A5028462736 @default.
- W3120829775 creator A5033330108 @default.
- W3120829775 creator A5062437401 @default.
- W3120829775 creator A5067901159 @default.
- W3120829775 date "2021-01-04" @default.
- W3120829775 modified "2023-09-27" @default.
- W3120829775 title "Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability" @default.
- W3120829775 cites W1410460 @default.
- W3120829775 cites W2107131609 @default.
- W3120829775 cites W2152494765 @default.
- W3120829775 cites W2529804031 @default.
- W3120829775 cites W2565186948 @default.
- W3120829775 cites W2594877703 @default.
- W3120829775 cites W2734705105 @default.
- W3120829775 cites W2766447205 @default.
- W3120829775 cites W2783231089 @default.
- W3120829775 cites W2896500468 @default.
- W3120829775 cites W2938701611 @default.
- W3120829775 cites W2963334980 @default.
- W3120829775 cites W2964130946 @default.
- W3120829775 cites W2974147052 @default.
- W3120829775 cites W2980176594 @default.
- W3120829775 cites W2982316857 @default.
- W3120829775 cites W3043655933 @default.
- W3120829775 cites W3046272654 @default.
- W3120829775 cites W3117015105 @default.
- W3120829775 doi "https://doi.org/10.2514/6.2021-0995" @default.
- W3120829775 hasPublicationYear "2021" @default.
- W3120829775 type Work @default.
- W3120829775 sameAs 3120829775 @default.
- W3120829775 citedByCount "5" @default.
- W3120829775 countsByYear W31208297752021 @default.
- W3120829775 countsByYear W31208297752022 @default.
- W3120829775 countsByYear W31208297752023 @default.
- W3120829775 crossrefType "proceedings-article" @default.
- W3120829775 hasAuthorship W3120829775A5021939745 @default.
- W3120829775 hasAuthorship W3120829775A5023289374 @default.
- W3120829775 hasAuthorship W3120829775A5028462736 @default.
- W3120829775 hasAuthorship W3120829775A5033330108 @default.
- W3120829775 hasAuthorship W3120829775A5062437401 @default.
- W3120829775 hasAuthorship W3120829775A5067901159 @default.
- W3120829775 hasConcept C11413529 @default.
- W3120829775 hasConcept C124101348 @default.
- W3120829775 hasConcept C13280743 @default.
- W3120829775 hasConcept C134306372 @default.
- W3120829775 hasConcept C136643341 @default.
- W3120829775 hasConcept C154945302 @default.
- W3120829775 hasConcept C177264268 @default.
- W3120829775 hasConcept C17744445 @default.
- W3120829775 hasConcept C185798385 @default.
- W3120829775 hasConcept C199360897 @default.
- W3120829775 hasConcept C199539241 @default.
- W3120829775 hasConcept C205649164 @default.
- W3120829775 hasConcept C2776359362 @default.
- W3120829775 hasConcept C2780897414 @default.
- W3120829775 hasConcept C33923547 @default.
- W3120829775 hasConcept C41008148 @default.
- W3120829775 hasConcept C50644808 @default.
- W3120829775 hasConcept C94625758 @default.
- W3120829775 hasConceptScore W3120829775C11413529 @default.
- W3120829775 hasConceptScore W3120829775C124101348 @default.
- W3120829775 hasConceptScore W3120829775C13280743 @default.
- W3120829775 hasConceptScore W3120829775C134306372 @default.
- W3120829775 hasConceptScore W3120829775C136643341 @default.
- W3120829775 hasConceptScore W3120829775C154945302 @default.
- W3120829775 hasConceptScore W3120829775C177264268 @default.
- W3120829775 hasConceptScore W3120829775C17744445 @default.
- W3120829775 hasConceptScore W3120829775C185798385 @default.
- W3120829775 hasConceptScore W3120829775C199360897 @default.
- W3120829775 hasConceptScore W3120829775C199539241 @default.
- W3120829775 hasConceptScore W3120829775C205649164 @default.
- W3120829775 hasConceptScore W3120829775C2776359362 @default.
- W3120829775 hasConceptScore W3120829775C2780897414 @default.
- W3120829775 hasConceptScore W3120829775C33923547 @default.
- W3120829775 hasConceptScore W3120829775C41008148 @default.
- W3120829775 hasConceptScore W3120829775C50644808 @default.
- W3120829775 hasConceptScore W3120829775C94625758 @default.
- W3120829775 hasLocation W31208297751 @default.
- W3120829775 hasOpenAccess W3120829775 @default.
- W3120829775 hasPrimaryLocation W31208297751 @default.
- W3120829775 hasRelatedWork W1485630101 @default.
- W3120829775 hasRelatedWork W2368796975 @default.
- W3120829775 hasRelatedWork W2498017833 @default.
- W3120829775 hasRelatedWork W2772518193 @default.
- W3120829775 hasRelatedWork W2952669245 @default.
- W3120829775 hasRelatedWork W2963893349 @default.
- W3120829775 hasRelatedWork W3026940864 @default.
- W3120829775 hasRelatedWork W3199905569 @default.
- W3120829775 hasRelatedWork W381935118 @default.
- W3120829775 hasRelatedWork W4301961691 @default.
- W3120829775 isParatext "false" @default.
- W3120829775 isRetracted "false" @default.
- W3120829775 magId "3120829775" @default.
- W3120829775 workType "article" @default.