Now showing documents 1-1 of 1

    • Contrôle supervisé de systèmes à évènements discrets temps-réel

      Ouédraogo, Lucien (Université de Sherbrooke, 2008)
      Cette thèse porte sur la synthèse de superviseurs pour des systèmes a événements discrets temps-réel (SEDTRs) modélisés par des automates temporises (ATs). Comme l'espace d'états d'un AT est en général infini, et que la ...