We propose a novel technique for guidance of buoyancy-controlled vehicles in uncertain under-ice ocean flows. In-situ melt rate measurements collected at the grounding zone of Antarctic ice shelves, where the ice shelf meets the underlying bedrock, are essential to constrain models of future sea level rise. Buoyancy-controlled vehicles, which control their vertical position in the water column through internal actuation but have no means of horizontal propulsion, offer an affordable and reliable platform for such in-situ data collection. However, reaching the grounding zone requires vehicles to traverse tens of kilometers under the ice shelf, with approximate position knowledge and no means of communication, in highly variable and uncertain ocean currents. To address this challenge, we propose a partially observable MDP approach that exploits model-based knowledge of the under-ice currents and, critically, of their uncertainty, to synthesize effective guidance policies. The approach uses approximate dynamic programming to model uncertainty in the currents, and QMDP to address localization uncertainty. Numerical experiments show that the policy can deliver up to 88.8% of underwater vehicles to the grounding zone – a 33% improvement compared to state-of-the-art guidance techniques, and a 262% improvement over uncontrolled drifters. Collectively, these results show that model-based under-ice guidance is a highly promising technique for exploration of under-ice cavities, and has the potential to enable cost-effective and scalable access to these challenging and rarely observed environments.

We present the Pluggable Distributed Resource Allocator (PDRA), a middleware for distributed computing in heterogeneous mobile robotic networks. PDRA enables autonomous robotic agents to share computational resources for computationally expensive tasks such as localization and path planning. It sits between an existing single-agent planner/executor and existing computational resources (e.g. ROS packages), intercepts the executor's requests and, if needed, transparently routes them to other robots for execution. PDRA is pluggable: it can be integrated in an existing single-robot autonomy stack with minimal modifications. Task allocation decisions are performed by a mixed-integer programming algorithm, solved in a shared-world fashion, that models CPU resources, latency requirements, and multi-hop, periodic, bandwidth-limited network communications; the algorithm can minimize overall energy usage or maximize the reward for completing optional tasks. Simulation results show that PDRA can reduce energy and CPU usage by over 50% in representative multi-robot scenarios compared to a naive scheduler; runs on embedded platforms; and performs well in delay- and disruption-tolerant networks (DTNs). PDRA is available to the community under an open-source license.

We present algorithms for environment exploration in the context of a habitat monitoring task, where the goal is to track radio-tagged invasive fish with autonomous surface or ground robots. The first task is navigation around an unknown obstacle using an input from a front-facing sonar. This capability is important for navigation on inland lakes, because plants and shallow shorelines are hard to map in advance. The second task involves energy harvesting for long-term operation. We address the problem of exploring the solar map of the environment which is used for energy-efficient navigation. For both problems, we present online algorithms and examine their performance using competitive analysis. In competitive analysis, the performance of an online algorithm is compared against the optimal offline algorithm. For obstacle avoidance, the offline algorithm knows the shape of the obstacle. For solar exploration, the offline algorithm knows the geometry of the shadow-casting objects. We obtain an $O(1)$ competitive ratio for obstacle avoidance and an $O(\log n)$ competitive ratio for solar exploration, where $n$ is the number of critical points to observe. The strategies for obstacle avoidance are validated through extensive field experiments, and the strategies for exploration are validated with simulations.

This paper addresses a fundamental search problem in which a searcher subject to time and energy constraints tries to find a mobile target. The target's motion is modeled as a random walk on a discrete set of points on a line segment. At each time step, the target chooses one of the adjacent nodes at random and moves there. We study two detection models. In the no-crossing model, the searcher detects the target if it is on the same node or if it takes the same edge at the same time. In the crossing model, detection happens only if the target lands on the same node at the same time. For the no-crossing model, where move and stay actions may have different costs, we present an optimal search strategy under energy and time constraints. For the crossing model, we formulate the problem of designing an optimal strategy as a partially observable Markov decision process (POMDP) and solve it using methods that reduce the state-space representation of the belief. The POMDP solution reveals structural properties of the optimal solution. We use this structure to design an efficient strategy and analytically study its performance. Finally, we present preliminary experimental results to demonstrate the applicability of our model to our tracking system, which is used for finding radio-tagged invasive fish.

