Real-Time Hamilton-Jacobi Reachability Analysis of Autonomous System With An FPGA.

Minh Bui Michael Lu Reza Hojabr Mo Chen Arrvindh Shriraman

Published in: IROS (2021)

Keyphrases

real time
reachability analysis
hamilton jacobi
low cost
model checking
markov decision processes
real time systems
medial axis
hardware implementation
input image
sufficient conditions
level set method
field programmable gate array
finite difference
incremental algorithms
timed automata