848 research outputs found
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
A Model for Collective Dynamics in Ant Raids
Ant raiding, the process of identifying and returning food to the nest or
bivouac, is a fascinating example of collective motion in nature. During such
raids ants lay pheromones to form trails for others to find a food source. In
this work a coupled PDE/ODE model is introduced to study ant dynamics and
pheromone concentration. The key idea is the introduction of two forms of ant
dynamics: foraging and returning, each governed by different environmental and
social cues. The model accounts for all aspects of the raiding cycle including
local collisional interactions, the laying of pheromone along a trail, and the
transition from one class of ants to another. Through analysis of an order
parameter measuring the orientational order in the system, the model shows
self-organization into a collective state consisting of lanes of ants moving in
opposite directions as well as the transition back to the individual state once
the food source is depleted matching prior experimental results. This indicates
that in the absence of direct communication ants naturally form an efficient
method for transporting food to the nest/bivouac. The model exhibits a
continuous kinetic phase transition in the order parameter as a function of
certain system parameters. The associated critical exponents are found,
shedding light on the behavior of the system near the transition.Comment: Preprint Version, 30 pgs., 18 figures, complete version with
supplementary movies to appear in Journal of Mathematical Biology (Springer
A particle model reproducing the effect of a conflicting flight information on the honeybee swarm guidance
The honeybee swarming process is steered by few scout individuals, which are the unique informed on the location of the target destination. Theoretical and experimental results suggest that bee coordinated flight arises from visual signals. However, how the information is passed within the population is still debated. Moreover, it has been observed that honeybees are highly sensitive to conflicting directional information. In fact, swarms exposed to fast-moving bees headed in the wrong direction show clear signs of disrupted guidance. In this respect, we here present a discrete mathematical model to investigate different hypotheses on the behaviour both of informed and uninformed bees. In this perspective, numerical realizations, specifically designed to mimic selected experiments, reveal that only one combination of the considered assumptions is able to reproduce the empirical outcomes, resulting thereby the most reliable mechanism underlying the swarm dynamics according
to the proposed approach. Specifically, this study suggests that (i) leaders indicate the right flight direction by repeatedly streaking at high speed pointing towards the target and then slowly coming back to the trailing edge of the bee cloud; and (ii) uninformed bees, in turn, gather the route information by adapting their movement to all the bees sufficiently close to their position
Evolution of swarming behavior is shaped by how predators attack
Animal grouping behaviors have been widely studied due to their implications
for understanding social intelligence, collective cognition, and potential
applications in engineering, artificial intelligence, and robotics. An
important biological aspect of these studies is discerning which selection
pressures favor the evolution of grouping behavior. In the past decade,
researchers have begun using evolutionary computation to study the evolutionary
effects of these selection pressures in predator-prey models. The selfish herd
hypothesis states that concentrated groups arise because prey selfishly attempt
to place their conspecifics between themselves and the predator, thus causing
an endless cycle of movement toward the center of the group. Using an
evolutionary model of a predator-prey system, we show that how predators attack
is critical to the evolution of the selfish herd. Following this discovery, we
show that density-dependent predation provides an abstraction of Hamilton's
original formulation of ``domains of danger.'' Finally, we verify that
density-dependent predation provides a sufficient selective advantage for prey
to evolve the selfish herd in response to predation by coevolving predators.
Thus, our work corroborates Hamilton's selfish herd hypothesis in a digital
evolutionary model, refines the assumptions of the selfish herd hypothesis, and
generalizes the domain of danger concept to density-dependent predation.Comment: 25 pages, 11 figures, 5 tables, including 2 Supplementary Figures.
Version to appear in "Artificial Life
Recommended from our members
Behavioural models of penguins and krill in the Southern Ocean
The thesis applies state of the art ecological modelling methods to predict optimal behavioural patterns in two key Southern Ocean species, macaroni penguins, Eudyptes chrysolophus, and Antarctic krill, Euphausia superba. The work is divided into three main parts. The first considers how female macaroni penguins allocate their time between searching, foraging and feeding their chick during the guard stage. The model is forced by the availability of their main prey, Antarctic krill, and the increasing demands of the chick. The second part focuses on the behaviour of Antarctic krill at South Georgia, a hotspot in the Southern Ocean. This model predicts the most likely distribution of krill between 3 main environments that relate to bathymetry, resulting from an individual's choice of depth, density of swarm and swimming behaviour, which has some influence on their advection. The model is forced by the availability of phytoplankton and by the prevailing advection regime. The third part takes a similar approach, determining the optimal behaviour of krill as they are transported from the Antarctic Peninsula to South Georgia, except in this model, krill do not have any influence on their horizontal location. The first main finding of the thesis is that macaroni penguins will travel further to obtain a more reliable meal of krill, even if the krill reward does not change with distance from nest. A second important finding is that krill are able to increase their overall concentration in favourable areas simply by altering their swimming speed and tum rate. The third major finding describes the likely existence of a threshold availability of krill to penguins, below which the chick dies and above which there is no change to chick growth. The thesis discusses the suitability of the modelling technique and proposes future fieldwork for better model parameterisation and validation. The models provide a framework for predicting the responses of these organisms to future changes in their environment
Swarm robot social potential fields with internal agent dynamics
Swarm robotics is a new and promising approach to the design and control of multiagent robotic systems. In this paper we use a model for a second order non-linear system of self-propelled agents interacting via pair-wise attractive and repulsive potentials. We propose a new potential field method using dynamic agent internal states to successfully solve a reactive path-planning problem. The path planning problem cannot be solved using static potential fields due to local minima formation, but can be solved by allowing the agent internal states to manipulate the potential field. Simulation results demonstrate the ability of a single agent to perform reactive problem solving effectively, as well as the ability of a swarm of agents to perform problem solving using the collective behaviour of the entire swarm
State Transitions and the Continuum Limit for a 2D Interacting, Self-Propelled Particle System
We study a class of swarming problems wherein particles evolve dynamically
via pairwise interaction potentials and a velocity selection mechanism. We find
that the swarming system undergoes various changes of state as a function of
the self-propulsion and interaction potential parameters. In this paper, we
utilize a procedure which, in a definitive way, connects a class of
individual-based models to their continuum formulations and determine criteria
for the validity of the latter. H-stability of the interaction potential plays
a fundamental role in determining both the validity of the continuum
approximation and the nature of the aggregation state transitions. We perform a
linear stability analysis of the continuum model and compare the results to the
simulations of the individual-based one
Refining self-propelled particle models for collective behaviour
Swarming, schooling, flocking and herding are all names given to the wide variety of collective behaviours exhibited by groups of animals, bacteria and even individual cells. More generally, the term swarming describes the behaviour of an aggregate of agents (not necessarily biological) of similar size and shape which exhibit some emergent property such as directed migration or group cohesion. In this paper we review various individual-based models of collective behaviour and discuss their merits and drawbacks. We further analyse some one-dimensional models in the context of locust swarming. In specific models, in both one and two dimensions, we demonstrate how varying the parameters relating to how much attention individuals pay to their neighbours can dramatically change the behaviour of the group. We also introduce leader individuals to these models with the ability to guide the swarm to a greater or lesser degree as we vary the parameters of the model. We consider evolutionary scenarios for models with leaders in which individuals are allowed to evolve the degree of influence neighbouring individuals have on their subsequent motion
- âŠ