Master2 – Simon Bliudze

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.

Symbolic verification of real-time design patterns

07/01/2021sbliudze

This proposal focuses on the extension of the theory of BIP design patterns (called “architectures”) to the real-time domain.

Introducing compound components in JavaBIP

07/01/2021sbliudze

The goal of the project is to introduce compound components in JavaBIP. Indeed, in the original BIP framework, components can be assembled hierarchically to simplify re-use. This feature is missing in JavaBIP.

Composability & verification of BIP design patterns

31/10/201912/11/2020sbliudze

This proposal focuses on the implementation and extension of the results presented in a recent paper on the verification of BIP design patterns with data.