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

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

 

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.

 

Publications récentes de l’équipe



28 documents

Article dans une revue

  • Rabah Ammour, Edouard Leclercq, Eric Sanlaville, Dimitri Lefebvre. Datation of faults for Markovian Stochastic DESs. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2018. ⟨hal-01983398⟩
  • M Hamri, A Naamane, C Frydman, N Driouche. Why we should use Min Max DEVS for modeling and simulation of digital circuits. SIMULATION, SAGE Publications, 2018, ⟨10.1177/0037549718785442⟩. ⟨hal-01881312⟩
  • Mauro Franceschelli, Alessandro Giua, Carla Seatzu. Gossip based asynchronous and randomized distributed task assignment with guaranteed performance on heterogeneous networks. Nonlinear Analysis: Hybrid Systems, Elsevier, 2017, 26, pp.292 - 306. ⟨10.1016/j.nahs.2017.06.008⟩. ⟨hal-01786002⟩
  • Alessandro Giua, Cristian Mahulea, Carla Seatzu. Decentralized observability of discrete event systems with synchronizations. Automatica, Elsevier, 2017, 85, pp.468 - 476. ⟨10.1016/j.automatica.2017.08.009⟩. ⟨hal-01786089⟩
  • Zhou He, Zhiwu Li, Alessandro Giua. Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation. IEEE Transactions on Control Systems Technology, Institute of Electrical and Electronics Engineers, 2017, 25 (4), pp.1318 - 1330. ⟨10.1109/TCST.2016.2613967⟩. ⟨hal-01786004⟩
  • Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. Verification of State-Based Opacity Using Petri Nets. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (6), pp.2823 - 2837. ⟨10.1109/TAC.2016.2620429⟩. ⟨hal-01786028⟩
  • Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. Decidability of opacity verification problems in labeled Petri net systems. Automatica, Elsevier, 2017, 80, pp.48 - 53. ⟨10.1016/j.automatica.2017.01.013⟩. ⟨hal-01785998⟩
  • Zhou He, Zhiwu Li, Alessandro Giua. Optimization of Deterministic Timed Weighted Marked Graphs. IEEE Transactions on Automation Science and Engineering, Institute of Electrical and Electronics Engineers, 2017, 14 (2), pp.1084 - 1095. ⟨10.1109/TASE.2015.2490538⟩. ⟨hal-01785971⟩
  • Mauro Franceschelli, Alessandro Giua, Alessandro Pisano. Finite-Time Consensus on the Median Value With Robustness Properties. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (4), pp.1652 - 1667. ⟨10.1109/TAC.2016.2590602⟩. ⟨hal-01786016⟩
  • Ziyue Ma, Zhiwu Li, Alessandro Giua. Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (3), pp.1329 - 1341. ⟨10.1109/TAC.2016.2585647⟩. ⟨hal-01786018⟩
  • Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua. Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Transactions on Automatic Control, Institute of Electrical and Electronics Engineers, 2017, 62 (3), pp.1078 - 1093. ⟨10.1109/TAC.2016.2574120⟩. ⟨hal-01786021⟩
  • Aznam Yacoub, Maamar El Amine Hamri, Claudia Frydman, Chungman Seo, Bernard Zeigler. DEv-PROMELA : An Extension of PROMELA for the Modeling, Simulation and Verification of Discrete-Event System. International Journal of Simulation and Process Modelling, 2017, 12 (3/4), ⟨10.1504/IJSPM.2017.085564⟩. ⟨hal-01785965⟩

