Parcours Automates

Topic outline

• Select topic General

  General

  Collapse all Expand all
  • Select activity Annonces

    

    Annonces Forum
  • Select activity gardons contact

    Gardons contact : vos questions pendant la formation

• Select topic Chapitre 2 - Automates à états et langages

  Chapitre 2 - Automates à états et langages
  • Select activity Introduction

    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.

    
    

    
    

  • Select activity Automates et Langages

    Completion

    Students must

    

    Mark as done

    Automates et Langages
    

    
    

  • Select activity Langages - Définitions

    Completion

    Students must

    

    Mark as done

    Langages - Définitions

    
    

    
    

  • Select activity But des langages

    Completion

    Students must

    

    Mark as done

    But des langages

    
    

  • Select activity Langages - Opérations

    Completion

    Students must

    

    Mark as done

    Langages - Opérations

    
    

  • Select activity Langages - Expressions régulières

    Completion

    Students must

    

    Mark as done

    Langages - Expressions régulières

    
    

  • Select activity Langages - Propriétés

    Completion

    Students must

    

    Mark as done

    Langages - Propriétés

    
    

  • Select activity Automates à états - Définitions

    Completion

    Students must

    

    Mark as done

    Automates à états - Définitions

    
    

  • Select activity Automates à états - Langages d'un automate

    Completion

    Students must

    

    Mark as done

    Automates à états - Langages d'un automate

    
    

  • Select activity Automates à états - Opérations

    Completion

    Students must

    

    Mark as done

    Automates à états - Opérations

    
    

  • Select activity Équipe pédagogique

    Équipe pédagogique

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

  • Select activity Mise en application

    Mise en application
    

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

    • le support : FRM_Aut_Application.pdf,
    • les logiciels
      • ** SUPREMICA ** Lien de téléchargement et
      • ** Générateur d’automate et expression régulière ** (https://ivanzuzak.info/noam/webapps/fsm2regex/),
    • et la vidéo :
      

    
    

    
    

  • Select activity Références

    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.

  • Select activity Pour aller plus loin

    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.
    

  • Select activity Pour revenir en arrière

    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.
    

• Select topic Chapitre 4 - Introduction aux automates temporisés

  Chapitre 4 - Introduction aux automates temporisés
  • Select activity Introduction

    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.

    
    

    
    

  • Select activity Équipe pédagogique

    Équipe pédagogique

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

  • Select activity Introduction

    Completion

    Students must

    

    Mark as done

    Introduction

    
    

  • Select activity Motivation d'ajout du temps

    Completion

    Students must

    

    Mark as done

    Motivation d'ajout du temps

    
    

  • Select activity Modélisation du temps dans les automates

    Completion

    Students must

    

    Mark as done

    Modélisation du temps dans les automates

    
    

  • Select activity Évolution des automates temporisés

    Completion

    Students must

    

    Mark as done

    Évolution des automates temporisés

    
    

  • Select activity Analyse des automates temporisés

    Completion

    Students must

    

    Mark as done

    Analyse des automates temporisés

    
    

  • Select activity Application

    Completion

    Students must

    

    Mark as done

    Application

    
    

  • Select activity Mise en application

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

    • le support : À partir de la slide 52 du support de cours,
      
    • les logiciels ** UPPAAL ** https://uppaal.org/downloads/ Version 4.1
    • les modèles : FRM_Aut_T.zip
    • et la vidéo :

    
    

    
    
  • Select activity Références

    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.

  • Select activity Pour aller plus loin

    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.
    

  • Select activity Pour revenir en arrière

    Pour revenir en arrière
    

    Si les notions d'automates ne sont pas claires, vous pouvez suivre le chapitre 2.
    

• Select topic Chapitre 6 - Introduction aux systèmes maxplus

  Chapitre 6 - Introduction aux systèmes maxplus
  • Select activity Introduction

    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.

    
    

    
    

  • Select activity Équipe pédagogique

    Équipe pédagogique

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

  • Select activity Introduction

    Completion

    Students must

    

    Mark as done

    Introduction

    
    

  • Select activity Concepts de base

    Completion

    Students must

    

    Mark as done

    Concepts de base

    
    

  • Select activity Automatique des systèmes max-plus linéaires

    Completion

    Students must

    

    Mark as done

    Automatique des systèmes max-plus linéaires

    
    

  • Select activity Commande des systèmes max-plus linéaires

    Completion

    Students must

    

    Mark as done

    Commande des systèmes max-plus linéaires

    
    

  • Select activity Mise en application

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

    • les dernières slides du support : FRM_MaxP.pdf, 
    • le logiciel  ** Script MinMaxGDJS ** https://perso-laris.univ-angers.fr/~lhommeau/minmaxgd.html , 
    • les modèles : FRM_MaxP.zip.
  • Select activity Pour aller plus loin

    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.
    

• Select topic Chapitre 7 : Méthodologie de construction

  Chapitre 7 : Méthodologie de construction
  • Select activity Introduction

    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.

    
    

    
    

  • Select activity Équipe pédagogique

    Équipe pédagogique

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

  • Select activity Introduction

    Completion

    Students must

    

    Mark as done

    Introduction

    
    

  • Select activity Qu'est-ce qu'un modèle ?

    Completion

    Students must

    

    Mark as done

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

    
    

  • Select activity Méthodologie de construction d'un modèle

    Completion

    Students must

    

    Mark as done

    Méthodologie de construction d'un modèle

    
    

  • Select activity Vision globale du système

    Completion

    Students must

    

    Mark as done

    Vision globale du système

    
    

  • Select activity Vision comportementale du système

    Completion

    Students must

    

    Mark as done

    Vision comportementale du système

    
    

  • Select activity Illustration de cette méthodologie par un exemple

    Completion

    Students must

    

    Mark as done

    Illustration de cette méthodologie par un exemple

    
    

  • Select activity Quelques remarques pour conclure cette méthodologie

    Completion

    Students must

    

    Mark as done

    Quelques remarques pour conclure cette méthodologie

    
    

  • Select activity Conclusion sur la méthodologie

    Completion

    Students must

    

    Mark as done

    Conclusion sur la méthodologie

    
    

  • Select activity Différents besoins de modélisation

    Completion

    Students must

    

    Mark as done

    Différents besoins de modélisation

    
    

  • Select activity Quel modèle pour quel système et quel objectif ?

    Completion

    Students must

    

    Mark as done

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

    
    

  • Select activity Conclusion

    Completion

    Students must

    

    Mark as done

    Conclusion

    
    

  • Select activity Pour aller plus loin

    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.
    

  • Select activity Pour revenir en arrière

    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.
    

• Select topic Formation et École soutenues par

  Formation et École soutenues par
  • Select activity Sponsors