Verifying the safety of lane change maneuvers of self-driving vehicles based on formalized traffic rules
作者： Christian Pek , Peter Zahn , Matthias Althoff
关键词: Simulation 、 Operations research 、 Collision 、 Self driving 、 Vienna Convention on Road Traffic 、 Formal verification 、 Trajectory 、 Correctness 、 Traffic conflict 、 Artificial intelligence 、 Robotics 、 Engineering
摘要: … We recommend that the ego vehicle is allowed to disrespect safe distances during emergency situations to avoid a collision. For a vehicle merging to lc, the ego vehicle may perform a …
sci-hub.se 参考文章(27)
Daniel Althoff, Martin Buss, Andreas Lawitzky, Moritz Werling, Dirk Wollherr, On-line Trajectory Generation for Safe and Optimal Vehicle Motion Planning Informatik aktuell. pp. 99- 107 ,(2012) , 10.1007/978-3-642-32217-4_11
Harald Beck, Thomas Eiter, Thomas Krennwallner, Inconsistency Management for Traffic Regulations: Formalization and Complexity Results Logics in Artificial Intelligence. pp. 80- 93 ,(2012) , 10.1007/978-3-642-33353-8_7
Gunnar Johansson, Kåre Rumar, Drivers' Brake Reaction Times: Human Factors. ,vol. 13, pp. 23- 27 ,(1971) , 10.1177/001872087101300104
Carlo Ackermann, R. Isermann, Sukki Min, Changwon Kim, Design of a decision maker for an evasive or braking maneuver for collision avoidance Proceedings. pp. 401- 415 ,(2014) , 10.1007/978-3-658-05130-3_28
Tom Schouwenaars, None, Safe Trajectory Planning of Autonomous Vehicles Massachusetts Institute of Technology. ,(2006)
Albert Rizaldi, Matthias Althoff, Formalising Traffic Rules for Accountability of Autonomous Vehicles international conference on intelligent transportation systems. pp. 1658- 1665 ,(2015) , 10.1109/ITSC.2015.269
Sebastian Sontges, Matthias Althoff, Determining the Nonexistence of Evasive Trajectories for Collision Avoidance Systems international conference on intelligent transportation systems. pp. 956- 961 ,(2015) , 10.1109/ITSC.2015.160
Stefan Mitsch, Sarah M. Loos, Andre Platzer, Towards Formal Verification of Freeway Traffic Control international conference on cyber-physical systems. ,vol. 2012, pp. 171- 180 ,(2012) , 10.1109/ICCPS.2012.25
S. Petti, T. Fraichard, Safe motion planning in dynamic environments intelligent robots and systems. pp. 2210- 2215 ,(2005) , 10.1109/IROS.2005.1545549
WERNER DAMM, HANS-JÖRG PETER, JAN RAKOW, BERND WESTPHAL, Can we build it: formal synthesis of control strategies for cooperative driver assistance systems Mathematical Structures in Computer Science. ,vol. 23, pp. 676- 725 ,(2013) , 10.1017/S0960129512000230