Potential field methods treat motion planning as a navigation problem in a artificial force field where the goal exerts attractive force and obstacles exert repulsive forces. The robot moves downhill in the potential function, computed as U(q) = U_attractive(q) + U_repulsive(q). The attractive field grows with distance from the goal (quadratic or conic); the repulsive field decreases with distance from obstacles (inverse squared or exponential decay). The gradient -∇U points downhill toward the goal and away from obstacles. A simple control law moves the robot in the direction of steepest descent. This approach is computationally efficient and naturally handles real-time reactive navigation. However, potential fields suffer from local minima: the robot can become trapped in a valley of the potential function, unable to escape to reach the goal despite a feasible path existing. This is a fundamental trade-off: computational simplicity versus the risk of suboptimal solutions or failures.
Imagine a robot navigating a cluttered room. The goal exerts an attractive force, like a magnet pulling the robot forward. Obstacles exert repulsive forces, like invisible walls pushing the robot away. The robot moves downhill in the combined potential field created by these forces. This intuition underlies artificial potential field methods, one of the earliest and most computationally efficient approaches to robot navigation.
The potential function is defined as U(q) = U_attractive(q) + U_repulsive(q), where q is the robot configuration. The attractive potential typically grows with distance from the goal: U_attractive = ½ * ||q - q_goal||^2 (quadratic) or ||q - q_goal|| (linear distance). The repulsive potential decreases sharply as the robot approaches obstacles, typically U_repulsive = (1/2) * (1/d_obs)^2, where d_obs is the distance to the nearest obstacle. This inverse-squared decay creates a barrier that becomes infinitely strong as the robot touches an obstacle.
The robot's control law is to move in the direction of steepest descent: u = -∇U. The gradient ∇U points downhill; the negative gradient points uphill. By moving opposite the gradient, the robot flows downhill toward lower-potential regions, naturally avoiding obstacles (repulsive gradient pushes away) and moving toward the goal (attractive gradient pulls toward). This requires only local computation — evaluate the potential and its gradient at the robot's current position — making potential fields real-time feasible for reactive control.
Computational Efficiency: Computing U and ∇U is O(number_of_obstacles) for distance calculation plus a few arithmetic operations. No graph search, no roadmap construction, no sampling. A robot can run potential field control at 100+ Hz on modest hardware. This is why potential fields are used for low-level obstacle avoidance in many commercial robots.
The Local Minimum Trap: Despite their simplicity, potential fields have a critical flaw: local minima. A local minimum is a point where ∇U = 0 but the goal has not been reached. At such points, the attractive force toward the goal is balanced by repulsive forces from obstacles, and the robot becomes stuck. The classic scenario is a narrow corridor or cul-de-sac: walls on both sides exert repulsive forces that push the robot toward the center. The goal at the far end exerts an attractive force. If the geometry is right, these forces balance, and ∇U = 0 in the middle of the corridor. The robot can't escape — it's trapped in an equilibrium configuration far from the goal.
This isn't a rare edge case — it's common in realistic cluttered environments. A robot navigating a building might get trapped in a hallway junction or an L-shaped room. The potential field approach provides no mechanism to escape. It's locally optimal (in the direction of steepest descent) but globally suboptimal or even infeasible.
Solutions and Trade-offs: Several approaches mitigate the local-minimum problem:
1. Randomization: Add random perturbations to the control law. When stuck, the robot does a random walk, which probabilistically escapes the minimum. But this is undirected and can waste time or become unstable.
2. Navigation Functions: Design the potential function mathematically to guarantee no local minima except at the goal. Examples include harmonic functions (solutions to Laplace's equation) or carefully tuned combinations of distance-to-goal and signed distance-to-obstacles. But these require explicit knowledge of the configuration space and obstacles and are more expensive to compute.
3. Hybrid Methods: Use potential fields for reactive local control combined with a global planner (like RRT or A*). The global planner provides high-level waypoints; the potential field controller reactively guides between waypoints while avoiding immediate obstacles. If the potential field gets stuck (detects zero gradient far from goal), the global planner re-routes.
4. Gradient Normalization and Decay: Design the repulsive potential to decay faster or with a maximum influence distance, so distant obstacles don't create long-range balance points. A carefully tuned repulsive decay can reduce (though not eliminate) local minima.
In modern robotics, potential fields are rarely used for end-to-end planning but are ubiquitous in reactive local control layers. Mobile robots use them for short-term obstacle avoidance while trajectory trackers or planners handle global navigation. Robot arms use them in operational space to push end-effectors away from collisions while tracking desired trajectories. The trade-off is clear: computational efficiency and real-time reactivity at the cost of guaranteed completeness. Integrating potential fields with global planners recovers completeness while maintaining the speed of local control.
No topics depend on this one yet.