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.

Text Probabilistic_Model_Checking_of_Ant_Based_Positionless_Swarming.pdf - Author Accepted Manuscript Download (363kB)

Abstract

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:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3030815

Available Versions of this Item

• Probabilistic Model Checking of Ant-Based Positionless Swarming. (deposited 28 Apr 2016 10:04)
  • Probabilistic Model Checking of Ant-Based Positionless Swarming. (deposited 25 Jan 2019 09:58) [Currently Displayed]