Probabilistic Model Checking of Ant-Based Positionless Swarming

Gainer, P, Dixon, C ORCID: 0000-0002-4610-9533 and Hustadt, U ORCID: 0000-0002-0455-0267
(2016) Probabilistic Model Checking of Ant-Based Positionless Swarming. In: Towards Autonomous Robotic Systems, 2016-6-28 - 2016-6-30, Sheffield.

This is the latest version of this item.

[img] Text
Probabilistic_Model_Checking_of_Ant_Based_Positionless_Swarming.pdf - Author Accepted Manuscript

Download (363kB)


Robot swarms are collections of simple robots cooperating without centralized control. Control algorithms for swarms are often inspired by decentralised problem-solving systems found in nature. In this paper we conduct a formal analysis of an algorithm inspired by the foraging behaviour of ants, where a swarm of flying vehicles searches for a target at some unknown location. We show how both exhaustive model checking and statistical model checking can be used to check properties that complement the results obtained through simulation, resulting in information that would facilitate the logistics of swarm deployment.

Item Type: Conference or Workshop Item (Unspecified)
Depositing User: Symplectic Admin
Date Deposited: 25 Jan 2019 09:58
Last Modified: 19 Jan 2023 01:08
DOI: 10.1007/978-3-319-40379-3_13
Related URLs:

Available Versions of this Item