Deterministic methods for motion planning guarantee safety amidst uncertainty in obstacle locations by trying to restrict the robot from operating in any possible location that an obstacle could be in. Unfortunately, this can result in overly conservative behavior. Chance-constrained optimization can be applied to improve the performance of motion planning algorithms by allowing for a user-specified amount of bounded constraint violation. However, state-of-the-art methods rely either on moment-based inequalities, which can be overly conservative, or make it difficult to satisfy assumptions about the class of probability distributions used to model uncertainty. To address these challenges, this work proposes a real-time, risk-aware reachability based motion planning framework called RADIUS. The method first generates a reachable set of parameterized trajectories for the robot offline. At run time, RADIUS computes a closed-form over-approximation of the risk of a collision with an obstacle. This is done without restricting the probability distribution used to model uncertainty to a simple class (e.g., Gaussian). Then, RADIUS performs real-time optimization to construct a trajectory that can be followed by the robot in a manner that is certified to have a risk of collision that is less than or equal to a user-specified threshold. The proposed algorithm is compared to several state-of-the-art chance-constrained and deterministic methods in simulation, and is shown to consistently outperform them in a variety of driving scenarios. A demonstration of the proposed framework on hardware is also provided.
翻译:运动规划的确定性方法通过试图限制机器人在任何可能存在障碍的地点运作,从而在障碍地点的不确定性中保障安全。 不幸的是,这可能导致过度保守的行为。 可以通过允许用户指定一定数量的受约束的违反约束行为,来应用机会限制的优化来改进运动规划算法的性能。 然而,最先进的方法要么依赖于基于时间的不平等,这种不平等可能过于保守,或者难以满足用于模型不确定性的概率分布等级的假设。为了应对这些挑战,这项工作建议采用一个实时的、有风险的可达性运动规划框架,称为RADIUS。这种方法首先产生一套可达标的机器人离线的参数性轨迹。在运行时,RADIUS对与障碍碰撞的风险进行封闭式的过度使用。这样做并不将用于模型不确定性分配的概率分配限制为简单的类别(例如高斯比亚) 。 然后,RADIUS在构建一个基于实时的动作规划框架时进行实时的优化,而一个稳定的运行轨迹也比一个稳定的机能模型,一个比一个固定的机算模型的机能框架,一个比一个固定的机算法,一个比一个固定的机算法的机算法,一个比一个比一个固定的机算法的机算,一个比一个比一个固定的机算法是一个比一个固定的机算法。