Contribution à l’évaluation de performances des automates temporisés avec gardes en utilisant l’algèbre des dioïdes
dc.contributor.author | Ait Oumeziane Fatima | |
dc.contributor.author | Abdmeziem Abdelkader | |
dc.contributor.other | Kara Redouane | |
dc.date.accessioned | 2019-11-12T12:58:39Z | |
dc.date.available | 2019-11-12T12:58:39Z | |
dc.date.issued | 2018 | |
dc.description | 92 f. : ill. ; 30 cm. (+ CD-Rom) | en |
dc.description.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. | en |
dc.identifier.citation | Automatique Et Informatique Industrielles | |
dc.identifier.other | MAST.AUTO.03-18 | en |
dc.identifier.uri | https://dspace.ummto.dz/handle/ummto/7397 | |
dc.language.iso | fr | en |
dc.publisher | Université Mouloud Mammeri | en |
dc.subject | Automates temporisés | en |
dc.subject | Algèbre des dioïdes | en |
dc.subject | Langages | en |
dc.subject | Réseau de petri | en |
dc.subject | Dioïdes. | en |
dc.title | Contribution à l’évaluation de performances des automates temporisés avec gardes en utilisant l’algèbre des dioïdes | en |
dc.type | Thesis | en |