Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
184 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
45 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

Hybrid and Oriented Harmonic Potentials for Safe Task Execution in Unknown Environment (2306.07537v3)

Published 13 Jun 2023 in cs.RO

Abstract: Harmonic potentials provide globally convergent potential fields that are provably free of local minima. Due to its analytical format, it is particularly suitable for generating safe and reliable robot navigation policies. However, for complex environments that consist of a large number of overlapping non-sphere obstacles, the computation of associated transformation functions can be tedious. This becomes more apparent when: (i) the workspace is initially unknown and the underlying potential fields are updated constantly as the robot explores it; (ii) the high-level mission consists of sequential navigation tasks among numerous regions, requiring the robot to switch between different potentials. Thus, this work proposes an efficient and automated scheme to construct harmonic potentials incrementally online as guided by the task automaton. A novel two-layer harmonic tree (HT) structure is introduced that facilitates the hybrid combination of oriented search algorithms for task planning and harmonic-based navigation controllers for non-holonomic robots. Both layers are adapted efficiently and jointly during online execution to reflect the actual feasibility and cost of navigation within the updated workspace. Global safety and convergence are ensured both for the high-level task plan and the low-level robot trajectory. Known issues such as oscillation or long-detours for purely potential-based methods and sharp-turns or high computation complexity for purely search-based methods are prevented. Extensive numerical simulation and hardware experiments are conducted against several strong baselines.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (44)
  1. Principles of model checking. MIT press.
  2. Temporal logic motion planning for dynamic robots. Automatica, 45, 343–352.
  3. Robot navigation in complex workspaces using conformal navigation transformations. IEEE Robotics and Automation Letters, 8, 192–199.
  4. Adjustable navigation functions for unknown sphere worlds. In IEEE Conference on Decision and Control and European Control Conference (pp. 4276–4281). IEEE.
  5. Integrated task and motion planning. Annual review of control, robotics, and autonomous systems, 4, 265–293.
  6. Gavin, H. P. (2019). The levenberg-marquardt algorithm for nonlinear least squares curve-fitting problems. Department of civil and environmental engineering, Duke University, 19.
  7. Automated Planning: theory and practice. Elsevier.
  8. Human-in-the-loop mixed-initiative control under temporal tasks. In IEEE International Conference on Robotics and Automation (ICRA) (pp. 6395–6400).
  9. Multi-agent plan reconfiguration under local ltl specifications. The International Journal of Robotics Research, 34, 218–235.
  10. On the probabilistic foundations of probabilistic roadmap planning. The International Journal of Robotics Research, 25, 627–643.
  11. Fast marching tree: A fast marching sampling-based method for optimal motion planning in many dimensions. The International Journal of Robotics Research, 34, 883–921.
  12. Sampling-based algorithms for optimal motion planning. The International Journal of Robotics Research, 30, 846–894.
  13. Khalil, H. (2002). Nonlinear systems; 3rd ed.. Upper Saddle River, NJ: Prentice Hall.
  14. Khatib, O. (1986). Real-time obstacle avoidance for manipulators and mobile robots. In Autonomous robot vehicles (pp. 396–404). Springer.
  15. Khatib, O. (1999). Mobile manipulation: The robotic assistant. Robotics and Autonomous Systems, 26, 175–183.
  16. Representation, learning, and planning algorithms for geometric task and motion planning. The International Journal of Robotics Research, 41, 210–231.
  17. Real-time obstacle avoidance using harmonic potential functions. IEEE Transactions on Robotics and Automation, 8, 338–349.
  18. Vf-rrt: Introducing optimization into randomized motion planning. In IEEE Asian Control Conference (ASCC) (pp. 1–5).
  19. Koditschek, D. (1987). Exact robot navigation by means of potential functions: Some topological considerations. In IEEE International Conference on Robotics and Automation (pp. 1–6). volume 4.
  20. LaValle, S. M. (2006). Planning algorithms. Cambridge university press.
  21. Scalable and robust algorithms for task-based coordination from high-level specifications (scratches). IEEE Transactions on Robotics, 38, 2516–2535.
  22. Navigation functions with time-varying destination manifolds in star worlds. IEEE Transactions on Robotics, 35, 35–48.
  23. Stl robustness risk over discrete-time stochastic processes. In IEEE Conference on Decision and Control (CDC) (pp. 1329–1335).
  24. Loizou, S. G. (2011). Closed form navigation functions based on harmonic potentials. In IEEE Conference on Decision and Control and European Control Conference (pp. 6361–6366).
  25. Loizou, S. G. (2017). The navigation transformation. IEEE Transactions on Robotics, 33, 1516–1523.
  26. Correct-by-construction navigation functions with application to sensor based robot navigation. arXiv preprint arXiv:2103.04445, .
  27. Mobile robot navigation functions tuned by sensor readings in partially known environments. IEEE Robotics and Automation Letters, 7, 3803–3810.
  28. An abstraction-free method for multirobot temporal logic optimal control synthesis. IEEE Transactions on Robotics, 37, 1487–1507.
  29. A convergent dynamic window approach to obstacle avoidance. IEEE Transactions on Robotics, 21, 188–195.
  30. Rrtx: Asymptotically optimal single-query sampling-based motion planning with quick replanning. The International Journal of Robotics Research, 35, 797–822.
  31. Panagou, D. (2014). Motion planning and collision avoidance using navigation vector fields. In IEEE International Conference on Robotics and Automation (ICRA) (pp. 2513–2518).
  32. Feedback motion planning via non-holonomic rrt for mobile robots. In IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) (pp. 4035–4040).
  33. Potential functions based sampling heuristic for optimal path planning. Autonomous Robots, 40, 1079–1093.
  34. Rimon, E. (1990). Exact robot navigation using artificial potential functions. Ph.D. thesis Yale University.
  35. Harmonic-based optimal motion planning in constrained workspaces using reinforcement learning. IEEE Robotics and Automation Letters, 6, 2005–2011.
  36. Optimal motion planning in unknown workspaces using integral reinforcement learning. IEEE Robotics and Automation Letters, 7, 6926–6933.
  37. Trajectory planning in unknown 2d workspaces: A smooth, reactive, harmonics-based approach. IEEE Robotics and Automation Letters, 7, 1992–1999.
  38. Smarrt: Self-repairing motion-reactive anytime rrt for dynamic environments. arXiv preprint arXiv:2109.05043, .
  39. Potentially guided bidirectionalized rrt* for fast optimal path planning in cluttered environments. Robotics and Autonomous Systems, 108, 13–27.
  40. Hybrid potential field based control of differential drive mobile robots. Journal of Intelligent & Robotic systems, 68, 307–322.
  41. Reactive navigation in partially familiar planar environments using semantic perceptual feedback. The International Journal of Robotics Research, 41, 85–126.
  42. Robot navigation in complex workspaces using harmonic maps. In 2018 IEEE International Conference on Robotics and Automation (ICRA) (pp. 1726–1731). IEEE.
  43. Wang, S. (2023). Harmonic tree. https://shuaikang-wang.github.io/HarmonicTree/.
  44. Warren, C. W. (1989). Global path planning using artificial potential fields. In IEEE International Conference on Robotics and Automation (ICRA) (pp. 316–317).

Summary

We haven't generated a summary for this paper yet.