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
Page personnelle : https://pageperso.lis-lab.fr/leonardo.brenner/
DEMONGODIN IsabelProfesseur des Universités
Courriel : isabel.demongodin@lis-lab.fr
FRYDMAN ClaudiaProfesseur des Universités
Courriel : claudia.frydman@lis-lab.fr
HAMRI MaamarMaitre de Conférences
Courriel : maamar-el-amine.hamri@lis-lab.fr

 

Phd Studients

GRELLET EmelineDoctorant
Courriel : emeline.grellet@lis-lab.fr
KHEMIRI AbdelhakDoctorant
Courriel : abdelhak.khemiri@lis-lab.fr
LIU RuotianDoctorant
Courriel : ruotian.liu@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



39 documents

Article dans une revue

  • Lan Yang, Zhiwu Li, Alessandro Giua. Containment of rumor spread in complex social networks. Information Sciences, Elsevier, 2020, 506, pp.113-130. ⟨10.1016/j.ins.2019.07.055⟩. ⟨hal-02484085⟩
  • Changshun Wu, Isabel Demongodin, Alessandro Giua. Correction to “Synchronizing sequences on a class of unbounded systems using synchronized Petri nets”. Discrete Event Dynamic Systems, Springer Verlag, 2019, 29 (4), pp.521-526. ⟨10.1007/s10626-019-00295-9⟩. ⟨hal-02433009⟩
  • Lan Yang, Zhiwu Li, Alessandro Giua. Influence minimization in linear threshold networks. Automatica, Elsevier, 2019, 100, pp.10-16. ⟨10.1016/j.automatica.2018.10.053⟩. ⟨hal-02484062⟩
  • Wenjing Yang, Leonardo Brenner, Alessandro Giua. Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation. IEEE Access, IEEE, 2019, 7, pp.13745-13757. ⟨10.1109/ACCESS.2019.2894073⟩. ⟨hal-02373686⟩
  • Claudia Frydman, Maximiliano Cristiá, Diego Hollmann. A multi-target compiler for CML-DEVS. SIMULATION, SAGE Publications, 2019, ⟨10.1177/0037549718765080⟩. ⟨hal-01824865⟩
  • 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. 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⟩
  • 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⟩
  • 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. Limiting State Space Explosion of Model Checking Using Discrete Event Simulation : Combining DEVS and PROMELA. Proceedings of Computer Simulation Conference 2019, Jul 2019, Berlin, Germany. ⟨hal-02372283⟩
  • Lan Yang, Zhiwu Li, Alessandro Giua. Rumor Containment by Spreading Correct Information in Social Networks. 2019 American Control Conference (ACC), Jul 2019, Philadelphia, United States. pp.5608-5613, ⟨10.23919/ACC.2019.8814884⟩. ⟨hal-02484078⟩
  • 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⟩
  • 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⟩
  • 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⟩

Poster

  • Ruotian Liu, Rabah Ammour, Leonardo Brenner, Isabel Demongodin. Algorithm for Controlling the Transient Behavior of Controlled Generalized Batches Petri Nets. 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France. ⟨hal-02433029⟩

Direction d'ouvrage, Proceedings


Pré-publication, Document de travail

  • Maamar El Amine Hamri. An Object-Oriented Framework for Designing Reusable and Maintainable DEVS Models using Design Patterns. 2020. ⟨hal-02915266⟩
  • 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⟩