Résumé de section

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

    • Introduction


    • Motivation d'ajout du temps


    • Modélisation du temps dans les automates


    • Évolution des automates temporisés


    • Analyse des automates temporisés


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