Adaptation dynamique de systèmes à composants hiérarchiques – ADAPT

Les systèmes cyber-physiques dits intelligents fonctionnent dans des environnements incertains et s'adaptent constamment aux conditions internes ou externes changeantes. Dans le contexte spécifique de la matière programmable, les systèmes sont composés d'une multitude de petits robots modulaires similaires, tels que les Blinky Blocks en cours de développement, qui s'organisent et collaborent pour atteindre un objectif global commun.

Nous visons un formalisme pour soutenir le développement correct par construction de tels systèmes à travers 1) la modélisation hiérarchique pour gérer la complexité organique et 2) l'intégration naturelle du contrôle adaptatif pour guider la reconfiguration et optimiser leur fonctionnement en fonction des conditions d'exécution cyber- (par exemple, configurations système, interactions) et physiques (par exemple, consommation d'énergie, bruit environnemental). Nos modèles hiérarchiques à dynamique mixte - en temps discret et continu - seront utilisés pour concevoir des mécanismes de contrôle et les valider, avant leur déploiement sur des robots modulaires existants, grâce à la simulation dans DR-BIP et VisibleSim.