Communication dans un congrès

  • Abdelhak Khemiri, Maamar El Amine Hamri, Claudia Frydman, Jacques Pinaton. IMPROVING BUSINESS PROCESS IN SEMICONDUCTOR MANUFACTURING BY DISCOVERING BUSINESS RULES. 2018 Winter Simulation Conference (WSC), Dec 2018, Gothenburg, France. pp.3441-3448, ⟨10.1109/WSC.2018.8632509⟩. ⟨hal-02069720⟩
  • Feda Almuhisen, Nicolas Durand, Leonardo Brenner, Quafafou Mohamed. Prédiction de l'état du trafic routier basée sur les motifs et les chaînes de Markov. 25èmes Rencontres de la Société Francophone de Classification (SFC 2018), Sep 2018, Paris, France. ⟨hal-01858562⟩
  • Wenjing Yang, Leonardo Brenner, Alessandro Giua. Influence Maximization by Link Activation in Social Networks. 2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2018, Turin, Italy. pp.1248-1251. ⟨hal-01997472⟩
  • Aznam Yacoub, Gabriela Nicolescu, Maamar El Amine Hamri, Claudia Frydman. Towards using DEVS for modelling adaptive storytelling in virtual games. SummerSim '18 Proceedings of the 50th Computer Simulation Conference, Jul 2018, Bordeaux, France. ⟨hal-01881349⟩
  • Changshun Wu, Isabel Demongodin, Alessandro Giua. Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets. 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2018, Thessaloniki, France. pp.51-57. ⟨hal-02019075⟩
  • Wenjing Yang, Leonardo Brenner, Alessandro Giua. Computation of Activation Probabilities in the Independent Cascade Model. 2018 5th International Conference on Control, Decision and Information Technologies (CoDIT), Apr 2018, Thessaloniki, Greece. pp.791-797. ⟨hal-01997464⟩
  • Ziyue Ma, Zhiwu Li, Alessandro Giua. Computation of admissible marking sets in weighted state machines by dynamic programming. 2017 IEEE 56th Annual Conference on Decision and Control (CDC), Dec 2017, Melbourne, France. ⟨10.1109/CDC.2017.8264375⟩. ⟨hal-01786092⟩
  • Leonardo Brenner, Isabel Demongodin. Controlled Triangular Batches Petri Nets: a highway case study. 29th European Modeling and Simulation Symposium (EMSS 2017) , Sep 2017, Barcelona, Spain. ⟨hal-01785943⟩
  • Zhou He, Zhiwu Li, Alessandro Giua. Optimization of deterministic timed weighted marked graphs. 2017 13th IEEE Conference on Automation Science and Engineering (CASE 2017), Aug 2017, Xi'an, France. ⟨10.1109/COASE.2017.8256226⟩. ⟨hal-01786091⟩
  • Alessandro Giua, Manuel Silva. Modeling, analysis and control of Discrete Event Systems: a Petri net perspective. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.1772 - 1783, ⟨10.1016/j.ifacol.2017.08.156⟩. ⟨hal-01786068⟩
  • Changshun Wu, Isabel Demongodin, Alessandro Giua. Conversion of 1-Place-Unbounded Synchronized Petri Nets into Weighted Automata. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.13434 - 13440, ⟨10.1016/j.ifacol.2017.08.2300⟩. ⟨hal-01786065⟩
  • Lan Yang, Alessandro Giua, Zhiwu Li. Minimizing the Influence Propagation in Social Networks for Linear Threshold Models. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.14465 - 14470, ⟨10.1016/j.ifacol.2017.08.2293⟩. ⟨hal-01786070⟩
  • Ziyue Ma, Yin Tong, Zhiwu Li, Alessandro Giua. Marking Estimation in Labelled Petri nets by the Representative Marking Graph. 20th IFAC World Congress, Jul 2017, Toulouse, France. pp.11175 - 11181, ⟨10.1016/j.ifacol.2017.08.1240⟩. ⟨hal-01786071⟩
  • Diego Deplano, Simon Ware, Rong Su, Alessandro Giua. A heuristic algorithm to optimize execution time of multi-robot path. 2017 13th IEEE International Conference on Control & Automation (ICCA), Jul 2017, Ohrid, France. ⟨10.1109/ICCA.2017.8003182⟩. ⟨hal-01786072⟩
  • Aznam Yacoub, Maâmar El-Amine Hamri, Claudia Frydman. Restricting DEv-PROMELA with a Hierarchy of Simulation Formalisms. Symposium on Theory of Modeling and Simulation (TMS/DEVS '17), Apr 2017, San Diego, United States. ⟨hal-01786109⟩

Pré-publication, Document de travail

  • Guanghui Zhu, Lei Feng, Zhiwu Li, Naiqi Wu. Online Fault Diagnosis of Discrete Event Systems Modeled With Labeled Petri Nets Using an Overall Fault Status. 2018. ⟨hal-02018634⟩