Abschnittsübersicht

  • Einklappen Ausklappen

    Allgemeines

    Alles einklappen Alles aufklappen

    • 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 Forum
  • Einklappen Ausklappen

    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.

  • Einklappen Ausklappen

    Chapitre 2 (2024) - Automates à états et langages

    • Ce chapitre 2 présente les langages et automates à états avec un apport théorique et des exemples. Pour suivre les séquences, vous pouvez vous appuyer sur le support FRM_Aut.pdf.



    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Automates et Langages


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Langages - Définitions



    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      But des langages


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Langages - Opérations


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Langages - Expressions régulières


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Langages - Propriétés


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Automates à états - Définitions


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Automates à états - Langages d'un automate


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Automates à états - Opérations


    • Équipe pédagogique

      Contributeurs : Pascale Marangé, Alexandre Philippot, Laurent Piétrac, Ramla Saddem
      Intervenant : Laurent Piétrac

    • Mise en application

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


    • Références

      [1] Christos G Cassandras et Stéphane Lafortune. Introduction to Discrete Event Systems. Springer, 2008.
      [2] Yliès Falcone et Jean-Claude Fernandez. Automates à états finis et langages réguliers. collection infoSup. Dunod, juill.
      2020. isbn : 9782100808465.

    • Pour aller plus loin

      Pour aller plus loin, vous pouvez regarder la partie sur l'extension temporisée du chapitre 4, ou l'utilisation pour le contrôle commande dans la vidéo UTL_CTRL_CS.mp4, l'utilisation en diagnostic avec le chapitre 10 et l'utilisation en vérification avec le chapitre 8.

    • 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.

  • Einklappen Ausklappen

    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

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Introduction


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Structure statique


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Structure dynamique


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Constructions de base


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Outils d'analyse des RdP


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Graphe des marquages


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Graphe de couverture


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Équation d'état


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Invariants


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Propriétés des RdP


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Propriétés comportementales


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Propriétés structurelles


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      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.

  • Einklappen Ausklappen

    Chapitre 4 (2024) - Introduction aux automates temporisés

    • Ce chapitre 4 présente l’extension temporisée des automates à états avec un apport théorique et des exemples. Pour suivre les séquences, vous pouvez vous appuyer sur le support : FRM_Aut_T.pdf.



    • Équipe pédagogique

      Contributeurs : Dimitri Lefebvre, Pascale Marangé, Olivier H. Roux
      Intervenant :  Pascale Marangé

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Introduction


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Motivation d'ajout du temps


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Modélisation du temps dans les automates


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Évolution des automates temporisés


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Analyse des automates temporisés


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Application


    • Mise en application

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


    • Références

      Cassandras, C. G. and Lafortune, S. (2008). Introduction to discrete
      event systems. Springer.
      Alur, R. and Dill, D.L (1994). A Theory of timed automata. Theoretical
      Computer Science, 126(2):183–235.

    • Pour aller plus loin

      Pour aller plus loin, vous pouvez regarder comment ces modèles peuvent être utilisés dans le cas de la vérification avec le chapitre 9 et dans le cas 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.

  • Einklappen Ausklappen

    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

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Introduction


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Présentation informelle


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Sémantique des Réseaux de Petri Temporels


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Abstraire l'espace d'états


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Présentation de l'algorithme


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Application sur la séquence


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      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.

  • Einklappen Ausklappen

    Chapitre 6 (2024) - Introduction aux systèmes maxplus

    • Ce chapitre 6 présente les Graphes d'Evénements Temporisés et l'algèbre maxplus avec un apport théorique et des exemples.
      Pour suivre les séquences, vous pouvez vous appuyer sur les supports : FRM_MaxP_Intro.pdf et FRM_MaxP.pdf.



    • Équipe pédagogique

      Contributeurs : Bertrand Cottenceau, Guilherme Espindola-Winck, Mehdi Lhommeau, Sébastien Lahaye, Claude Martinez
      Intervenant :   Guilherme Espindola-Winck

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Introduction


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Concepts de base


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Automatique des systèmes max-plus linéaires


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Commande des systèmes max-plus linéaires


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

    • Pour aller plus loin

      Pour aller plus loin, vous pouvez regarder comment ces modèles peuvent être utilisés dans le cadre du contrôle-commande via le chapitre 8.

  • Einklappen Ausklappen

    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

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Introduction


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

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


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Méthodologie de construction d'un modèle


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Vision globale du système


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Vision comportementale du système


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Illustration de cette méthodologie par un exemple


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Quelques remarques pour conclure cette méthodologie


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Conclusion sur la méthodologie


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Différents besoins de modélisation


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

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


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      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.

  • Einklappen Ausklappen

    Chapitre 8 (2024) - Utilisation des SED pour la vérification

    • Ce chapitre 8 présente l'utilisation des SED dans le cadre de la vérification formelle.
      La vérification est une méthode qui permet de vérifier si une spécification est respectée par un modèle.
      Pour suivre les séquences, vous pouvez vous appuyer sur le support : UTL_Verif.pdf



    • Équipe pédagogique

      Contributeurs : Pascale Marangé, Alexandre Philippot et Olivier H. Roux
      Intervenante :  Pascale Marangé

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Motivations pour faire de la vérification formelle


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Vérification formelle par model-checking


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Modélisation des propriétés


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


    • Références

      Clarke E. et al (1994). Model checking and abstraction. ACM-TOPLAS,
      vol. 16, no 5.
      G. Behrmann, J. Bengtsson, A. David, K. Larsen, P. Petterson et Wang Yi.
      (2002) UPPAAL Implementation Secrets . Proc. FTRTFT 2002, Springer LNCS
      2469, pp. 3-22

    • Pour aller plus loin

      Pour aller plus loin, vous pouvez regarder la présentation du diagnostic via le chapitre 10.

    • Pour revenir en arrière

      Si les notions d'automates temporisés ne sont pas claires, vous pouvez suivre les vidéos FRM_Motivation_AjoutTemps.mp4 et FRM_Aut_T_ModelisationTemps.mp4.

  • Einklappen Ausklappen

    Chapitre 9 (2024) - Utilisation des SED pour le contrôle commande

    • Ce chapitre 9 présente l'utilisation des SED dans le cadre du contrôle-commande.
      Le contrôle-commande est une méthode qui permet de contraindre un modèle pour qu'il respecte une spécification. 
      Quatre approches de contrôle commande sont présentées dans ce chapitre :
      • la théorie du contrôle des systèmes maxplus, 
      • la synthèse de contrôleur par réseaux de Petri, 
      • la théorie de la commande par supervision avec les automates à états, 
      • la synthèse algébrique via l'algèbre de Boole.
      Pour suivre la séquence d'introduction de ce chapitre, vous pouvez vous appuyer sur le support : UTL_CTRL_Intro.pdf.



    • Équipe pédagogique

      Intervenante :  Euriell Le Corronc

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Introduction au contrôle commande


    • La théorie du contrôle des systèmes maxplus :

      L'objectif de contrôle-commande des SED peut être atteint en utilisant la théorie du contrôle des systèmes maxplus.
      Pour suivre les séquences, vous pouvez vous appuyer sur le support : UTL_CTRL_MaxP.pdf.



    • Équipe pédagogique

      Contributeurs : Bertrand Cottenceau, Guilherme Espindola-Winck, Mehdi Lhommeau, Sébastien Lahaye, Claude Martinez
      Intervenant :  Guilherme Espindola-Winck

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Commande en juste-à-temps


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Commande en boucle fermée


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Poursuite de modèle - retour d'état


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Conclusion


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

    • Pour aller plus loin

      Prochaines éditions des écoles SED ...

    • Pour revenir en arrière

      Si les notions sur l'algèbre maxplus ne sont pas claires, vous pouvez suivre les vidéos : FRM_MaxP_ConceptsBase.mp4 et FRM_MaxP_SystemesMaxP.mp4. Si vous voulez revoir l'introduction à la commande des systèmes maxplus : FRM_MaxP_IntroCommande.mp4

    • La synthèse de contrôleur par réseaux de Petri :

      L'objectif de contrôle-commande des SED peut être atteint en utilisant les réseaux de Petri.
      Pour suivre les séquences, vous pouvez vous appuyer sur le support : UTL_CTRL_RdP.pdf.



    • Équipe pédagogique

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

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Illustration 1/2


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Illustration 2/2


    • Mise en application

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


    • Références

      Yamalidou, K., Moody, J., Lemmon, M., and Antsaklis, P. (1996).
      Feedback control of Petri nets based on place invariants.
      Automatica, 32(1) :15–28.

    • Pour aller plus loin

      Prochaines éditions des écoles SED ...

    • Pour revenir en arrière

      Si les notions de réseau de Petri ne sont pas claires, vous pouvez suivre les vidéos : FRM_RdP_StructureStatique.mp4, FRM_RdP_StructureDynamique.mp4, FRM_RdP_Constructions.mp4 et FRM_RdP_EquationsEtat.mp4

    • La théorie de la commande par supervision avec les automates à états :

      L'objectif de contrôle-commande des SED peut être atteint en utilisant la théorie de la commande supervisée et les automates à états.
      Pour suivre les séquences, vous pouvez vous appuyer sur le support : UTL_CTRL_CS.pdf



    • Équipe pédagogique

      Contributeurs :  Pascale Marangé, Alexandre Philippot, Laurent Piétrac
      Intervenants :  Laurent Piétrac, Alexandre Philippot

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Théorie du contrôle par supervision - Introduction


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Modèles


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Propriétés utilisées


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Problème 1 : existe-t-il un procédé sous contrôle ?


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Exemple


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Problème 2 : ce procédé sous contrôle existe-t-il ?


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



    • Références

      Benoît Caillaud et al., éd. Synthesis and control of discrete event systems.
      Kluwer Academic Publishers, 2010.
      [2] Christos G Cassandras et Stéphane Lafortune.
      Introduction to Discrete Event Systems. Springer, 2008.
      [3] W. Murray Wonham et Kai Cai. « Supervisory control of discrete-event
      systems ». notes de cours, departement of Electrical and Computer
      Engineering, University of Toronto. 2018. url :
      https://www.researchgate.net/publication/319434005_Supervisory_Control_of_Discrete-Event_Systems_v20170901

    • Pour aller plus loin

      Prochaines éditions des écoles SED ...

    • Pour revenir en arrière

      Si les notions d'automates à états et langages ne sont pas claires, vous pouvez suivre les vidéos : FRM_Aut_AutomatesAEtats.mp4 et  FRM_Aut_AutLangages.mp4 et FRM_Aut_AutOperations.mp4.

    • La synthèse algébrique via l'algèbre de Boole :

      L'objectif de contrôle-commande des SED peut être atteint en utilisant la synthèse algébrique. Pour suivre les séquences, vous pouvez vous appuyer sur le support : UTL_CTRL_SA.pdf.



    • Équipe pédagogique

      Contributeurs :  Gregory Faraut, Dimitri Renard, Bernard Riera et Jean Marc Roussel
      Intervenants :  Gregory Faraut et Bernard Riera

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Introduction - Synthèse algébrique


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Rappels


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Intérêt


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Principe de résolution


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      La meilleure solution


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Conclusion


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


    • Références

      Hietter, Y. Synthèse algébrique de lois de commande pour les systèmes à évènements discrets logiques. Automatique / Robotique. École normale supérieure de Cachan - ENS Cachan, 2009.
      Français. ⟨NNT : ⟩. ⟨tel-00402699⟩
      • Leroux, H. and Roussel, J.-M. Algebraic synthesis of logical controllers with optimization criteria. 6th International Workshop on Verification and Evaluation of Computer and Communication
      Systems VECOS 2012, Aug 2012, Paris, France. pp. 103-114. ⟨hal-00734840⟩
      • Ranger, T. Approche par synthèse algébrique et filtre logique pour la commande des systèmes manufacturiers cyber-physiques. Automatique. Université de Reims Champagne Ardenne, 2023. Français. ⟨NNT : ⟩. ⟨tel-04255722⟩
      • Ranger, T., Philippot, A. and Riera, B. Manufacturing Tasks Synchronization by Algebraic Synthesis. IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control
      (CESCIT), 2021, Valenciennes, France. ⟨10.1016/j.ifacol.2021.10.038⟩. ⟨hal-03404408⟩
      • Roussel, J.-M. and Lesage, J.-J. (2014). Design of

    • Pour aller plus loin

      Prochaines éditions des écoles SED ...

  • Einklappen Ausklappen

    Chapitre 10 (2024) - Utilisation des SED pour le diagnostic

    • Ce chapitre 10 présente l'utilisation des SED dans le cadre du diagnostic. Le diagnostic est une méthode qui permet d'identifier, de localiser et analyser un défaut par rapport à un comportement normal. Cette séquence présente des approches proches du diagnostic telle que l'opacité et autres extensions. Pour suivre les séquences, vous pouvez vous appuyer sur le support : UTL_Diag.pdf



    • Équipe pédagogique

      Contributeurs : Mohamed Ghazel, Dimitri Lefevre, Hervé Marchand, Ramla Saddem, Armand Toguyéni
      Intervenant :  Ramla Saddem, Armand Toguyéni

    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Introduction


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Entraves à la sûreté de fonctionnement


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Moyens pour la tolérance aux fautes


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Diagnostiqueur


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Diagnosticabilité


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Vérification de la diagnosticabilité


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Pronostic


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Opacité


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Diagnostic des SED basés sur les Réseaux de Petri


    • Teilnehmer/innen müssen
      Als erledigt kennzeichnen

      Extensions de la diagnosticabilité


    • 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

      Laprie J.-C. (1995) . Guide de la sûreté de fonctionnement, Cépaduès, 369 pages, Toulouse, mai 1995,
      Li, B., Basilio, J. C., Khlif-Bouassida, M., & Toguyéni, A. (2017). Polynomial time verification of modular
      diagnosability of discrete event systems. IFAC-PapersOnLine, 50(1), 13618-13623.
      Liu, B. (2014). An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets,
      Untimed and Timed Contexts (Doctoral dissertation, Ecole Centrale de Lille).
      Moreira, M. V., Jesus, T. C., & Basilio, J. C. (2011). Polynomial time verification of decentralized
      diagnosability of discrete event systems. IEEE Transactions on Automatic Control, 56(7), 1679-1684
      Saboori, A., & Hadjicostis, C. N. (2007, December). Notions of security and opacity in discrete event
      systems. In 2007 46th IEEE Conference on Decision and Control (pp. 5056-5061). IEEE.
      Zaytoon J., On Fault Diagnosis Methods of Discrete Event Systems, Plenière
      https://unidad.gdl.cinvestav.mx/wodes-12/downloads/slides/plenaryProfZaytoon.pdf
      Zwingelstein G (1995). Diagnostic des défaillances : théorie et pratique pour les systèmes industriels,
      Edition Hermès, Traité des Nouvelles Technologies “Série Diagnostic et Maintenance”, 601 pages, Paris, 1995,

    • Pour aller plus loin

      Prochaines éditions des écoles SED ...

    • Pour revenir en arrière

      Si les notions d'automates à états et langages ne sont pas claires, vous pouvez suivre les vidéos : FRM_Aut_AutomatesAEtats.mp4, FRM_Aut_AutLangages.mp4 et FRM_Aut_AutOperations.mp4. Si les notions d'automates temporisés ne sont pas claires, vous pouvez suivre les vidéos : UTL_Verif_Modelchecking.mp4 et UTL_Verif_Proprietes.mp4.

  • Einklappen Ausklappen

    Chapitre 11 (2025) - Le temps dans les SED

    • Ce chapitre 11 présente une introduction au temps dans les systèmes à évènements discrets. Pour suivre les séquences, vous pouvez vous appuyer sur le support 1 -ecole_sed_2025-Temps&SED.pdf.

    • Équipe pédagogique

      Contributeurs : Isabel Demongodin et Sebastien Lahaye
      Intervenant :  Isabel Demongodin

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

  • Einklappen Ausklappen

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

    • Ce chapitre 12 présente les réseaux de Petri temporels,  la modélisation et le calcul du graphe des classes d’états. Pour suivre la vidé, vous pouvez utiliser ce support de cours : TPN-SED2025. pdf. Une mise en application est possible avec le logiciel Roméo et les débuts d'exercice :  trains2sanscontrol.xml, Gallon.xml et ExDucours.xml

    • É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

  • Einklappen Ausklappen

    Chapitre 13 (2025) - Les automates temporisés

    • Ce chapitre 13 présente la définition et sémantique des automates temporisés et va jusqu'au calcul de l'espace d'état symbolique. Pour suivre a séquence, vous pouvez utiliser le support : 3 - AutomateTemporisé_EcoleSED25_v5.pdf

    • Équipe pédagogique

      Contributeurs : Pascale Marangé et Alexandre Philippot
      Intervenant :  Pascale Marangé

    • Les automates temporisés


    • Pour revenir en arrière

      Chapitre 4  sur les automates temporisés et leur utilisation de l'édition 2024

  • Einklappen Ausklappen

    Chapitre 14 (2025) - Les dioides temporisées

    • Ce chapitre 14 présente la définition et sémantique en max_plus. Pour suivre a séquence, vous pouvez utiliser le support : 4-Evaluation_performances-max_plus-EcoleSED25.pdf

    • Équipe pédagogique

      Contributeurs : Guilherme Espindola Winck et Olivier Boutin
      Intervenant :  Olivier Boutin 

    • Évaluation des performances des SED grâce à (max,+)


    • Pour revenir en arrière

      Chapitre 4  sur les automates temporisés et leur utilisation de l'édition 2024

  • Einklappen Ausklappen

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

    • Ce chapitre 15 présente le model-checking et la vérification avec une attention pour les aspects temporisés. Vous pouvez vous appuyer sur le support : 5-VerificationFormelle_SED2025.pdf  et appliquer l'exemple sous UppAal avec le modèle : 5-Verif-trains2b.xml

    • É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

  • Einklappen Ausklappen

    Chapitre 16 (2025) - Contrôle et temps

  • Einklappen Ausklappen

    Chapitre 17 (2025) - Diagnostic et Diagnosticabilité

    • Ce chapitre 17 présente les problèmes du Diagnostic et de la Diagnosticabilité en allant du comportement séquentiel au comportement temporel. Le support de cours pour suivre cette séquence est : 9-Diagnosstic.pdf

    • É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

  • Einklappen Ausklappen

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

    • Ce chapitre 18 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é

    • Une application des RdP coloré stochastiques pour analyse des systèmes d'économie circulaire est présentée dans le support : SED&Régénération_EcoleSED25_v0.1.pdf


    • É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

    • Une mise en application de la modélisation SED dans le cadre des Jumeaux Numériques est présenté dans le support : JN_FormationSED25.pdf


    • Équipe pédagogique

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

    • Une application originale de Live Coding utilise les automates (max,+)


    • Présentations des doctrorants en SED avec leur support :

    • 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


  • Einklappen Ausklappen

    Chapitre 19 (2025) - Extension vers l'hybride

    • Ce chapitre 19 présente une introduction aux systèmes hybrides avec deux supports de présentation : SDH - RDP continus et hybrides-Vfinale.pdf et s-hybrid-rakoto.pdf

    • Équipe pédagogique

      Contributeur : Isabelle Demongodin
      Intervenant :  Naly Rakoto

    • Systèmes hybrides : Réseaux de Petri continus et hybrides


    • Équipe pédagogique

      Contributeur : Naly Rakoto
      Intervenant :  Naly Rakoto

    • Systèmes hybrides


  • Einklappen Ausklappen

    Formation et École soutenues par