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

KHEMIRI AbdelhakDoctorant
Courriel : abdelhak.khemiri@lis-lab.fr
LIU RuotianDoctorant
Courriel : ruotian.liu@lis-lab.fr
YANG LanDoctorant
Courriel : lan.yang@lis-lab.fr
YANG WenjingDoctorant
Courriel : wenjing.yang@lis-lab.fr

 

Other staff members

 

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



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, 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩
  • 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⟩