Stochastic Model Predictive Control with a Safety Guarantee for Automated Driving: Extended Version

Tim Brüdigam,Michael Olbrich,Dirk Wollherr,Marion Leibold
DOI: https://doi.org/10.48550/arXiv.2009.09381
2022-06-08
Abstract:Automated vehicles require efficient and safe planning to maneuver in uncertain environments. Largely this uncertainty is caused by other traffic participants, e.g., surrounding vehicles. Future motion of surrounding vehicles is often difficult to predict. Whereas robust control approaches achieve safe, yet conservative motion planning for automated vehicles, Stochastic Model Predictive Control (SMPC) provides efficient planning in the presence of uncertainty. Probabilistic constraints are applied to ensure that the maximal risk remains below a predefined level. However, safety cannot be ensured as probabilistic constraints may be violated, which is not acceptable for automated vehicles. Here, we propose an efficient trajectory planning framework with safety guarantees for automated vehicles. SMPC is applied to obtain efficient vehicle trajectories for a finite horizon. Based on the first optimized SMPC input, a guaranteed safe backup trajectory is planned using reachable sets. This backup is used to overwrite the SMPC input if necessary for safety. Recursive feasibility of the safe SMPC algorithm is proved. Highway simulations show the effectiveness of the proposed method regarding performance and safety.
Systems and Control
What problem does this paper attempt to address?
The problem that this paper attempts to solve is how to plan vehicle trajectories efficiently and safely in autonomous driving. Specifically, autonomous vehicles need to carry out effective path planning in an uncertain environment to avoid collisions with other traffic participants (such as surrounding vehicles). This uncertainty mainly stems from the difficulty in predicting the future movements of other traffic participants. Although robust control methods can achieve safe but conservative motion planning, and Stochastic Model Predictive Control (SMPC) can provide efficient planning in the presence of uncertainty, SMPC cannot fully guarantee safety because probability constraints may be violated. For this reason, the author proposes a method that combines SMPC and Fail - Safe Trajectory Planning (FTP), called SMPC+FTP. This method ensures the safety and efficiency of vehicle trajectories through the following steps: 1. **SMPC part**: Use SMPC to generate efficient vehicle trajectories within a limited time range. SMPC takes into account the uncertainty in the environment and ensures that the maximum risk is below a predefined level through probability constraints. 2. **FTP part**: Based on the first optimized SMPC input, use reachable sets to plan a backup trajectory that guarantees safety. If a safe backup trajectory can still be found after applying the first SMPC input, then apply the SMPC input; otherwise, apply the backup trajectory to ensure safety. 3. **Recursive feasibility**: Prove the recursive feasibility of the proposed SMPC+FTP method, that is, if there is a solution at one time step, there must also be a solution at the next time step. 4. **Simulation verification**: Verify the effectiveness of this method through highway simulation experiments, demonstrating its advantages in performance and safety. In conclusion, the main contribution of this paper is to propose a new SMPC+FTP method that can efficiently and safely plan the trajectories of autonomous vehicles in an uncertain environment.