By the same authors

Modelling and verification for swarm robotics

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published copy (DOI)



Publication details

Title of host publicationIntegrated Formal Methods - 14th International Conference, IFM 2018, Proceedings
DatePublished - 1 Jan 2018
Number of pages19
Volume11023 LNCS
Original languageEnglish
ISBN (Print)9783319989372

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11023 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


RoboChart is a graphical domain-specific language, based on UML, but tailored for the modelling and verification of single robot systems. In this paper, we introduce RoboChart facilities for modelling and verifying heterogeneous collections of interacting robots. We propose a new construct that describes the collection itself, and a new communication construct that allows fine-grained control over the communication patterns of the robots. Using these novel constructs, we apply RoboChart to model a simple yet powerful and widely used algorithm to maintain the aggregation of a swarm. Our constructs can be useful also in the context of other diagrammatic languages, including UML, to describe collections of arbitrary interacting entities.

Research outputs

  • RoboTool

    Research output: Non-textual formSoftware

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations