Using reachable sets for trajectory planning of automated vehicles

S Manzinger, C Pek, M Althoff - … on Intelligent Vehicles, 2020 - ieeexplore.ieee.org
… for automated vehicles often … the vehicle must react in a timely manner. We present a novel
motion planning approach for automated vehicles, which combines set-based reachability

Towards responsibility-sensitive safety of automated vehicles with reachable set analysis

PF Orzechowski, K Li, M Lauer - … Vehicles and Expo (ICCVE), 2019 - ieeexplore.ieee.org
… In order to verify the minimal time gap tgap, we can determine reachable sets of the other
vehicles and test them against the occupancy of the intended ego trajectory for τenter + tgap (…

Computing specification-compliant reachable sets for motion planning of automated vehicles

EI Liu, M Althoff - 2021 IEEE Intelligent Vehicles Symposium (IV …, 2021 - ieeexplore.ieee.org
… compliant reachable sets for a considered ego vehicle. Our overapproximative reachable
sets … attached to the reachable sets. An exemplary handcrafted rule can be described as “follow …

Online verification of automated road vehicles using reachability analysis

M Althoff, JM Dolan - IEEE Transactions on Robotics, 2014 - ieeexplore.ieee.org
… the set of all possible occupancies of the automated vehicle … scenarios, we apply reachability
analysis to consider all … if the occupancy of the automated vehicle does not intersect that of …

Sampling-based optimal trajectory generation for autonomous vehicles using reachable sets

G Würsching, M Althoff - 2021 IEEE International Intelligent …, 2021 - ieeexplore.ieee.org
… using reachable sets, ie, sets of states that the ego vehicle … By only creating samples within
the collisionfree reachable sets, … reachable sets for trajectory planning of automated vehicles,” …

Computing possible driving corridors for automated vehicles

S Söntges, M Althoff - 2017 IEEE Intelligent Vehicles …, 2017 - ieeexplore.ieee.org
… the reachable set of all possible motions of the ego vehicle and for dividing the reachable
set into … The numerical computation of the reachable set is over-approximative, ie no feasible …

CommonRoad-Reach: A toolbox for reachability analysis of automated vehicles

EI Liu, G Würsching, M Klischat… - 2022 IEEE 25th …, 2022 - ieeexplore.ieee.org
… of time-varying occupancies of all obstacles Ok ⊂ R2 at step k, we define the set of … reachable
set of the ego vehicle at step k is defined as the set of states reachable from the initial set

A multi-step approach to accelerate the computation of reachable sets for road vehicles

M Klischat, M Althoff - 2020 IEEE 23rd International Conference …, 2020 - ieeexplore.ieee.org
… which cells are reachable from which cells … reachable sets propagated from multiple points
in time. We demonstrate our approach on a large range of scenarios for automated vehicles

Safety verification of automated driving systems

R Kianfar, P Falcone… - IEEE Intelligent …, 2013 - ieeexplore.ieee.org
… Hence, we define the dual of the reachable set in Definition 3 as … evolution of state trajectories
into the target set from one-step backward reachable set. X represents the admissible set. …

Set-based computation of vehicle behaviors for the online verification of autonomous vehicles

M Althoff, JM Dolan - 2011 14th International IEEE Conference …, 2011 - ieeexplore.ieee.org
reachable set of an autonomous vehiclevehicle model in this paper has nonlinear continuous
dynamics, we focus on this class of systems: Most approaches compute reachable sets of …