Contribution À L’évaluation De Performances Des Automates Temporisés Avec Gardes En Utilisant L’algèbre Des Dioïdes
Résumé: 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.
Mots-clès:
Nos services universitaires et académiques
Thèses-Algérie vous propose ses divers services d’édition: mise en page, révision, correction, traduction, analyse du plagiat, ainsi que la réalisation des supports graphiques et de présentation (Slideshows).
Obtenez dès à présent et en toute facilité votre devis gratuit et une estimation de la durée de réalisation et bénéficiez d'une qualité de travail irréprochable et d'un temps de livraison imbattable!
Aucun fichier associé
Si le fichier est volumineux, l'affichage peut échouer. Vous pouvez obtenir le fichier directement en cliquant sur le bouton "Télécharger".
