Présentation

L'équipe RDI se focalise principalement sur la thématique des systèmes complexes avec deux axes forts. Le premier axe vise à la fouille de données et à l'optimisation dans ces systèmes. L'optimisation est en effet pour la plupart du temps liée à la traçabilité et à l'analyse des données, en particulier les données liées aux profils d'utilisation. Le deuxième axe concerne l'étude de langages, de modèles, et de méthodes formelles pour la simulation et la validation des systèmes complexes, en particulier les systèmes biologiques et les systèmes embarqués autonomes sous contraintes fortes.

Les champs d'applications privilégiés des recherches du RDI sont le M2M (« Machine to Machine »), les plateformes collaboratives large échelle (intégrant des systèmes de recommandation, moteurs de recherche, modèles prédictifs, etc.), et enfin les robots et passerelles embarquées pour l'utilisation dans les secteurs de l'agriculture et de l'énergie.

Axes de recherche

Axe 1 : fouille de données statistique et optimisation dans les systèmes large échelle.

Problématiques traitées :

L'apprentissage statistique
La traçabilité des données et de l'utilisation des données
La personnalisation de l'information
Le profilage et l'adaptation au contexte
Les modèles de prévision
L'optimisation des coûts et des ressources

Participants :

Yousra Chabchoub
Raja Chiky
Zakia Kazi-Aoul

Axe 2 : langages, modèles, et méthodes formelles pour les systèmes complexes.

Problématiques traitées :

Méthodes formelles pour la validation de systèmes complexes
Modélisation de systèmes complexes à des fins de simulation
Systèmes de preuves formelles
Langages de programmation / spécification

Participants :

Olivier Hermant,
Matthieu Manceny

Domaines d'application

Les applications et mises en pratique pour l'axe 1 tournent principalement autour des systèmes « Machine to Machine » (M2M), des systèmes de recommandation, et des moteurs de recherche avancés pour les plateformes de services (e-Business). Pour l'axe 2, les domaines d'applications sont les systèmes embarqués sous contraintes fortes (passerelles M2M, robots) et la bioinformatique (modélisation de l'expression des gènes).