1,655 research outputs found
Distributed allocation of mobile sensing swarms in gyre flows
We address the synthesis of distributed control policies to enable a swarm of
homogeneous mobile sensors to maintain a desired spatial distribution in a
geophysical flow environment, or workspace. In this article, we assume the
mobile sensors (or robots) have a "map" of the environment denoting the
locations of the Lagrangian coherent structures or LCS boundaries. Based on
this information, we design agent-level hybrid control policies that leverage
the surrounding fluid dynamics and inherent environmental noise to enable the
team to maintain a desired distribution in the workspace. We establish the
stability properties of the ensemble dynamics of the distributed control
policies. Since realistic quasi-geostrophic ocean models predict double-gyre
flow solutions, we use a wind-driven multi-gyre flow model to verify the
feasibility of the proposed distributed control strategy and compare the
proposed control strategy with a baseline deterministic allocation strategy.
Lastly, we validate the control strategy using actual flow data obtained by our
coherent structure experimental testbed.Comment: 10 pages, 14 Figures, added reference
Decentralized Connectivity-Preserving Deployment of Large-Scale Robot Swarms
We present a decentralized and scalable approach for deployment of a robot
swarm. Our approach tackles scenarios in which the swarm must reach multiple
spatially distributed targets, and enforce the constraint that the robot
network cannot be split. The basic idea behind our work is to construct a
logical tree topology over the physical network formed by the robots. The
logical tree acts as a backbone used by robots to enforce connectivity
constraints. We study and compare two algorithms to form the logical tree:
outwards and inwards. These algorithms differ in the order in which the robots
join the tree: the outwards algorithm starts at the tree root and grows towards
the targets, while the inwards algorithm proceeds in the opposite manner. Both
algorithms perform periodic reconfiguration, to prevent suboptimal topologies
from halting the growth of the tree. Our contributions are (i) The formulation
of the two algorithms; (ii) A comparison of the algorithms in extensive
physics-based simulations; (iii) A validation of our findings through
real-robot experiments.Comment: 8 pages, 8 figures, submitted to IROS 201
A practical multirobot localization system
We present a fast and precise vision-based software intended for multiple robot localization. The core component of the software is a novel and efficient algorithm for black and white pattern detection. The method is robust to variable lighting conditions, achieves sub-pixel precision and its computational complexity is independent of the processed image size. With off-the-shelf computational equipment and low-cost cameras, the core algorithm is able to process hundreds of images per second while tracking hundreds of objects with a millimeter precision. In addition, we present the method's mathematical model, which allows to estimate the expected localization precision, area of coverage, and processing speed from the camera's intrinsic parameters and hardware's processing capacity. The correctness of the presented model and performance of the algorithm in real-world conditions is verified in several experiments. Apart from the method description, we also make its source code public at \emph{http://purl.org/robotics/whycon}; so, it can be used as an enabling technology for various mobile robotic problems
Quantifying Robotic Swarm Coverage
In the field of swarm robotics, the design and implementation of spatial
density control laws has received much attention, with less emphasis being
placed on performance evaluation. This work fills that gap by introducing an
error metric that provides a quantitative measure of coverage for use with any
control scheme. The proposed error metric is continuously sensitive to changes
in the swarm distribution, unlike commonly used discretization methods. We
analyze the theoretical and computational properties of the error metric and
propose two benchmarks to which error metric values can be compared. The first
uses the realizable extrema of the error metric to compute the relative error
of an observed swarm distribution. We also show that the error metric extrema
can be used to help choose the swarm size and effective radius of each robot
required to achieve a desired level of coverage. The second benchmark compares
the observed distribution of error metric values to the probability density
function of the error metric when robot positions are randomly sampled from the
target distribution. We demonstrate the utility of this benchmark in assessing
the performance of stochastic control algorithms. We prove that the error
metric obeys a central limit theorem, develop a streamlined method for
performing computations, and place the standard statistical tests used here on
a firm theoretical footing. We provide rigorous theoretical development,
computational methodologies, numerical examples, and MATLAB code for both
benchmarks.Comment: To appear in Springer series Lecture Notes in Electrical Engineering
(LNEE). This book contribution is an extension of our ICINCO 2018 conference
paper arXiv:1806.02488. 27 pages, 8 figures, 2 table
Towards formal models and languages for verifiable Multi-Robot Systems
Incorrect operations of a Multi-Robot System (MRS) may not only lead to
unsatisfactory results, but can also cause economic losses and threats to
safety. These threats may not always be apparent, since they may arise as
unforeseen consequences of the interactions between elements of the system.
This call for tools and techniques that can help in providing guarantees about
MRSs behaviour. We think that, whenever possible, these guarantees should be
backed up by formal proofs to complement traditional approaches based on
testing and simulation.
We believe that tailored linguistic support to specify MRSs is a major step
towards this goal. In particular, reducing the gap between typical features of
an MRS and the level of abstraction of the linguistic primitives would simplify
both the specification of these systems and the verification of their
properties. In this work, we review different agent-oriented languages and
their features; we then consider a selection of case studies of interest and
implement them useing the surveyed languages. We also evaluate and compare
effectiveness of the proposed solution, considering, in particular, easiness of
expressing non-trivial behaviour.Comment: Changed formattin
Quantitative Assessment of Robotic Swarm Coverage
This paper studies a generally applicable, sensitive, and intuitive error
metric for the assessment of robotic swarm density controller performance.
Inspired by vortex blob numerical methods, it overcomes the shortcomings of a
common strategy based on discretization, and unifies other continuous notions
of coverage. We present two benchmarks against which to compare the error
metric value of a given swarm configuration: non-trivial bounds on the error
metric, and the probability density function of the error metric when robot
positions are sampled at random from the target swarm distribution. We give
rigorous results that this probability density function of the error metric
obeys a central limit theorem, allowing for more efficient numerical
approximation. For both of these benchmarks, we present supporting theory,
computation methodology, examples, and MATLAB implementation code.Comment: Proceedings of the 15th International Conference on Informatics in
Control, Automation and Robotics (ICINCO), Porto, Portugal, 29--31 July 2018.
11 pages, 4 figure
- …