Résumé de section

    • 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

    • Les étudiants doivent
      Marquer comme terminé

      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

    • Les étudiants doivent
      Marquer comme terminé

      Commande en juste-à-temps


    • Les étudiants doivent
      Marquer comme terminé

      Commande en boucle fermée


    • Les étudiants doivent
      Marquer comme terminé

      Poursuite de modèle - retour d'état


    • Les étudiants doivent
      Marquer comme terminé

      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

    • Les étudiants doivent
      Marquer comme terminé

      Illustration 1/2


    • Les étudiants doivent
      Marquer comme terminé

      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

    • Les étudiants doivent
      Marquer comme terminé

      Théorie du contrôle par supervision - Introduction


    • Les étudiants doivent
      Marquer comme terminé

      Modèles


    • Les étudiants doivent
      Marquer comme terminé

      Propriétés utilisées


    • Les étudiants doivent
      Marquer comme terminé

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


    • Les étudiants doivent
      Marquer comme terminé

      Exemple


    • Les étudiants doivent
      Marquer comme terminé

      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

    • Les étudiants doivent
      Marquer comme terminé

      Introduction - Synthèse algébrique


    • Les étudiants doivent
      Marquer comme terminé

      Rappels


    • Les étudiants doivent
      Marquer comme terminé

      Intérêt


    • Les étudiants doivent
      Marquer comme terminé

      Principe de résolution


    • Les étudiants doivent
      Marquer comme terminé

      La meilleure solution


    • Les étudiants doivent
      Marquer comme terminé

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