Mobile Robot Sensory Coverage in 2-D Environments: An Optimization Approach with Efficiency Bounds (2405.15100v1)
Abstract: This paper considers three related mobile robot multi-target sensory coverage and inspection planning problems in 2-D environments. In the first problem, a mobile robot must find the shortest path to observe multiple targets with a limited range sensor in an obstacle free environment. In the second problem, the mobile robot must efficiently observe multiple targets while taking advantage of multi-target views in an obstacle free environment. The third problem considers multi-target sensory coverage in the presence of obstacles that obstruct sensor views of the targets. We show how all three problems can be formulated in a MINLP optimization framework. Because exact solutions to these problems are NP-hard, we introduce polynomial time approximation algorithms for each problem. These algorithms combine polynomial-time methods to approximate the optimal target sensing order, combined with efficient convex optimization methods that incorporate the constraints posed by the robot sensor footprint and obstacles in the environment. Importantly, we develop bounds that limit the gap between the exact and approximate solutions. Algorithms for all problems are fully implemented and illustrated with examples. Beyond the utility of our algorithms, the bounds derived in the paper contribute to the theory of optimal coverage planning algorithms.
- Sensor based coverage with extended range detectors. IEEE Transactions on Robotics, 22(1):189–198, 2006.
- A survey on inspecting structures using robotic systems. Int. J. Robotics Research, 22:441–461, 2016.
- A survey on inspecting structures using robotic systems. Int. J. Advanced Robotics Systems, pages 1–18, 2016.
- Mixed-integer nonlinear optimization. Acta Numerica, 22, 05 2013.
- Three-dimensional coverage path planning via viewpoint resampling and tour optimization for aerial robots. Autonomous Robots, 40:1059–1078, 2016.
- The ellipsoid method: A survey. Operations Research, 29, 12 1981.
- An algorithmic framework for convex mixed integer nonlinear programs. Discrete Optimization, 5(2):186–204, 2008.
- From multi-target sensory coverage to complete sensory coverage: An optimization-based robotic sensory coverage approach. In 2021 IEEE International Conference on Robotics and Automation (ICRA), pages 10994–11000, 2021.
- Christofides, N. Worst-Case analysis of a new heuristic for the travelling salesman problem. Technical Report 388, Carnegie-Mellon University, Pittsburgh, PA, 1976.
- A Branch-and-Bound Algorithm for the Close-Enough Traveling Salesman Problem. INFORMS Journal on Computing, 28(4):752–765, November 2016.
- The Covering Salesman Problem. Transportation Science, 23(3):208–213, August 1989.
- T. Danner and L.E. Kavraki. Randomized planning for short inspection paths. In IEEE Int. Conf. on Robotics and Automation, pages 971–976 vol.2, San Francisco, CA, USA, 2000. IEEE.
- Adrian Dumitrescu and Joseph S B Mitchell. Approximation algorithms for TSP with neighborhoods in the plane. Journal of Algorithms, 48(1):135–159, 2003.
- Planning Complex Inspection Tasks Using Redundant Roadmaps. In Henrik I. Christensen and Oussama Khatib, editors, Robotics Research, volume 100, pages 327–343. Springer International Publishing, Cham, 2017.
- Three-dimensional coverage planning for an underwater inspection robot. Int. J. Robotics Research, 32(9-10):1048–1073, August 2013.
- E. Galceran and M. Carrares. Efficient seabed coverage path planning for asvs and auvs. In IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, pages 88–93, 2012.
- E. Galceran and M. Carreras. A survey on coverage path planning for robotics. Robotics and Autonomous Systems, 61(4):146–155, 2013.
- The travelling salesman problem with neighbourhoods: MINLP solution. Optimization Methods and Software, 28(2):364–378, April 2013.
- The Generalized Covering Salesman Problem. INFORMS Journal on Computing, 24(4):534–553, November 2012.
- Graph implementations for nonsmooth convex programs. In V. Blondel, S. Boyd, and H. Kimura, editors, Recent Advances in Learning and Control, Lecture Notes in Control and Information Sciences, pages 95–110. Springer-Verlag Limited, 2008. http://stanford.edu/~boyd/graph_dcp.html.
- CVX: Matlab software for disciplined convex programming, version 2.1. https://cvxr.com/cvx, March 2014.
- J.A. Hoogeveen. Analysis of Christofides’s heuristic: Some paths are more difficult than cycles. Operat. Res. Lett., 10:291–295, 1991.
- Inverse Problem Limited. Opti Toolbox - A Free Matlab Tool for Optimization . https://www.inverseproblem.co.nz/OPTI/, 2019.
- Donald B. Johnson. Efficient algorithms for shortest paths in sparse networks. J. ACM, 24(1):1–13, jan 1977.
- An efficient algorithm for euclidean shortest paths among polygonal obstacles in the plane. Discrete & Computational Geometry, 18(4):377–383, December 1997.
- Vladimir Kolmogorov. Blossom V: a new implementation of a minimum cost perfect matching algorithm. Mathematical Programming Computation, 1(1):43–67, July 2009.
- A review and comparison of solvers for convex MINLP. Optimization and Engineering, 20, 06 2019.
- The Eins3D project — Instantaneous UAV-Based 3D Mapping for Search and Rescue Applications. In IEEE Int Symp Safety, Security, and Rescue Robotics, pages 1–6, Würzburg, Germany, September 2019. IEEE.
- Multi-robot coverage on dendritic topologies under communication constraints. In IEEE 55th Conference on Decision and Control, pages 43–48, 2016.
- Motion planning around obstacles with convex optimization. arXiv:2205.04422, May 2022.
- Shortest paths and networks. Chapman & Hall/CRC, 3rd edition, 2017.
- Approximation algorithms for tours of height-varying view cones. The International Journal of Robotics Research, 38(2-3):224–235, 2019.
- Computational Geometry: An Introduction. Monographs in Computer Science. Springer New York, 2012.
- Geometric intersection problems. In 17th Annual Symposium on Foundations of Computer Science (sfcs 1976), pages 208–215, 1976.
- Sensor Planning for a Symbiotic UAV and UGV System for Precision Agriculture. IEEE Transactions on Robotics, 32(6):1498–1511, December 2016.
- Modeling of Discrete/Continuous Optimization Problems: Characterization and Formulation of Disjunctions and Their Relaxations. Computers and Chemical Engineering, 27(3):433–448, 2003.
- Emo Welzl. Constructing the visibility graph for n-line segments in o(n2) time. Information Processing Letters, 20(4):167–171, 1985.
- The Design of Approximation Algorithms. Cambridge University Press, N.Y., 2011.
- E. Fourney (1 paper)
- J. W. Burdick (1 paper)
- E. D. Rimon (2 papers)