Real-Time Hamilton-Jacobi Reachability Analysis of Autonomous System With An FPGA
Minh Bui,Michael Lu,Reza Hojabr,Mo Chen,Arrvindh Shriraman,Minh Bui,Michael Lu,Reza Hojabr,Mo Chen,Arrvindh Shriraman
Hamilton-Jacobi (HJ) reachability analysis is a powerful technique used to verify the safety of autonomous systems. HJ reachability is ideal for analysing nonlinear systems 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 ...
