LSHS - Large Scale Hybrid Systems

Les principaux défis incluent le développement de méthodes, outils et algorithmes pour la conception de systèmes centralisés, distribués à grande échelle et embarqués avec capteurs et actionneurs, garantissant des systèmes réactifs, sécurisés et fiables.

Nos recherches porteront sur :

1. les systèmes distribués, hybrides et embarqués,
2. le Cloud et l'Internet des objets.

Les principaux sujets étudiés incluront :

• Techniques d'analyse formelle, validation et certification,
• Modélisation et simulation des systèmes cyber-physiques,
• Conception de capteurs et actionneurs intelligents,
• Contrôle et optimisation en temps réel,
• Tolérance aux pannes et optimisation,
• Recherche innovante dans l'IoT,
• Gestion de données à grande échelle,
• Fiabilité et sécurité matérielle, avec des conceptions robustes pour prévenir les vulnérabilités et protéger contre les menaces.