Bachelor and Master Theses

Title: Formal assessment of the response time of a task allocation algorithm for multirobot systems
Subject: Computer Science
Level: Advanced
Description: Keywords: multirobot systems, task allocation (auctions), model checking
(Uppaal), hybrid systems

The SRV research group has developed a novel algorithm for task
allocation in multirobot systems. This algorithm is based on the idea of
auction, i.e. a negotiation process in which a task is divided into
subtasks and these subtasks are assigned among the involved agents. This
process must lead to the creation of groups (coalitions) such that the
task is completed before a specific deadline.
(More information in: )

Thesis' main goals:
The algorithm developed by the SRV has been evaluated only by
simulation. We are currently undertaking the formal verification by
means of model checking (Uppaal). The student is expected to build the
whole model of the system, verify the relevant properties and suggest
improvements when required. This work is an excellent opportunity for
learning about formal verification of hybrid systems in a realistic case.
Company: University of the Balearic Island, Mallorca, Spain, kontaktperson: Dr. José Guerrero & Dr. Guillermo Rodríguez-Navas
Start date: 2012-02-01
IDT supervisor: Damir Isovic, +46-21-103173
Misc: The thesis will be performed as exchange studies at University of the Balearic Island, Mallorca, Spain.

Rapport och bilagor


Senaste uppdatering

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2018.05.24