MOFED

Pour de plus amples renseignements : http://www.lsis.org/mofed

Modèles et Formalismes à Evénements Discrets

Mots clés

modèles à événements discrets, modèles dynamiques hybrides, réseaux de Petri, DEVS, systèmes en réseaux, modélisation, simulation, vérification, analyse formelle, optimisation

Responsable

Isabel DEMONGODIN

Membres permanents

BRENNER LeonardoMaitre de Conférences
Courriel : leonardo.brenner@lis-lab.fr
Telephone : 0491056012
Page personnelle : https://pageperso.lis-lab.fr/leonardo.brenner/
DEMONGODIN IsabelProfesseur des Universités
Courriel : isabel.demongodin@lis-lab.fr
Telephone : 0491056077
FRYDMAN ClaudiaProfesseur des Universités
Courriel : claudia.frydman@lis-lab.fr
Telephone : 0491056054
GIUA AlessandroProfesseur des Universités
Courriel : alessandro.giua@lis-lab.fr
Telephone : 491056008
Page personnelle : https://pageperso.lis-lab.fr/alessandro.giua/
HAMRI MaamarMaitre de Conférences
Courriel : maamar-el-amine.hamri@lis-lab.fr
Telephone : 0491056060
RABAH AmmourMaitre de Conférences
Courriel : rabah.ammour@lis-lab.fr

Doctorants

BERGIER Jean-YvesDoctorant
Courriel : jean-yves.bergier@lis-lab.fr
KHEMIRI AbdelhakDoctorant
Courriel : abdelhak.khemiri@lis-lab.fr
LIU RuotianDoctorant
Courriel : ruotian.liu@lis-lab.fr
WU ChangshunDoctorant
Courriel : changshun.wu@lis-lab.fr
YANG LanDoctorant
Courriel : lan.yang@lis-lab.fr
YANG WenjingDoctorant
Courriel : wenjing.yang@lis-lab.fr

Autres membres

YACOUB AznamATER Docteur
Courriel : aznam.yacoub@lis-lab.fr

Objectif Scientifique

Les travaux de recherche du projet MoFED portent sur le développement de méthodologies de modélisation, d’analyse et de commande de systèmes à dynamiques événementielles. Les DEVS (Discrete Event Specifications), les réseaux de Petri, les automates et les modèles de systèmes en réseaux constituent les paradigmes privilégiés d’étude.
 
Nous retrouvons dans différents domaines, les mêmes classes de modèles avec des techniques d’analyse plus ou moins différentes, que ce soit dans le domaine de l’informatique, plus précisément dans la spécification et la vérification des systèmes réactifs ou temps-réel, ou dans le domaine de l’automatique et de la productique pour l’étude des systèmes de commande ou l’évaluation de performances. Toute étape de conception ou d’exploitation d’un système dynamique (système informatique ou système automatisé) doit comporter les différentes étapes de spécification, validation et implantation, et doit aussi gérer les contraintes liées à la répartition (partage de ressources) et à la synchronisation (communication). Bien que le choix du ou des modèles dépende du système conçu et de ses propriétés à analyser, il est souvent nécessaire de combiner les modèles et les outils d’analyse afin de déterminer les propriétés tant sur le plan comportemental que structurel.
 
Dans ce contexte pluridisciplinaire, les méthodes de résolution de problèmes développées dans ce projet sont de nature différente, incluant celles basées sur la simulation et sur les approches analytiques (optimisation, analyse formelle, analyse numérique).
 
Plus particulièrement, les thèmes développés dans ce projet de recherche concernent :
  • les apports théoriques dans les formalismes à événements discrets (extensions, passerelles, etc.),
  • l’acquisition, la représentation des connaissances et des raisonnements pour la construction de modèles,
  • les architectures conceptuelles de modélisation et de simulation,
  • l’intégration de méthodes de vérification formelle avec celles de simulation,
  • l’analyse et l’optimisation de modèles événementiels de systèmes en réseaux.
Tutelles