robots – Simon Bliudze

Aggregate measures for control and coordination of IoT systems

02/09/202203/09/2022sbliudze

The main goal of this project is to propose specification mechanisms for the coordination and control based on aggregate measures, such as the percentage of entities in a given state, e.g. if less than 75% of system blocks have enough charge to emit light for 5 minutes, then 20% of these blocks shall switch off their speakers (thus allowing these blocks to continue emitting light for a longer period).

Self-adaptive modular robots: formal modeling for validation and coordination

14/03/202231/03/2022sbliudze

The main objective of this project is to contribute to the implementation of modular robots by developing a formal framework to model, validate and coordinate their dynamic behaviours. The scientific challenges consist in particular in the ability to model the dynamic evolution of this type of complex systems—their adaptation and reconfiguration—by taking into account constraints on resources as well as events occurring in their execution environment.

This project is submitted for joint funding with the French Agency for Defence Innovation (AID). Therefore, we are currently looking only for candidates holding EU, United Kingdom or Swiss citizenship.

Generation of Random Shapes for Modular Robots

22/12/2021sbliudze

The main goal of this project is to develop a generator of random shapes for modular robots and integrate it into an existing modelling framework.

Robots Modulaires Adaptatifs : Vers une gestion dynamique de l’énergie

21/12/2021sbliudze

L’objectif de ce projet est de développer un mini-simulateur pour le contrôle hiérarchique de systèmes composés de robots modulaires afin d’évaluer différentes algorithmes et politiques de contrôle.