Perfilado de sección

  • Colapsar Expandir

    General

    Colapsar todo Expandir todo

    • Gardons contact : vos questions pendant la formation

    • Ce module de formation a été créé par le Comité Technique SED de la SAGIP pour permettre aux doctorants, étudiants de master, enseignants-chercheurs, enseignants et toutes personnes ayant l'envie de se former aux Systèmes à Evénements Discrets (SED). Ce module de formation est alimenté par les écoles du CT SED qui sont organisées tous les ans.

      La première édition a eu lieu en janvier 2024 et les objectifs étaient les suivants :

      • Définitions, formalismes, modèles et modélisations
      • Utilisations en Contrôle commande, Diagnostic, pronostic, opacité et Vérification formelle
      • Alternance d’apports théoriques et de mises en pratique

      Les intervenants, de toute la France, sont représentatifs de la communauté SED :
      Pascal Berruet (Univ. Bretagne Sud & Lab-STICC) ; Bertrand Cottenceau (Univ. Angers & LARIS) ; Isabel Demongodin (Aix Marseille Univ. & LIS) ; Guilherme Espindola Winck (Centrale Lille & CRIStAL) ; Gregory Faraut (ENS Paris Saclay & LURPA) ; Mohamed Ghazel (Univ. Gustave Eiffel & ESTAS) ; Sébastien Lahaye (Univ. Angers & LARIS) ; Euriell Le Corronc (Univ. Toulouse 3 & LAAS) ; Dimitri Lefebvre (Univ. Le Havre Normandie & GREAH) ; Mehdi Lhommeau  (Univ. Angers & LARIS) ; Pascale Marangé (Univ. Lorraine & CRAN) ; Hervé Marchand (INRIA Rennes) ; Claude Martinez (Nantes Univ. & LS2N) ; Alexandre Philippot (Univ. Reims Champagne Ardenne & CReSTIC) ; Laurent Piétrac (SIGMA Clermont & Institut Pascal) ; Bernard Riera (Univ. Reims Champagne Ardenne & CReSTIC) ; Olivier H. Roux (Centrale Nantes & LS2N) ; Ramla Saddem (Univ. Reims Champagne Ardenne & CReSTIC) ; Armand Toguyeni (Centrale Lille & CRIStAL).

    • Annonces Foro
  • Colapsar Expandir

    Chapitre 1 (2024) - Introduction aux Systèmes à Évènements Discrets

    • La modélisation et l'utilisation des modèles SED sont basées sur la notion d'événements et d'états. Dans ce premier chapitre, il est proposé de voir toutes les définitions nécessaires pour comprendre la suite de ce module. Pour cela, vous pouvez suivre le support INTRO.pdf en même temps que les vidéos des séquences.

    • Introduction de la formation :

    • Qu'est-ce qu'un Système à Évènements Discret (SED) ?

    • Du contexte et des exemples - Astronomie

    • Du contexte et des exemples - Jeu d'échec

    • Du contexte et des exemples - Processus administratif

    • Du contexte et des exemples - Systèmes industriels

    • Du contexte et des exemples - Systèmes de transport

    • But et déroulé de la formation

    • Equipe pédagogique

      Contributeurs : Pascal Berruet, Gregory Faraut, Euriell Le Corronc, Pascale Marangé
      Intervenant.e.s : Pascal Berruet, Gregory Faraut, Euriell Le Corronc

    • Références

      Cassandras, C. G. and Lafortune, S. (2008).
      Introduction to Discrete Event Systems.
      Springer.

  • Colapsar Expandir

    Chapitre 3 (2024) - Réseaux de Petri

    • Ce chapitre 3 présente les réseaux de Petri avec un apport théorique et des exemples. Pour suivre les séquences, vous pouvez vous appuyer sur le support FRM_RdP.pdf.



    • Équipe pédagogique

      Contributeurs : Pascal Berruet, Isabel Demongodin, Olivier H. Roux, Armand Toguyeni
      Intervenant :  Isabel Demongodin

    • Los estudiantes deben
      Marcar como hecha

      Introduction


    • Los estudiantes deben
      Marcar como hecha

      Structure statique


    • Los estudiantes deben
      Marcar como hecha

      Structure dynamique


    • Los estudiantes deben
      Marcar como hecha

      Constructions de base


    • Los estudiantes deben
      Marcar como hecha

      Outils d'analyse des RdP


    • Los estudiantes deben
      Marcar como hecha

      Graphe des marquages


    • Los estudiantes deben
      Marcar como hecha

      Graphe de couverture


    • Los estudiantes deben
      Marcar como hecha

      Équation d'état


    • Los estudiantes deben
      Marcar como hecha

      Invariants


    • Los estudiantes deben
      Marcar como hecha

      Propriétés des RdP


    • Los estudiantes deben
      Marcar como hecha

      Propriétés comportementales


    • Los estudiantes deben
      Marcar como hecha

      Propriétés structurelles


    • Los estudiantes deben
      Marcar como hecha

      Conclusion


    • Mise en application

      A vous de mettre en application ce que vous venez d'apprendre sur un exemple en utilisant :
      • et la vidéo


    • Références

      Murata, T. (1982). Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, vol. 77, n° 4.
      G.W. BRAMS. (1983). Réseaux de Petri : théorie et pratique. Ed. Masson.
      David, R. and Alla, H. (1992). Du Grafcet aux réseaux de Petri. Ed. HERMES.
      Cassandras, C. G. and Lafortune, S. (2008). Introduction to discrete event systems. Springer.
      David, R. and Alla, H. (2010). Discrete, Continuous, and Hybrid Petri Nets. Springer.
       Petri Nets World: http://www.petri-net.de/
      Tools on Petri nets: https://www.informatik.uni-hamburg.de/TGI/PetriNets/tools/quick.html

    • Pour aller plus loin

      Pour aller plus loin, vous pouvez regarder la partie sur l'extension temporisée : chapitre 5, ou l'utilisation pour le contrôle commande dans la vidéo UTL_CTRL_RdP, et  l'utilisation en diagnostic avec le chapitre 10.

    • Pour revenir en arrière

      Si la notion d'événement ou d'état n'est pas claire, aller à la vidéo INTRO_Definitions.mp4.

  • Colapsar Expandir

    Chapitre 5 (2024) - Introduction aux Réseaux de Petri temporels

    • Ce chapitre 5 présente l'extention temporisée des réseaux de Petri avec un apport théorique et des exemples.
      Pour suivre les séquences, vous pouvez vous appuyer sur les supports : FMR_RdP_T.pdf et FMR_RdP_T_EspaceEtatsTPN.pdf.



    • Équipe pédagogique

      Contributeurs : Isabel Demongodin et Olivier H. Roux
      Intervenant :  Olivier H. Roux

    • Los estudiantes deben
      Marcar como hecha

      Introduction


    • Los estudiantes deben
      Marcar como hecha

      Présentation informelle


    • Los estudiantes deben
      Marcar como hecha

      Sémantique des Réseaux de Petri Temporels


    • Los estudiantes deben
      Marcar como hecha

      Abstraire l'espace d'états


    • Los estudiantes deben
      Marcar como hecha

      Présentation de l'algorithme


    • Los estudiantes deben
      Marcar como hecha

      Application sur la séquence


    • Los estudiantes deben
      Marcar como hecha

      Outils


    • Mise en application
       
      A vous de mettre en application ce que vous venez d'apprendre sur un exemple en utilisant


    • Références

      Pezzè, M. (1999).
      Time Petri Nets : A Primer Introduction.
      Tutorial presented at the Multi-Workshop on Formal Methods in Performance Evaluation and Applications,
      Zaragoza, Spain.
      Ramchandani, C. (1974).
      Analysis of asynchronous concurrent systems by timed Petri nets.
      PhD thesis, Massachusetts Institute of Technology, Cambridge, MA.
      Project MAC Report MAC-TR-120.
      Sifakis, J. (1980).
      Performance Evaluation of Systems using Nets.
      In Net theory and applications : Proc. of the advanced course on general net theory, processes and systems
      (Hamburg, 1979), volume 84 of LNCS. Springer-Verlag.

    • Pour aller plus loin

      Prochaines éditions des écoles SED ...

    • Pour revenir en arrière

      Si les notions de réseaux de Petri ne sont pas claires, vous pouvez suivre le chapitre 3.

  • Colapsar Expandir

    Chapitre 7 (2024) - Méthodologie de construction

    • Ce chapitre 7 présente une méthodologie de modélisation adaptée aux SED.
      Pour suivre les séquences, vous pouvez vous appuyer sur le support : MTH_MM.pdf.



    • Équipe pédagogique

      Contributeurs : Pascal Berruet, Gregory Faraut, Euriell Le Corronc, Pascale Marangé
      Intervenant.e.s :  Pascal Berruet, Gregory Faraut, Euriell Le Corronc

    • Los estudiantes deben
      Marcar como hecha

      Introduction


    • Los estudiantes deben
      Marcar como hecha

      Qu'est-ce qu'un modèle ?


    • Los estudiantes deben
      Marcar como hecha

      Méthodologie de construction d'un modèle


    • Los estudiantes deben
      Marcar como hecha

      Vision globale du système


    • Los estudiantes deben
      Marcar como hecha

      Vision comportementale du système


    • Los estudiantes deben
      Marcar como hecha

      Illustration de cette méthodologie par un exemple


    • Los estudiantes deben
      Marcar como hecha

      Quelques remarques pour conclure cette méthodologie


    • Los estudiantes deben
      Marcar como hecha

      Conclusion sur la méthodologie


    • Los estudiantes deben
      Marcar como hecha

      Différents besoins de modélisation


    • Los estudiantes deben
      Marcar como hecha

      Quel modèle pour quel système et quel objectif ?


    • Los estudiantes deben
      Marcar como hecha

      Conclusion


    • Pour aller plus loin

      Pour aller plus loin, vous pouvez regarder les modélisations sont faites dans le cas du contrôle-commande via le chapitre 8, de la vérification avec le chapitre 9 et du  diagnostic via le chapitre 10.

    • Pour revenir en arrière

      Si les notions d'automates ne sont pas claires, vous pouvez suivre le chapitre 2 ou si les notions de réseaux de Petri ne sont pas claires, vous pouvez suivre le chapitre 3. Si les notions d'événements ou d'états ne sont pas claires, vous pouvez suivre le chapitre 1.

  • Colapsar Expandir

    Chapitre 11 (2025) - Le temps dans les SED

    • Ce chapitre 11 est une introduction au temps dans les systèmes à évènements discrets.

    • Équipe pédagogique

      Contributeurs : Isabel Demongodin et Sebastien Lahaye
      Intervenant :  Isabel Demongodin

    • Introduction au temps dans les systèmes à évènements discrets

  • Colapsar Expandir

    Chapitre 12 (2025) - Les réseaux de Petri temporels

    • Ce chapitre 12 présente les réseaux de Petri temporels. Modélisation et calcul du graphe des classes d’états. Théorie et exercices d'application

    • Équipe pédagogique

      Contributeur : Olivier H. Roux
      Intervenant :  Olivier H. Roux

    • Les réseaux de Petri temporels.

    • Pour revenir en arrière

      Chapitre 5 sur les extensions au temps des réseaux de Petri de l'édition 2024

  • Colapsar Expandir

    Chapitre 14 (2025) - Model-Checking et le temps

    • Ce chapitre 14 présente le model-checking et la vérification avec une attention pour les aspects temporisés.

    • Équipe pédagogique

      Contributeur : Silvano Dal Zilio
      Intervenant : Silvano Dal Zilio

    • Model-Checking et le temps


    • Pour revenir en arrière

      Chapitre 8 sur la vérification des SED de l'édition 2024

  • Colapsar Expandir

    Chapitre 15 (2025) - Contrôle et temps

    • Ce chapitre 15 présente deux approches pour concevoir des systèmes de commande : (i) l'approche géométrique de conception et d’estimation, déclinée pour les systèmes Max-Plus linéaires et (ii) la théorie des jeux pour les SED en particulier dans le cas temporisé

    • Équipe pédagogique

      Contributeurs : Jean-Jacques Loiseau et Olivier boutin 

    • Contrôle (géométrique) max+


    • Pour revenir en arrière

       Chapitre 9  sur l'utilisation des SED pour le contrôle commande de l'édition 2024

    • Équipe pédagogique

      Contributeur : Didier Lime
      Intervenant :  Didier Lime

    • Contrôle – Théorie des jeux


    • Pour revenir en arrière

      Chapitre 14 sur le model-checking et le temps de l'édition 2025

  • Colapsar Expandir

    Chapitre 16 (2025) - Diagnostic et Diagnosticabilité

    • Ce chapitre 16 présente les problèmes du Diagnostic et de la Diagnosticabilité en allant du comportement séquentiel au comportement temporel

    • Équipe pédagogique

      Contributeurs : Ramla Saddem et Yannick Pencolé
      Intervenant :  Ramla Saddem

    • Diagnostic et Diagnosticabilité


    • Pour revenir en arrière

      Chapitre 10 sur l'utilisation des SED pour le diagnostic de l'édition 2024

  • Colapsar Expandir

    Chapitre 17 (2025) - Exemple d'utilisation des modèles et outils dans le domaine temporisé

    • Ce chapitre 17 présente plusieurs applications des modèles temporisés ou temporel dans les domaines de l'économie circulaire, de transport via des métro, de jumeaux numériques, et de liv-coding - Aide à la décision pour la régénération d'un produit en fonction du contexte et de son état de santé - utilisation des RDP colorés stochastiques

    • Équipe pédagogique

      Contributeurs : Gautier Vanson, Pascale Marangé et Éric Levrat
      Intervenant :  Pascale Marangé

    • Contribution à l'économie circulaire : aide à la décision pour la régénération d'un produit en fonction du contexte et de son état de santé - Utilisation des RdP colorés stochastiques


    • Équipe pédagogique

      Contributeur : Loic Hélouet
      Intervenant :  Loic Hélouet

    • Application des réseaux de Petri pour le contrôle des métros


    • Équipe pédagogique

      Contributeur : Alexandre Philippot
      Intervenant :  Alexandre Philippot

    • Application des SED aux Jumeaux Numériques


    • Équipe pédagogique

      Contributeur : Bérangère Daviaud, Sébastien Lahaye et Mehdi Lhommeau
      Intervenant :  Mehdi Lhommeau

    • Les automates (max,+) - Application au Live Coding


    • Sécurité collaborative intégrée dans le cadre de la norme d'automatisation CEI 61499


    • Vérification formelle des programmes PLC


    • Time Petri Nets


    • Petri Net Formalisms for Attacks Detection in Networked Control Systems


    • Sécurité dans les automates temporisés


    • Méthodes et outils pour le contrôle et la reconfiguration de Systèmes Cyber-Physique de Production


    • Méthodes et outils de maîtrise des risques biologiques des navires militaires


    • Transformation & Simulation of Architecture Models for Dependability Analyses of Complex Systems


    • Projet ANR HeRITAGES - Allocation de tâches et analyse d'ordonnançabilité d'inférences IA sur des plateformes embarquées hautes-performance complexes et hétèrogènes


  • Colapsar Expandir

    Formation et École soutenues par