On Formal Specification of Emergent Behaviours in Swarm Robotic Systems
Open Access
- 1 December 2005
- journal article
- Published by SAGE Publications in International Journal of Advanced Robotic Systems
- Vol. 2 (4), 39
- https://doi.org/10.5772/5769
Abstract
It is a characteristic of swarm robotics that specifying overall emergent swarm behaviours in terms of the low-level behaviours of individual robots is very difficult. Yet if swarm robotics is to make the transition from the laboratory to real-world engineering realisation we need such specifications. This paper explores the use of temporal logic to formally specify, and possibly also prove, the emergent behaviours of a robotic swarm. The paper makes use of a simplified wireless connected swarm as a case study with which to illustrate the approach. Such a formal approach could be an important step toward a disciplined design methodology for swarm robotics.Keywords
This publication has 13 references indexed in Scilit:
- Mechanising first-order temporal resolutionInformation and Computation, 2005
- Temporal Development Methods for Agent-BasedAutonomous Agents and Multi-Agent Systems, 2005
- A Review of Probabilistic Macroscopic Models for Swarm Robotic SystemsLecture Notes in Computer Science, 2005
- Modeling Swarm Robotic Systems: a Case Study in Collaborative Distributed ManipulationThe International Journal of Robotics Research, 2004
- TeMP: A Temporal Monodic ProverLecture Notes in Computer Science, 2004
- Clausal temporal resolutionACM Transactions on Computational Logic, 2001
- Decidable fragments of first-order temporal logicsAnnals of Pure and Applied Logic, 2000
- Swarm IntelligencePublished by Oxford University Press (OUP) ,1999
- The Temporal Logic of Reactive and Concurrent SystemsPublished by Springer Science and Business Media LLC ,1992
- Temporal and Modal LogicPublished by Elsevier BV ,1990