  Performing real-time receding horizon motion planning for autonomous vehicles
while providing safety guarantees remains difficult. This is because existing
methods to accurately predict ego vehicle behavior under a chosen controller
use online numerical integration that requires a fine time discretization and
thereby adversely affects real-time performance. To address this limitation,
several recent papers have proposed to apply offline reachability analysis to
conservatively predict the behavior of the ego vehicle. This reachable set can
be constructed by utilizing a simplified model whose behavior is assumed a
priori to conservatively bound the dynamics of a full-order model. However,
guaranteeing that one satisfies this assumption is challenging. This paper
proposes a framework named REFINE to overcome the limitations of these existing
approaches. REFINE utilizes a parameterized robust controller that partially
linearizes the vehicle dynamics even in the presence of modeling error.
Zonotope-based reachability analysis is then performed on the closed-loop,
full-order vehicle dynamics to compute the corresponding control-parameterized,
over-approximate Forward Reachable Sets (FRS). Because reachability analysis is
applied to the full-order model, the potential conservativeness introduced by
using a simplified model is avoided. The pre-computed, control-parameterized
FRS is then used online in an optimization framework to ensure safety. The
proposed method is compared to several state of the art methods during a
simulation-based evaluation on a full-size vehicle model and is evaluated on a
1/10th race car robot in real hardware testing. In contrast to existing
methods, REFINE is shown to enable the vehicle to safely navigate itself
through complex environments.
