MOFED : Modèles et Formalismes à Evénements Discrets

Keys Words

Discrete event models, verification, validation, specification, design, synthesis, knowledge engineering

 

Head

Isabel DEMONGODIN

 

Permanent Members

AMMOUR RabahMaitre de Conférences
Courriel : rabah.ammour@lis-lab.fr
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
HAMRI MaamarMaitre de Conférences
Courriel : maamar-el-amine.hamri@lis-lab.fr
Telephone : 0491056060

 

Phd Studients

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

 

Other staff members

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

 

Research interests

The research project Discrete Event Models and Formalims (DEMoF) aims to develop methodologies for design, verification and validation of dynamic systems. In various areas, the same classes of models with analytical techniques more or less different can be found – in the field of software engineering, especially in the specification and verification of timed systems, or in the field of automation and production engineering in the study of control systems and performance evaluation. Indeed, the design of dynamic systems (computer or automated systems) must include the various stages of specification, validation and implementation, and has also to manage distribution (sharing resources) and synchronization (communication) constraints. While making models depends on the considered system and on the problems to be solved, the design or the analysis of complex systems requires combining different formalisms and methods. In this interdisciplinary context, the themes developed in this project include:

  • theoretical contributions in formalisms of discrete event systems
  • discovering and structuring knowledge for building discrete event models, and
  • validation and verification of models.

 

Research Activity

Among the mathematical formalisms included in system theory, dynamic models of Discrete EVent Specification (DEVS), Petri Nets (PN) and automata are discrete event paradigms studied in this project. The research activities include:

  • Capital contributions and theoretical extensions of these formalisms: time, continuous or fluid extension, while maintaining an event study methodology,
  • Establishment of links between various DES formalisms and/or analytical methods associated with them,
  • Formal verification of DEVS formalisms, and
  • Synthesis of DEVS models and Petri net models.

 

Scientific publications



documents