CASE

Contexte

Ce projet regroupait des membres d'Inria, du LIG, du Gipsa-lab et du CEA LETI/DACLE et concernait le thème général des techniques de contrôle pour les environnements intelligents autonomes, avec un accent particulier sur la mise en relation des modèles de contrôle discrets et stochastiques avec les plateformes middleware appliquées aux environnements intelligents. Il nous a permis d'engager deux étudiants de Master pour 2016.

Résultats scientifiques obtenus

Une approche orientée service pour le contrôle des applications domestiques intelligentes avec une programmation réactive

Ce travail a constitué le stage M2R d'Armando Ochoa, et a été réalisé en coopération avec l'équipe Adele du LIG, co-encadrée par E. Rutten et V. Lestideau. Le besoin d'adaptabilité dans le domaine de l'informatique omniprésente (ou informatique diffuse) est de plus en plus important, notamment en raison du nombre et de la variété croissants des dispositifs de communication. Dans les applications autonomes, cependant, l'architecture de contrôle devient souvent elle-même un système complexe qui doit être adapté. Les applications autonomes sont souvent composées de multiples boucles de contrôle - chacune traitant d'un aspect spécifique - dont l'exécution doit être coordonnée pour une administration efficace et correcte. Nous proposons donc d'étudier l'utilisation de modèles de contrôle réactifs avec des événements et des états pour coordonner les boucles autonomes dans les architectures orientées services. Dans ce travail, nous illustrons notre approche en intégrant un contrôleur basé sur la synthèse de contrôleurs discrets dans un environnement pervasif autonome. Le rôle du contrôleur est d'influencer les critères de liaison aux services de plusieurs boucles de contrôle, tout en respectant des contraintes logiques. En particulier, nous considérons des opérations de reconfiguration d'ensembles de services connus et dynamiques.

Reconfiguration optimale multi-objectifs d'une plateforme de maison intelligente

Ce travail a constitué le stage M2R de Ronak Feizimirkhani, co-encadré par S. Mocanu et V. Lestideau. Le contexte est le développement d'une application pour une maison intelligente dans laquelle les dispositifs d'automatisation sont connectés via un protocole de communication sans fil, Z-Wave, et contrôlés par un contrôleur central, USB plug in. Il s'agit de méthodes et d'outils pour concevoir des contrôleurs à sécurité intégrée pour des systèmes informatiques autonomes, adaptatifs et reconfigurables en combinant les techniques de l'informatique et de la théorie du contrôle. À cette fin, il est nécessaire d'accéder aux informations requises sur le réseau, de dériver un modèle simplifié du réseau physique, puis de le relier à l'application de l'interface utilisateur. En fonction des informations obtenues, il sera possible d'estimer les diagnostics du réseau et de trouver des solutions probables. L'application finale se présente sous la forme d'un support utilisateur permettant d'installer, d'entretenir ou même d'optimiser le réseau et les appareils.

Publications

1. Armando Ochoa. A service-oriented approach to smart home applications control with reactive programming. Mémoire de Master, UGA, Grenoble, France, 2016.
2. Ronak Feizimirkhani. Multi Objective Optimal Reconfiguration of a Smart Home Platform. Mémoire de Master, UGA, Grenoble, France, 2016.