Abstract-Motion planning of automated vehicles requires dynamical models to ensure that obtained trajectories are drivable. An often overlooked aspect is that motion planning is usually done using simplified models, which do not always sufficiently conform to the real behavior of vehicles. Thus, collision avoidance and drivability is not necessarily ensured. We address this problem by modeling vehicles as differential inclusions composed of simple dynamics and set-based uncertainty; conformance testing is used to determine the required uncertainty. To quickly provide the set of solutions for these uncertain models, we use precomputed reachable sets (i.e., the union of all possible solutions) for pre-selected motion primitives. The reachable sets of vehicles are obtained through the novel combination of optimization techniques and reachability analysis in the controller synthesis -they enable us to guarantee safety by checking their mutual non-intersection for consecutive time intervals. The benefits of our approach are demonstrated by numerical experiments.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.