Search

Simultaneous localization and planning (SLAP) is a crucial ability for an autonomous robot operating under uncertainty. In its most general form, SLAP induces a continuous partially observable Markov decision process (POMDP), which needs to be repeatedly solved online. This paper addresses this problem and proposes a dynamic replanning scheme in belief space. The underlying POMDP, which is continuous in state, action, and observation space, is approximated offline via sampling-based methods, but operates in a replanning loop online to admit local improvements to the coarse offline policy. This construct enables the proposed method to combat changing environments and large localization errors, even when the change alters the homotopy class of the optimal trajectory. It further outperforms the state-of-the-art Feedback-based Information RoadMap (FIRM) method by eliminating unnecessary stabilization steps. Applying belief space planning to physical systems brings with it a plethora of challenges. A key focus of this paper is to implement the proposed planner on a physical robot and show the SLAP solution performance under uncertainty, in changing environments and in the presence of large disturbances, such as a kidnapped robot situation. [ABSTRACT FROM AUTHOR]

In this paper, we derive an algorithm for enabling a single robotic unmanned aerial vehicle to herd a flock of birds away from a designated volume of space, such as the air space around an airport. The herding algorithm, referred to as the $m$ -waypoint algorithm, is designed using a dynamic model of bird flocking based on Reynolds’ rules. We derive bounds on its performance using a combination of reduced-order modeling of the flock's motion, heuristics, and rigorous analysis. A unique contribution of the paper is the experimental demonstration of several facets of the herding algorithm on flocks of live birds reacting to a robotic pursuer. The experiments allow us to estimate several parameters of the flocking model, and especially the interaction between the pursuer and the flock. The herding algorithm is also demonstrated using numerical simulations. [ABSTRACT FROM AUTHOR]

The use of aerial swarms to solve real-world problems has been increasing steadily, accompanied by falling prices and improving performance of communication, sensing, and processing hardware. The commoditization of hardware has reduced unit costs, thereby lowering the barriers to entry to the field of aerial swarm robotics. A key enabling technology for swarms is the family of algorithms that allow the individual members of the swarm to communicate and allocate tasks amongst themselves, plan their trajectories, and coordinate their flight in such a way that the overall objectives of the swarm are achieved efficiently. These algorithms, often organized in a hierarchical fashion, endow the swarm with autonomy at every level, and the role of a human operator can be reduced, in principle, to interactions at a higher level without direct intervention. This technology depends on the clever and innovative application of theoretical tools from control and estimation. This paper reviews the state of the art of these theoretical tools, specifically focusing on how they have been developed for, and applied to, aerial swarms. Aerial swarms differ from swarms of ground-based vehicles in two respects: they operate in a three-dimensional space and the dynamics of individual vehicles adds an extra layer of complexity. We review dynamic modeling and conditions for stability and controllability that are essential in order to achieve cooperative flight and distributed sensing. The main sections of this paper focus on major results covering trajectory generation, task allocation, adversarial control, distributed sensing, monitoring, and mapping. Wherever possible, we indicate how the physics and subsystem technologies of aerial robots are brought to bear on these individual areas. [ABSTRACT FROM AUTHOR]

The ability to anticipate a fall is fundamental for any robot that has to balance. Currently, fast fall-prediction algorithms only exist for simple models, such as the linear inverted pendulum model (LIPM), whose validity breaks down in multicontact scenarios (i.e., when contacts are not limited to a flat ground). This paper presents a fast fall-prediction algorithm based on the point-mass model, which remains valid in multicontact scenarios. The key assumption of our algorithm is that, in order to come to a stop without changing its contacts, a robot only needs to accelerate its center of mass in the direction opposite to its velocity. This assumption allows us to predict the fall by means of a convex optimal control problem, which we solve with a fast custom algorithm (less than 11 ms of computation time). We validated the approach through extensive simulations with the humanoid robot HRP-2 in randomly-sampled scenarios. Comparisons with standard LIPM-based methods demonstrate the superiority of our algorithm in predicting the fall of the robot, when controlled with a state-of-the-art balance controller. This paper lays the foundations for the solution of the challenging problem of push recovery in multicontact scenarios. [ABSTRACT FROM AUTHOR]

This paper proposes deployment strategies for consumer unmanned aerial vehicles (UAVs) to maximize the stationary coverage of a target area and to guarantee the continuity of the service through energy replenishment operations at ground charging stations. The three main contributions of our work are as follows. 1) A centralized optimal solution is proposed for the joint problem of UAV positioning for a target coverage ratio and scheduling the charging operations of the UAVs that involves travel to the ground station. 2) A distributed game-theory-based scheduling strategy is proposed using normal-form games with rigorous analysis on performance bounds. Furthermore, a bio-inspired scheme using attractive/repulsive spring actions are used for distributed positioning of the UAVs. 3) The cost-benefit tradeoffs of different levels of cooperation among the UAVs for the distributed charging operations is analyzed. This paper demonstrates that the distributed deployment using only 1-hop messaging achieves approximation of the centrally computed optimum, in terms of coverage and lifetime. [ABSTRACT FROM AUTHOR]

In this paper, visual servoing based on photometric moments is advocated. A direct approach is chosen by which the extraction of geometric primitives, visual tracking and image matching steps of a conventional visual servoing pipeline can be bypassed. A vital challenge in photometric methods is the change in the image resulting from the appearance and disappearance of portions of the scene from the camera field of view during the servo. To tackle this issue, a general model for the photometric moments enhanced with spatial weighting is proposed. The interaction matrix for these spatially weighted photometric moments is derived in an analytical form. The correctness of the modeling, effectiveness of the proposed strategy in handling the exogenous regions, and improved convergence domain are demonstrated with a combination of simulation and the experimental results. [ABSTRACT FROM AUTHOR]

