Axes de recherche
Modèles discrets pour les systèmes complexes
Le pôle MDSC (Modèles Discrets pour les Systèmes Complexes) du laboratoire i3S mène des recherches aussi bien fondamentales qu’appliquées sur les systèmes discrets complexes. Ses membres sont spécialisés en programmation par contraintes pour traiter les systèmes statiques (i.e. problèmes combinatoires) et théorie des automates pour traiter les systèmes dynamiques discrets. Ses résultats trouvent leur application dans des domaines très variés comme la bio-informatique, le transport, la génération de texte sous contraintes, les systèmes communicant ou encore la sécurité informatique.
MDSC structure ses activités autour de deux équipes principales :
L'équipe C&A est titulaire de la chaire « Decision Intelligence » de l'institut 3IA Côte d'Azur détenue par le professeur Jean-Charles Régin.