Energy harvesting using solar panels can significantly increase the operational life of mobile robots. If a map of expected solar power is available, energy efficient paths can be computed. However, estimating this map is a challenging task, especially in complex environments. In this paper, we show how the problem of estimating solar power can be decomposed into the steps of magnitude estimation and solar classification. Then, we provide two methods to classify a position as sunny or shaded: a simple data-driven Gaussian Process method and a method that estimates the geometry of the environment as a latent variable. Both of these methods are practical when the training measurements are sparse, such as with a simple robot that can only measure solar power at its own position. We demonstrate our methods on simulated randomly generated environments. We also justify our methods with measured solar data by comparing the constructed height maps with satellite images of the test environments, and in a cross-validation step where we examine the accuracy of predicted shadows and solar current.

We study two new informative path planning problems that are motivated by the use of aerial and ground robots in precision agriculture. The first problem, termed sampling traveling salesperson problem with neighborhoods (SAMPLINGTSPN), is motivated by scenarios in which unmanned ground vehicles (UGVs) are used to obtain time-consuming soil measurements. The input in SAMPLINGTSPN is a set of possibly overlapping disks. The objective is to choose a sampling location in each disk and a tour to visit the set of sampling locations so as to minimize the sum of the travel and measurement times. The second problem concerns obtaining the maximum number of aerial measurements using an unmanned aerial vehicle (UAV) with limited energy. We study the scenario in which the two types of robots form a symbiotic system-the UAV lands on the UGV, and the UGV transports the UAV between deployment locations. This paper makes the following contributions. First, we present an O((rmax)/(rmin)) approximation algorithm for SAMPLINGTSPN, where rminand rmaxare the minimum and maximum radii of input disks. Second, we show how to model the UAV planning problem using a metric graph and formulate an orienteering instance to which a known approximation algorithm can be applied. Third, we apply the two algorithms to the problem of obtaining ground and aerial measurements in order to accurately estimate a nitrogen map of a plot. Along with theoretical results, we present results from simulations conducted using real soil data and preliminary field experiments with the UAV.

We study the problem of actively locating a static target using mobile robots equipped with bearing sensors. The goal is to reduce the uncertainty in the target's location to a value below a given threshold in minimum time. Our cost formulation explicitly models time spent in traveling, as well as taking measurements. In addition, we consider distance-based communication constraints between the robots. We provide the following theoretical results. First, we study the properties of an optimal offline strategy for one or more robots with access to the target's true location. We derive the optimal offline algorithm and bound its cost when considering a single robot or an even number of robots. In other cases, we provide a close approximation. Second, we provide a general method of converting the offline algorithm into an online adaptive algorithm (that does not have access to the target's true location), while preserving near optimality. Using these two results, we present an online strategy proven to locate the target up to a desired uncertainty level at near-optimal cost. In addition to theoretical analysis, we validate the algorithm in simulations and multiple field experiments performed using autonomous surface vehicles carrying radio antennas to localize radio tags.

We study the problem of coordinating an Unmanned Aerial Vehicle (UAV) and an Unmanned Ground Vehicle (UGV) for a precision agriculture application. In this application, the ground and aerial measurements are used for estimating nitrogen (N) levels on-demand across a farm. Our goal is to estimate the N map over a field and classify each point based on N deficiency levels. These estimates in turn guide fertilizer application. Applying the right amount of fertilizer at the right time can drastically reduce fertilizer usage. Towards building such a system, this paper makes the following contributions: First, we present a method to identify points whose probability of being misclassified is above a threshold. Second, we study the problem of maximizing the number of such points visited by an UAV subject to its energy budget. The novelty of our formulation is the capability of the UGV to mule the UAV to deployment points. This allows the system to conserve the short battery life of a typical UAV. Third, we introduce a new path planning problem in which the UGV must take a measurement within a disk centered at each point visited by the UAV. The goal is to minimize the total time spent in traveling and measuring. For both problems, we present constant-factor approximation algorithms. Finally, we demonstrate the utility of our system with simulations which use manually collected soil measurements from the field.

We study the problem of minimizing the time to accurately localize a target using radio-based telemetry. The directional nature of the antenna allows us to obtain bearing-to-target sensor measurements. There are two critical attributes that separate our setup from the majority of bearing-only tracking literature: sensing ambiguity and long measurement time. We provide a sensing strategy which mitigates the effect of ambiguity, and prove that the time required to localize a target is less than a constant times that of any bearing-based localization strategy which uses an Extended Kalman Filter.

We present a novel robotic telemetry system for localizing radio-tagged invasive fish in frozen lakes using coarse bearing measurements. We address the problem of selecting sensing locations so as to minimize the uncertainty in the location of the target. For this purpose, we propose three active localization algorithms and evaluate them both in simulations and through field experiments. We also present a novel technique for bearing-estimation from directional radio antenna which is critical for the successful execution of the active localization algorithms. Our system is able to operate on frozen lakes and localize the target to within values as low as one meter.