Graphical interface for C-Human

C-Human is a manual method for designing control software of robot swarms. With this method, the human designer is constrained to create control software as finite state machine. Additionally, the designer is constrained to use preexisting parametric modules that represents atomic behaviors. In other words, with C-Human a human designer is implementing control software by manipulating modules rather than writing C++ source code.

The goal of this project is to provide C-Human an intuitive graphical interface that allows designers to manipulate and parametrize these modules efficiently.

Requirements: Good knowledge of C++ and QT libraries

Working language: English

Contact: Antoine Ligot, and Mauro Birattari

Robot swarm state analysis tool

AutoMoDe is a modular approach to the automatic design of control software for robot swarms recently developed at IRIDIA. AutoMoDe produces control software by combining preexisting parametric modules that represent atomic behaviors. The resulting control software is a finite state machine in which each node is an atomic behavior.

All robots composing the swarm are controlled by a unique finite state machine, but due to contingencies robots are likely to be in different atomic behaviors at a given time. The goal of this project is to keep track of the successive nodes of the finite state machine visited by each robot.

The student will have to provide an intuitive graphical tool to display the states of each robot within the swarm in the form of time lines.

Requirements: Good knowledge of C++ and QT libraries

Working language: English

Contact: Antoine Ligot, and Mauro Birattari