Anytime Replanning of Robot Coverage Paths for Partially Unknown Environments

In this paper, we propose a method to replan coverage paths for a robot operating in an environment with initially unknown static obstacles. Existing coverage approaches reduce coverage time by covering along the minimum number of coverage lines (straight-line paths). However, recomputing such paths online can be computationally expensive resulting in robot stoppages that increase coverage time. A naive alternative is greedy detour replanning, i.e., replanning with minimum deviation from the initial path, which is efficient to compute but may result in unnecessary detours. In this work, we propose an anytime coverage replanning approach named OARP-Replan that performs near-optimal replans to an interrupted coverage path within a given time budget. We do this by solving linear relaxations of mixed-integer linear programs (MILPs) to identify sections of the interrupted path that can be optimally replanned within the time budget. We validate our approach in simulation using maps of real-world environments and compare our approach against a greedy detour replanner and other state-of-the-art approaches.

Optimal Partitioning of Non-Convex Environments for Minimum Turn Coverage Planning

In this paper, we tackle the problem of generating a turn-minimizing coverage plan for a robot operating in an indoor environment. In coverage planning, the number of turns in the generated path affects the time to cover the environment and the quality of coverage, e.g. tools like cameras and cleaning attachments commonly have poor performance around turns. In many existing turn-minimizing coverage methods, the environment is partitioned into the least number of ranks, which are non-intersecting rectangles of width equal to the robot's tool width. This partitioning problem is typically solved using heuristics that do not guarantee optimality. In this work, we propose a linear programming (LP) approach to partition the environment into the least number of axis-parallel (horizontal and vertical) ranks with the goal of minimizing the number of turns taken by the robot. We prove that our LP method solves this problem optimally and in polynomial time. We then generate coverage plans for a set of indoor environments using the proposed LP method and compare the results against that of a state-of-the-art coverage approach.

Planar Cooperative Extremum Seeking with Guaranteed Convergence Using A Three-Robot Formation

In this paper, a combined formation acquisition and cooperative extremum seeking control scheme is proposed for a team of three robots moving on a plane. The extremum seeking task is to find the maximizer of an unknown two-dimensional function on the plane. The function represents the signal strength field due to a source located at maximizer, and is assumed to be locally concave around maximizer and monotonically decreasing in distance to the source location. Taylor expansions of the field function at the location of a particular lead robot and the maximizer are used together with a gradient estimator based on signal strength measurements of the robots to design and analyze the proposed control scheme. The proposed scheme is proven to exponentially and simultaneously (i) acquire the specified geometric formation and (ii) drive the lead robot to a specified neighborhood disk around maximizer, whose radius depends on the specified desired formation size as well as the norm bounds of the Hessian of the field function. The performance of the proposed control scheme is evaluated using a set of simulation experiments.