Browsing by Author "Ait Oumeziane Fatima"

Now showing 1 - 1 of 1
  • Thumbnail Image
    Item
    Contribution à l’évaluation de performances des automates temporisés avec gardes en utilisant l’algèbre des dioïdes
    (Université Mouloud Mammeri, 2018) Ait Oumeziane Fatima; Abdmeziem Abdelkader; Kara Redouane
    Les travaux abordés dans ce manuscrit cpncernent la modélisation des systèmes à évènements discrets à l'aide d'automatestemporisés avec gardes (ATGs ) en utilisant l'algèbre des dioïdes. Nous proposons des représentations alternatives pour les ATGs. Celles-ci traduisent l'évolution des automates de façon approximative, car seul leurs comportements extrémaux sont décrits, mais il est escompté de pouvoir résoudre à l'aide de celles-ci des problèmes importants. Plus exactement, des aquations récursives ont été définies dans l'algèbre (max, +) et l'algèbre (min,+) afin de décrire les comportements pire-cas et meilleur-cas des automates temporisés avec gardes.