Contribution à l’évaluation de performances des automates temporisés avec gardes en utilisant l’algèbre des dioïdes

Loading...
Thumbnail Image

Date

2018

Journal Title

Journal ISSN

Volume Title

Publisher

Université Mouloud Mammeri

Abstract

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.

Description

92 f. : ill. ; 30 cm. (+ CD-Rom)

Keywords

Automates temporisés, Algèbre des dioïdes, Langages, Réseau de petri, Dioïdes.

Citation

Automatique Et Informatique Industrielles