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