2010 | OriginalPaper | Buchkapitel
Formal Verification of Probabilistic Swarm Behaviours
verfasst von : Savas Konur, Clare Dixon, Michael Fisher
Erschienen in: Swarm Intelligence
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, designing individual robot algorithms so as to ensure effective and correct swarm behaviour is very difficult. In order to assess swarm effectiveness, either experiments with real robots or computational simulations of the swarm are usually carried out. However, neither of these involve a deep analysis of
all
possible behaviours. In this paper we will utilise automated
formal verification
techniques, involving an exhaustive mathematical analysis, in order to assess whether our swarms will indeed behave as required.