In several multirobot applications in which communication is limited, the mission could require the robots to iteratively take coordinated joint decisions on how to spread out in the environment and on how to reconnect with each other to share data and compute plans. Exploration and surveillance are examples of these applications. In this paper, we consider the problem of computing robots’ paths on a graph-represented environment for restoring connections at minimum traveling cost. We call it the multirobot reconnection problem, we show its NP-hardness and hardness of approximation on some important classes of graphs, and we provide optimal and heuristic algorithms to solve it in practical settings. The techniques we propose are then exploited to derive a new efficient planning algorithm for a relevant connectivity-constrained multirobot planning problem addressed in the literature, the multirobot informative path planning with periodic connectivity problem. [ABSTRACT FROM AUTHOR]

In this paper, we propose and experimentally verify a distributed formation control algorithm for a group of multirotor unmanned aerial vehicles (UAVs). The algorithm brings the whole group of UAVs simultaneously to a prescribed submanifold that determines the formation shape in an asymptotically stable fashion in two- and three-dimensional environments. The complete distributed control framework is implemented with the combination of a fast model predictive control method executed at 50 Hz on low-power computers onboard multirotor UAVs and validated via a series of hardware-in-the-loop simulations and real-robot experiments. The experiments are configured to study the control performance in various formation cases of arbitrary time-varying (e.g., expanding, shrinking, or moving) shapes. In the actual experiments, up to four multirotors have been implemented to form arbitrary triangular, rectangular, and circular shapes drawn by the operator via a human–robot interaction device. We also carry out hardware-in-the-loop simulations using up to six onboard computers to achieve spherical formations and a formation moving through obstacles. [ABSTRACT FROM AUTHOR]

Anytime almost-surely asymptotically optimal planners, such as RRT*, incrementally find paths to every state in the search domain. This is inefficient once an initial solution is found, as then only states that can provide a better solution need to be considered. Exact knowledge of these states requires solving the problem but can be approximated with heuristics. This paper formally defines these sets of states and demonstrates how they can be used to analyze arbitrary planning problems. It uses the well-known $L^2$ norm (i.e., Euclidean distance) to analyze minimum-path-length problems and shows that existing approaches decrease in effectiveness factorially (i.e., faster than exponentially) with state dimension. It presents a method to address this curse of dimensionality by directly sampling the prolate hyperspheroids (i.e., symmetric $n$ -dimensional ellipses) that define the $L^2$ informed set. The importance of this direct informed sampling technique is demonstrated with Informed RRT*. This extension of RRT* has less theoretical dependence on state dimension and problem size than existing techniques and allows for linear convergence on some problems. It is shown experimentally to find better solutions faster than existing techniques on both abstract planning problems and HERB, a two-arm manipulation robot. [ABSTRACT FROM AUTHOR]

Whether robot controllers are manually designed or synthesized from high-level task specifications, assumptions about the environment need to be made, which can involve adversarial events or cooperative robots. In either case, if these assumptions are violated at runtime, the robot will fail to fulfill its task and will likely do something unexpected. In this paper, we focus on controllers synthesized from linear temporal logic. We tackle the problem of making these controllers robust against environment assumption violations that are common in robot execution. Our solution is a three-layer system: first, we propose an offline approach that accounts for transient violations such that the robot can still complete its task after temporary anomalies; the second layer is an online approach that automatically relaxes the environment assumptions to better capture environment behaviors and that allows the robot to react accordingly; and, finally, we automatically modify the actual environment behaviors, when possible, through negotiation with one of the environment robots operating in the workspace, such that our assumptions are met by the other robot and both robots accomplish their tasks. [ABSTRACT FROM AUTHOR]

This paper discusses the nonholonomic robotic systems whose motion constraints assume the Pfaffian form, and the equations of motion are represented by driftless control systems with outputs. By reference to the end point map of such a control system, we define the system's Jacobian and study Jacobian motion-planning algorithms. A new Lagrange-type Jacobian inverse, referred to as the General Lagrangian Jacobian Inverse (GLJI), is designed as the solution of an optimal control problem with a Lagrange-type objective function. Singularities of GLJI are examined. A special choice of the objective function illustrates features of GLJI. A new motion-planning algorithm based on GLJI is proposed. Theoretical arguments are illustrated with a motion-planning problem of a space robot. [ABSTRACT FROM PUBLISHER]

One of the central problems in computer vision is the detection of semantically important objects and the estimation of their pose. Most of the work in object detection has been based on single image processing, and its performance is limited by occlusions and ambiguity in appearance and geometry. This paper proposes an active approach to object detection in which the point of view of a mobile depth camera is controlled. When an initial static detection phase identifies an object of interest, several hypotheses are made about its class and orientation. Then, a sequence of views, which balances the amount of energy used to move the sensor with the chance of identifying the correct hypothesis, is planned. We formulate an active hypothesis testing problem, which includes sensor mobility, and solve it using a point-based approximate partially observable Markov decision process algorithm. The validity of our approach is verified through simulation and real-world experiments with the PR2 robot. The results suggest that the approach outperforms the widely used greedy viewpoint selection and provides a significant improvement over static object detection. [ABSTRACT FROM AUTHOR]