1: \begin{abstract}

2:     Recently, many reactive trajectory planning approaches were suggested in the literature because of their inherent immediate adaption in the ever more demanding cluttered and unpredictable environments of robotic systems.

3:     However, typically those approaches are only locally reactive without considering global path planning and no guarantees for simultaneous collision avoidance and goal convergence can be given.

4:     In this paper, we study a recently developed \gls{cf}-based motion planner \cite{BeckerLilMulHad2021} that combines local reactive control with global trajectory generation by adapting an artificial magnetic field such that multiple trajectories around obstacles can be evaluated.

5:     In particular, we provide a mathematically rigorous analysis of this planner for static environments in the horizontal plane to ensure safe motion of the controlled robot.

6:     Contrary to existing results, the derived collision avoidance analysis covers the entire \gls{cf} motion planning algorithm including attractive forces for goal convergence and is not limited to a specific choice of the rotation field, i.e., our guarantees are not limited to a specific potentially suboptimal trajectory.

7:     Our Lyapunov-type collision avoidance analysis is based on the definition of an (equivalent) two-dimensional auxiliary system, which enables us to provide tight, if and only if conditions for the case of a collision with point obstacles.

8:     Furthermore, we show how this analysis naturally extends to multiple obstacles and we specify sufficient conditions for goal convergence.

9:     Finally, we provide challenging simulation scenarios with multiple non-convex point cloud obstacles and demonstrate collision avoidance and goal convergence.

10: \end{abstract}

11: