B. Schurmann, D. Hes, J. Eilbrecht, O. Stursberg, F. Koster, and M. Althoff, “Ensuring Drivability of Planned Motions Using Formal Methods,” in 2017 IEEE 20th International Conference on Intelligent Transportation Systems (ITSC), Institute of Electrical and Electronics Engineers, Ed. Piscataway, NJ: IEEE, 2017, pp. 1–8.



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 pre-computed 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.



 AUTHOR={B. Schuermann and D. Hess and J. Eilbrecht and O. Stursberg and F. Koester and M. Althoff},
 TITLE={{Ensuring Drivability of Planned Motions Using Formal Methods}},
 BOOKTITLE={Proc. Int. Conf. on Intelligent Transportation Systems},
 COMMENT={noch nicht gemeldet, ISBN: ?, ? Normseiten}}