FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3112111357> ?p ?o ?g. }

• W3112111357 abstract "Hamilton-Jacobi reachability analysis is a powerful technique used to verify the safety of autonomous systems. This method is very good at handling non-linear system dynamics with disturbances and flexible set representations. A drawback to this approach is that it suffers from the curse of dimensionality, which prevents real-time deployment on safety-critical systems. In this paper, we show that a customized hardware design on a Field Programmable Gate Array (FPGA) could accelerate 4D grid-based Hamilton-Jacobi (HJ) reachability analysis up to 16 times compared to an optimized implementation and 142 times compared to MATLAB ToolboxLS on a 16-thread CPU. Our design can overcome the complex data access pattern while taking advantage of the parallel nature of the HJ PDE computation. Because of this, we are able to achieve real-time formal verification with a 4D car model by re-solving the HJ PDE at a frequency of 5Hz on the FPGA as the environment changes. The latency of our computation is deterministic, which is crucial for safetycritical systems. Our approach presented here can be applied to different systems dynamics, and moreover, potentially leveraged for higher dimensions systems. We also demonstrate obstacle avoidance with a robot car in a changing environment." @default.
• W3112111357 created "2020-12-21" @default.
• W3112111357 creator A5002194849 @default.
• W3112111357 creator A5003041846 @default.
• W3112111357 creator A5028081842 @default.
• W3112111357 creator A5035046431 @default.
• W3112111357 creator A5043858190 @default.
• W3112111357 date "2020-12-07" @default.
• W3112111357 modified "2023-09-27" @default.
• W3112111357 title "Real-Time Formal Verification of Autonomous Systems With An FPGA." @default.
• W3112111357 cites W2001331101 @default.
• W3112111357 cites W2105042925 @default.
• W3112111357 cites W2285660444 @default.
• W3112111357 cites W2289252105 @default.
• W3112111357 cites W2567660513 @default.
• W3112111357 cites W2606722458 @default.
• W3112111357 cites W2807455070 @default.
• W3112111357 cites W2897741747 @default.
• W3112111357 cites W2899691047 @default.
• W3112111357 cites W2953212265 @default.
• W3112111357 cites W2963286335 @default.
• W3112111357 cites W2964040381 @default.
• W3112111357 cites W2964187480 @default.
• W3112111357 cites W3045548741 @default.
• W3112111357 hasPublicationYear "2020" @default.
• W3112111357 type Work @default.
• W3112111357 sameAs 3112111357 @default.
• W3112111357 citedByCount "0" @default.
• W3112111357 crossrefType "posted-content" @default.
• W3112111357 hasAuthorship W3112111357A5002194849 @default.
• W3112111357 hasAuthorship W3112111357A5003041846 @default.
• W3112111357 hasAuthorship W3112111357A5028081842 @default.
• W3112111357 hasAuthorship W3112111357A5035046431 @default.
• W3112111357 hasAuthorship W3112111357A5043858190 @default.
• W3112111357 hasConcept C105339364 @default.
• W3112111357 hasConcept C111030470 @default.
• W3112111357 hasConcept C111498074 @default.
• W3112111357 hasConcept C111919701 @default.
• W3112111357 hasConcept C113775141 @default.
• W3112111357 hasConcept C11413529 @default.
• W3112111357 hasConcept C115903868 @default.
• W3112111357 hasConcept C136643341 @default.
• W3112111357 hasConcept C149635348 @default.
• W3112111357 hasConcept C154945302 @default.
• W3112111357 hasConcept C17744445 @default.
• W3112111357 hasConcept C187691185 @default.
• W3112111357 hasConcept C199539241 @default.
• W3112111357 hasConcept C2524010 @default.
• W3112111357 hasConcept C2776548393 @default.
• W3112111357 hasConcept C2776650193 @default.
• W3112111357 hasConcept C2780365114 @default.
• W3112111357 hasConcept C33923547 @default.
• W3112111357 hasConcept C41008148 @default.
• W3112111357 hasConcept C42935608 @default.
• W3112111357 hasConcept C45374587 @default.
• W3112111357 hasConcept C75606506 @default.
• W3112111357 hasConcept C79403827 @default.
• W3112111357 hasConceptScore W3112111357C105339364 @default.
• W3112111357 hasConceptScore W3112111357C111030470 @default.
• W3112111357 hasConceptScore W3112111357C111498074 @default.
• W3112111357 hasConceptScore W3112111357C111919701 @default.
• W3112111357 hasConceptScore W3112111357C113775141 @default.
• W3112111357 hasConceptScore W3112111357C11413529 @default.
• W3112111357 hasConceptScore W3112111357C115903868 @default.
• W3112111357 hasConceptScore W3112111357C136643341 @default.
• W3112111357 hasConceptScore W3112111357C149635348 @default.
• W3112111357 hasConceptScore W3112111357C154945302 @default.
• W3112111357 hasConceptScore W3112111357C17744445 @default.
• W3112111357 hasConceptScore W3112111357C187691185 @default.
• W3112111357 hasConceptScore W3112111357C199539241 @default.
• W3112111357 hasConceptScore W3112111357C2524010 @default.
• W3112111357 hasConceptScore W3112111357C2776548393 @default.
• W3112111357 hasConceptScore W3112111357C2776650193 @default.
• W3112111357 hasConceptScore W3112111357C2780365114 @default.
• W3112111357 hasConceptScore W3112111357C33923547 @default.
• W3112111357 hasConceptScore W3112111357C41008148 @default.
• W3112111357 hasConceptScore W3112111357C42935608 @default.
• W3112111357 hasConceptScore W3112111357C45374587 @default.
• W3112111357 hasConceptScore W3112111357C75606506 @default.
• W3112111357 hasConceptScore W3112111357C79403827 @default.
• W3112111357 hasLocation W31121113571 @default.
• W3112111357 hasOpenAccess W3112111357 @default.
• W3112111357 hasPrimaryLocation W31121113571 @default.
• W3112111357 hasRelatedWork W1631892377 @default.
• W3112111357 hasRelatedWork W1989156803 @default.
• W3112111357 hasRelatedWork W1989651417 @default.
• W3112111357 hasRelatedWork W2017738048 @default.
• W3112111357 hasRelatedWork W2078680214 @default.
• W3112111357 hasRelatedWork W2080111071 @default.
• W3112111357 hasRelatedWork W2090096388 @default.
• W3112111357 hasRelatedWork W2227636330 @default.
• W3112111357 hasRelatedWork W2293282867 @default.
• W3112111357 hasRelatedWork W2575448526 @default.
• W3112111357 hasRelatedWork W2604652142 @default.
• W3112111357 hasRelatedWork W2784105695 @default.
• W3112111357 hasRelatedWork W2801270250 @default.
• W3112111357 hasRelatedWork W2901770705 @default.
• W3112111357 hasRelatedWork W2960477732 @default.
• W3112111357 hasRelatedWork W3034588296 @default.
• W3112111357 hasRelatedWork W3158166997 @default.

• next