Aperçu des sections

  • Généralités

    Tout replier Tout déplier

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



    • Les étudiants doivent
      Marquer comme terminé

      Automates et Langages


    • Les étudiants doivent
      Marquer comme terminé

      Langages - Définitions



    • Les étudiants doivent
      Marquer comme terminé

      But des langages


    • Les étudiants doivent
      Marquer comme terminé

      Langages - Opérations


    • Les étudiants doivent
      Marquer comme terminé

      Langages - Expressions régulières


    • Les étudiants doivent
      Marquer comme terminé

      Langages - Propriétés


    • Les étudiants doivent
      Marquer comme terminé

      Automates à états - Définitions


    • Les étudiants doivent
      Marquer comme terminé

      Automates à états - Langages d'un automate


    • Les étudiants doivent
      Marquer comme terminé

      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.

  • Chapitre 4 - 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é

    • Les étudiants doivent
      Marquer comme terminé

      Introduction


    • Les étudiants doivent
      Marquer comme terminé

      Motivation d'ajout du temps


    • Les étudiants doivent
      Marquer comme terminé

      Modélisation du temps dans les automates


    • Les étudiants doivent
      Marquer comme terminé

      Évolution des automates temporisés


    • Les étudiants doivent
      Marquer comme terminé

      Analyse des automates temporisés


    • Les étudiants doivent
      Marquer comme terminé

      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.

  • Chapitre 6 - 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

    • Les étudiants doivent
      Marquer comme terminé

      Introduction


    • Les étudiants doivent
      Marquer comme terminé

      Concepts de base


    • Les étudiants doivent
      Marquer comme terminé

      Automatique des systèmes max-plus linéaires


    • Les étudiants doivent
      Marquer comme terminé

      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.

  • Chapitre 7 : 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

    • Les étudiants doivent
      Marquer comme terminé

      Introduction


    • Les étudiants doivent
      Marquer comme terminé

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


    • Les étudiants doivent
      Marquer comme terminé

      Méthodologie de construction d'un modèle


    • Les étudiants doivent
      Marquer comme terminé

      Vision globale du système


    • Les étudiants doivent
      Marquer comme terminé

      Vision comportementale du système


    • Les étudiants doivent
      Marquer comme terminé

      Illustration de cette méthodologie par un exemple


    • Les étudiants doivent
      Marquer comme terminé

      Quelques remarques pour conclure cette méthodologie


    • Les étudiants doivent
      Marquer comme terminé

      Conclusion sur la méthodologie


    • Les étudiants doivent
      Marquer comme terminé

      Différents besoins de modélisation


    • Les étudiants doivent
      Marquer comme terminé

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


    • Les étudiants doivent
      Marquer comme terminé

      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.

  • Formation et École soutenues par